scientific article; zbMATH DE number 2000442

MaRDI 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

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

Mathematics Subject Classification ID

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

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)

• Direct modular evaluation of expressions using the monads and type classes in Haskell
• Modular development of interpreters from semantic building blocks
• scientific article; zbMATH DE number 1612494 (Why is no real title available?)
• Constructing language processors with algebra combinators
• Language prototyping: An algebraic specification approach
• Specification of logic programming languages from reusable semantic building blocks

This page was built for publication:

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