SettingsTerm-rewriting programming languages
Abstract Rewriting Machine
The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems.
The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems.
Abstract rewriting machine
The Abstract Rewriting Machine is a virtual machine which implements term rewriting for minimal term rewriting systems.
The Abstract Rewriting Machine is a virtual machine which implements term rewriting for minimal term rewriting systems.
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.
Clean (programming language)
In computer science, Clean is a general-purpose purely functional computer programming language.
In computer science, Clean is a general-purpose purely functional computer programming language.
IMTEK Mathematica Supplement
The IMTEK Mathematica Supplement (IMS for short) is an open source Mathematica AddOn that aims to provide a wealth of tutorials and packages for Scientific and Engineering purposes, mainly focus...
The IMTEK Mathematica Supplement (IMS for short) is an open source Mathematica AddOn that aims to provide a wealth of tutorials and packages for Scientific and Engineering purposes, mainly focus...
Mathematica
Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing.
Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing.
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.
Pure (programming language)
Pure is a dynamically typed, functional programming language based on term rewriting.
Pure is a dynamically typed, functional programming language based on term rewriting.
Q (equational programming language)
Q (short for equational programming language) is an interpreted, interactive functional programming language created by Albert Gräf at the University of Mainz in Germany.
Q (short for equational programming language) is an interpreted, interactive functional programming language created by Albert Gräf at the University of Mainz in Germany.
Refal
Refal (Recursive functions algorithmic language) "is a functional programming language oriented toward symbol manipulation", including "string processing, translation, and
Artificial int...
Refal (Recursive functions algorithmic language) "is a functional programming language oriented toward symbol manipulation", including "string processing, translation, and
Artificial int...
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.
Tom (pattern matching language)
Tom is a programming language particularly well-suited for programming various transformations on tree structures and XML based documents.
Tom is a programming language particularly well-suited for programming various transformations on tree structures and XML based documents.