scientific article; zbMATH DE number 4106298

zbMATH Open0675.68054MaRDI QIDQ3830552FDOQ3830552

Authors: Koichi Furukawa, Akira Okumura, Masaki Murakami 

Publication date: 1988

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

Recommendations

• Unfolding rules for GHC programs
• Fold and unfold for program semantics
• Fold and unfold for program semantics
• Haskell type constraints unleashed
• scientific article; zbMATH DE number 4096777
• scientific article; zbMATH DE number 22193
• Hoare-style logic for unstructured programs

zbMATH Keywords

parallel logic programming

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of operating systems (68N25)

Cited In (3)

• Specialisation of Prolog and FCP programs using abstract interpretation
• Unfolding rules for GHC programs
• Comparative semantics for flow of control in logic programming without logic

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 Q3830552)