SettingsExtensible syntax programming languages
Adenine (programming language)
Adenine, named after the nucleobase adenine, is a script language, which is developed in the context of the Haystack project and the Oxygen project of the MIT Computer Science and Artificial I...
Adenine, named after the nucleobase adenine, is a script language, which is developed in the context of the Haystack project and the Oxygen project of the MIT Computer Science and Artificial I...
ASF+SDF Meta Environment
The ASF+SDF Meta-Environment is an IDE and toolset for interactive program analysis and transformation.
The ASF+SDF Meta-Environment is an IDE and toolset for interactive program analysis and transformation.
Common Lisp
Common Lisp is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994,.
Common Lisp is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994,.
IMP programming language
IMP was a systems programming language developed by E. T. Irons in the late 1960s through early 1970s.
IMP was a systems programming language developed by E. T. Irons in the late 1960s through early 1970s.
Lisp (programming language)
Lisp is a family of computer programming languages with a long history and a distinctive, fully parenthesized Polish prefix notation.
Lisp is a family of computer programming languages with a long history and a distinctive, fully parenthesized Polish prefix notation.
Lithe (programming language)
Lithe is an experimental programming language created in 1982 by David Sandberg at the University of Washington which allows the programmer to freely choose his own syntax.
Lithe is an experimental programming language created in 1982 by David Sandberg at the University of Washington which allows the programmer to freely choose his own syntax.
Maude system
The Maude system is an implementation of rewriting logic developed at SRI International.
The Maude system is an implementation of rewriting logic developed at SRI International.
Objective Caml
Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
OCaml
OCaml, originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
OCaml, originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
Poplog
Poplog is a powerful multi-language, multiparadigm, reflective, incrementally compiled software development environment, originally created in the UK for teaching and research in Artificial Inte...
Poplog is a powerful multi-language, multiparadigm, reflective, incrementally compiled software development environment, originally created in the UK for teaching and research in Artificial Inte...
Racket (programming language)
Racket (formerly called PLT Scheme) is a multi-paradigm programming language in the Lisp/Scheme family, that also serves as a platform for language creation, design, and implementation.
Racket (formerly called PLT Scheme) is a multi-paradigm programming language in the Lisp/Scheme family, that also serves as a platform for language creation, design, and implementation.
Stratego/XT
Stratego/XT is a language and toolset for constructing stand-alone program transformation systems.
Stratego/XT is a language and toolset for constructing stand-alone program transformation systems.
Syntax Definition Formalism
The Syntax Definition Formalism (SDF for short) is a metasyntax used to define context-free grammars: that is, a formal way to describe formal languages.
The Syntax Definition Formalism (SDF for short) is a metasyntax used to define context-free grammars: that is, a formal way to describe formal languages.