Logic programming and compiler writing

DOI10.1002/spe.4380100203zbMath0428.68015OpenAlexW2049583580MaRDI QIDQ3865433

David H. D. Warren

Publication date: 1980

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380100203

zbMATH Keywords

programming languageslogic programmingPrologcompiler specificationcompiler writingcompiler implementation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (3)

Mixed computation of Prolog programs ⋮ Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks ⋮ A demonstrably correct compiler

This page was built for publication: Logic programming and compiler writing