Design and correctness of a compiler for a non-procedural language

DOI10.1007/BF00288883zbMath0363.68001WikidataQ122961300 ScholiaQ122961300MaRDI QIDQ1240546

Christoph M. Hoffmann

Publication date: 1978

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

programming languagecompiler correctnesshucidnon-procedural language

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

An extensional treatment of dataflow deadlock

Uses Software

• Lucid

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatic definition of the programming language Pascal
• Lucid, a nonprocedural language with iteration
• Lucid—A Formal System for Writing and Proving Programs

This page was built for publication: Design and correctness of a compiler for a non-procedural language