Prototyping realistic programming languages based on formal specifications

DOI10.1007/S002360050105zbMath0896.68023OpenAlexW1983346515MaRDI QIDQ1386439

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)

Related Items (1)

A Generic Functional Representation of Sorted Trees Supporting Attribution

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