Specification, verification and prototyping of an optimized compiler
type: Item
instance of: scholarly article
title: Specification, verification and prototyping of an optimized compiler
zbMATH Open document ID: 0829.68084
DOI: 10.1007/BF03259390
author: Jifeng He
author: Jonathan P. Bowen
published in: Formal Aspects of Computing
publication date: 1995-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 741023
zbMATH Keywords: algebraic method
zbMATH Keywords: compiler
zbMATH Keywords: Prolog
Wikidata QID: Q56940226
MaRDI profile type: Publication
cites work: Q5452362
cites work: Q4431335
cites work: Q4720771
cites work: Deriving correctness properties of compiled code
cites work: Normal form approach to compiler design
cites work: Q3992908
cites work: A verified prolog compiler for the Warren Abstract Machine
cites work: Q4293533
cites work: A demonstrably correct compiler
description: scientific article; zbMATH DE number 741023