scientific article; zbMATH DE number 1737610

zbMATH Open0990.68045MaRDI QIDQ4529646FDOQ4529646

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

Publication date: 5 May 2002

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

PrologVienna development method

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (3)

• VDM semantics of programming languages: Combinators and monads
• Title not available (Why is that?)
• 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)