Transform.ASF is the abbreviation of the Algebraic Specification Formalism developed at Transform.CWI and the University of Amsterdam. The formalism is used in combination ...

ASF+SDF is rewriting language with user-defined term syntax and support for tree traversals. It is used for SoftwareRenovation and rapid prototyping of DomainSpecificLanguages ...

Homepage: http://www.daimi.aau.dk/~beta/ BETA is an ObjectOrientedProgrammingLanguage. It is the succesor of Simula67. CategoryLanguage

BibTeX is a DataFormat for bibliographical information that is used in conjunction with LaTeX. The Stratego.BibtexTools package provides a syntax definition for BibTeX ...

CategoryLanguage is the category of ProgrammingLanguages that are subject to ProgramTransformation. SEARCH{search "CategoryLanguage" nosummary "on" scope "text" noheader ...

Homepage: http://www.cs.cornell.edu/projects/cyclone/ Cyclone is a C-like language with built-in support for safety. CategoryLanguage Main.EelcoVisser 20 Nov 2001 ...

A DataFormat is a formal language for the representation of information. Unlike ProgrammingLanguages, DataFormats don't specify computations. Examples of data formats ...

In functional ProgrammingLanguages computations are defined through functions that map argument values to result values. In pure functional languages this is the only ...

Homepage: http://www.generic-haskell.org/ Generic Haskell is an extension of HaskellLanguage with PolyTypic functions. CategoryLanguage Main.EelcoVisser 13 May ...

HTML (Hypertext Markup Language) is the DataFormat used to specify the content of WWW pages. CategoryLanguage Transformation tools that can be applied to HTML: DMSSoftwareReengineeringToolkit ...

ICON is a high-level programming language Resources http://www.cs.arizona.edu/icon/ http://www.nmt.edu/tcc/help/lang/icon/references.html Main.EelcoVisser 20 Feb ...

LaTeX is a document preparation system. HeVeA is a translator for LaTeX to HTML written in CAML. CategoryLanguage

Lisp stands for LISt Processing and was the first Programming Language. Resources: Lisp programming language at the Wikipedia Articles on Lisp at the site of Paul ...

Homepage: http://www.cs.mu.oz.au/research/mercury Mercury is a logic programming language with a high-performance compiler. CategoryLanguage

Homepage: http://www.mozart-oz.org Announcement The Mozart Programming System 1.2.0 Available at: http://www.mozart-oz.org Systems supported: many Unix flavors, Windows ...

Description of the language R++ from http://www.research.att.com/sw/tools/r++/ : R++ extends the C++ language with a single new programming construct the rule. In ...

Homepage: http://www.semdesigns.com/Products/Parlanse/index.html A Parallel Language for Symbolic Expression Designed to support irregular parallel computations, ...

Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...

SDF is a formalism for the definition of the syntax of ProgrammingLanguages and DataFormats. Its features include: a module system, integration of lexical and context ...

SDFII is successor of the first Syntax Definition Formalism SDF. SDFII features Integration of lexical and context-free syntax Modules with parameters and renaming ...

Scheme is a dialect of LispLanguage, i.e., another FunctionalProgrammingLanguage. http://www.schemers.org DrScheme: a programming environment for Scheme Teach Yourself ...

Homepage: http://dev.ajubasolutions.com/ Tcl stands for Tool Command Language. Tcl is really two things: a scripting language, and an interpreter for that language ...

The XML Query Algebra is a proposal from the WorldWideWebConsortium as a formal basis for query languages for XML. http://www.w3.org/TR/query-algebra/ CategoryLanguage ...