Sing sharp

Sing# is a concurrent programming language that is a superset of the Spec# programming language; in turn, Spec# is an extension of the C# programming language. Microsoft Research developed Spec#, and later extended it into Sing# in order to develop the Singularity operating system. Sing# augments the capabilities of Spec# with support for channels and low-level programming language constructs, which are necessary for implementing system software.... More

Similar topics in Freebase

  • ActionScript

    ActionScript

    ActionScript is an object-oriented language originally developed by Macromedia Inc. (now owned by Adobe Systems). It is a dialect of ECMAScript (meaning it is a superset of the syntax and semantics of the language more widely known JavaScript), and is used primarily for the development of websites...
  • Polyphonic C sharp

    Polyphonic C# is an extension of the C# programming language. It includes a new concurrency model in which objects can have both synchronous and asynchronous methods. The language is being developed by Nick Benton, Luca Cardelli and Cédric Fournet at Microsoft Research. Polyphonic C# is based on...
  • Spec sharp

    Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a theorem prover...
  • MetaL

    The Meta-programming Language is a programming language designed for meta-programming. Meta-programming is a method for developing computer programs. It works by generating source code in a target language from a program specification in a higher level language. Source code written in MetaL is...
  • F#

    F# (pronounced F Sharp) is a multi-paradigm programming language, targeting the .NET Framework, that encompasses functional programming as well as imperative and object-oriented programming disciplines. It is a variant of ML and is largely compatible with the OCaml implementation. F# was initially...
  • Squirrel programming language

    Squirrel is a high level imperative, object-oriented programming language, designed to be a light-weight scripting language that fits in the size, memory bandwidth, and real-time requirements of applications like video games. MirthKit, a simple toolkit for making and distributing open source, cross...

These people have edited this topic:

Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!