scientific article; zbMATH DE number 1737610

MaRDI QIDQ4529646zbMATH OpenFDO

Authors Timothy K. Shih, Huan-Chao Keh, Yule-Chyun Lin

Publication date 5 May 2002

zbMATH Keywords

PrologVienna development method

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Operational and denotational semantics of prolog
• VDM '88. VDM (Vienna development method) - The way ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
• scientific article; zbMATH DE number 1487471
• The transition from VDL to VDM
• scientific article; zbMATH DE number 550761

Cited in

(3)

• VDM semantics of programming languages: Combinators and monads
• scientific article; zbMATH DE number 1973223 (Why is no real title available?)
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4529646)