A language prototyping tool based on semantic building blocks

DOI10.1007/3-540-45654-6_46MaRDI QIDQ4433995zbMATH OpenFDO

Authors José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María C. Luengo Díez, Bernardo Martín González Rodríguez

Publication date 3 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2178/21780597.htm

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Tool-based language development
• Language prototyping: An algebraic specification approach
• Modular development of interpreters from semantic building blocks
• Specification of logic programming languages from reusable semantic building blocks
• scientific article; zbMATH DE number 3976291

Cited in

(6)

• Language prototyping: An algebraic specification approach
• Metacomputation-based compiler architecture
• Modular development of interpreters from semantic building blocks
• Specification of logic programming languages from reusable semantic building blocks
• Direct modular evaluation of expressions using the monads and type classes in Haskell
• Constructing language processors with algebra combinators

This page was built for publication: A language prototyping tool based on semantic building blocks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4433995)