Giter Club home page Giter Club logo

lambdajs's Introduction

LambdaJS

LambdaJS is small, tested, reduction semantics for JavaScript. For a quick introduction, see our blog post:

http://brownplt.github.com/2011/09/29/js-essence.html

For a more technical introduction, see our ECOOP 2010 paper on LambdaJS:

http://www.cs.brown.edu/~sk/Publications/Papers/Published/gsk-essence-javascript/

  • coq/ contains our mechanized semantics in Coq. Tested with Coq 8.3 and 8.4 beta.

  • Redex/ contains our mechanized semantics in PLT Redex. Tested with Racket 5.2.

  • haskell/ contains an implementation of desugaring. Tested with GHC 7.0.4. This software uses packages available on Hackage.

  • DisableXHR/ contains an implementation of our safe-subset example. Tested with GHC 6.10.4. This tool requires the LambdaJS Haskell package to be built and installed first.

Semantics for ECMAScript 5

LambdaJS roughly models ECMAScript 3. The latest version of JavaScript, ECMAScript 5, is considerably more complex, so we decided to develop it from scratch. The following blog post describes S5, our semantics for ES5:

http://brownplt.github.com/2011/11/11/s5-javascript-semantics.html

The code for S5 is also available:

https://github.com/brownplt/LambdaS5

lambdajs's People

Contributors

arjunguha avatar blerner avatar davdar avatar jpolitz avatar mjc1283 avatar seliopou avatar

Watchers

 avatar  avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.