scientific article; zbMATH DE number 4180815

zbMATH Open0716.68061MaRDI QIDQ3204053FDOQ3204053

Authors: Radha Jagadeesan, Prakash Panangaden, Keshav Pingali 

Publication date: 1989

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

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

zbMATH Keywords

denotational semanticsfunctional languageScott domainabstract semanticslogic variablesPlotkin-style operational semantics

Mathematics Subject Classification ID

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

Cited In (13)

• A semantics for complex objects and approximate answers
• Title not available (Why is that?)
• The language of calculus of computable predicates as a minimal kernel for functional languages
• Truly concurrent constraint programming
• Title not available (Why is that?)
• Fully abstract semantics for observably sequential languages
• Programming Languages and Systems
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• Title not available (Why is that?)
• Title not available (Why is that?)
• The abstract variable-binding calculus
• Title not available (Why is that?)
• 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)