Logic and functional programming by retractions : operational semantics

DOI10.1051/ITA/1988220403951MaRDI QIDQ3817575zbMATH OpenOpenAlexFDO

Authors Marco Bellia

Publication date 1988

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92314

zbMATH Keywords

functional programmingHerbrandt universelogic programmingoperational semanticsreduction rulesretractionunification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4037165
• Logic and functional programming by retractions
• scientific article; zbMATH DE number 4043306
• Publication:4490719
• A domain-theoretic approach to functional and logic programming

Cites work

• An Efficient Unification Algorithm
• Computing in systems described by equations
• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3664393 (Why is no real title available?)
• scientific article; zbMATH DE number 3722073 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• Linear unification
• Logic and functional programming by retractions
• Orderings for term-rewriting systems

Cited in

(5)

• C-expressions: A variable-free calculus for equational logic programming
• scientific article; zbMATH DE number 4037165 (Why is no real title available?)
• Functional operations in frege'sbegriffsschrift
• Logic and functional programming by retractions
• scientific article; zbMATH DE number 1479608 (Why is no real title available?)

This page was built for publication: Logic and functional programming by retractions : operational semantics

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