scientific article; zbMATH DE number 4180815

MaRDI QIDQ3204053zbMATH OpenFDO

Authors Radha Jagadeesan, Prakash Panangaden, Keshav Pingali

Publication date 1989

zbMATH Keywords

abstract semanticsdenotational semanticsfunctional languagelogic variablesPlotkin-style operational semanticsScott domain

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4043306
• scientific article; zbMATH DE number 512893
• A domain-theoretic approach to functional and logic programming
• scientific article; zbMATH DE number 408794
• Declarative modeling of the operational behavior of logic languages

Cited in

(13)

• A semantics for complex objects and approximate answers
• Fully abstract semantics for observably sequential languages
• Truly concurrent constraint programming
• The abstract variable-binding calculus
• The language of calculus of computable predicates as a minimal kernel for functional languages
• scientific article; zbMATH DE number 4011906 (Why is no real title available?)
• scientific article; zbMATH DE number 4092731 (Why is no real title available?)
• scientific article; zbMATH DE number 408794 (Why is no real title available?)
• scientific article; zbMATH DE number 512893 (Why is no real title available?)
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• Programming Languages and Systems
• scientific article; zbMATH DE number 970726 (Why is no real title available?)
• Accumulators: New logic variable abstractions for functional languages

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