scientific article; zbMATH DE number 65740
From MaRDI portal
Publication:4010351
Recommendations
- scientific article; zbMATH DE number 18622
- Operational and denotational semantics of prolog
- scientific article; zbMATH DE number 19144
- Denotational and operational semantics for prolog
- An operational formal definition of PROLOG: A specification method and its application
- Simple operational and denotational semantics for Prolog with cut
- Towards a logical semantics for pure Prolog
- Operational and goal-independent denotational semantics for Prolog with cut
- Compositional operational semantics for Prolog programs
- A linear operational semantics for termination and complexity analysis of ISO prolog
Cited in
(9)- A declarative approach for first-order built-in's of Prolog
- scientific article; zbMATH DE number 18622 (Why is no real title available?)
- Dynamic predicates in functional logic programs
- Improving the ISO Prolog Standard by Analyzing Compliance Test Results
- scientific article; zbMATH DE number 490755 (Why is no real title available?)
- A linear operational semantics for termination and complexity analysis of ISO prolog
- The subject-oriented approach to software design and the abstract state machines method
- scientific article; zbMATH DE number 490759 (Why is no real title available?)
- scientific article; zbMATH DE number 517001 (Why is no real title available?)
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 Q4010351)
