Logic programming and compiler writing
From MaRDI portal
Publication:3865433
DOI10.1002/spe.4380100203zbMath0428.68015MaRDI QIDQ3865433
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
programming languages; logic programming; Prolog; compiler specification; compiler writing; compiler implementation
Related Items
A demonstrably correct compiler, Mixed computation of Prolog programs, Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks