Modular development of interpreters from semantic building blocks

MaRDI QIDQ2765931zbMATH OpenFDO

Authors J. E. Labra G., J. M. Cueva, M. C. Luengo, A. Cernuda

Publication date 16 June 2002

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

generic programmingF-algebramodular monadic semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2000442
• Specification of logic programming languages from reusable semantic building blocks
• scientific article; zbMATH DE number 1231580
• Adaptable software: how to build a modular monadic extensible compiler using the state monad and pseudoconstructors over monadic values
• Direct modular evaluation of expressions using the monads and type classes in Haskell

Cited in

(8)

• Direct modular evaluation of expressions using the monads and type classes in Haskell
• scientific article; zbMATH DE number 2000442 (Why is no real title available?)
• Generating specialized interpreters for modular structural operational semantics
• scientific article; zbMATH DE number 1612494 (Why is no real title available?)
• Constructing language processors with algebra combinators
• Embedded interpreters
• Specification of logic programming languages from reusable semantic building blocks
• Adaptable software: how to build a modular monadic extensible compiler using the state monad and pseudoconstructors over monadic values

This page was built for publication: Modular development of interpreters from semantic building blocks

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