Prototyping realistic programming languages based on formal specifications

DOI10.1007/S002360050105MaRDI QIDQ1386439zbMATH OpenOpenAlexFDO

Authors Arnd Poetzsch-Heffter

Publication date 1 October 1998

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050105

zbMATH Keywords

language specification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Language prototyping: An algebraic specification approach
• scientific article; zbMATH DE number 3872706
• Formal models for some features of programming languages
• Theory and realization of programming languages
• scientific article; zbMATH DE number 814819

Cited in

(5)

• Assessing the Expressivity of Formal Specification Languages
• A generic functional representation of sorted trees supporting attribution (Haskell can do it)
• Toward complete programming language descriptions that are both formal and understandable
• scientific article; zbMATH DE number 512889 (Why is no real title available?)
• Language prototyping: An algebraic specification approach

This page was built for publication: Prototyping realistic programming languages based on formal specifications

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