scientific article; zbMATH DE number 1088220

MaRDI QIDQ4364536zbMATH OpenFDO

Authors Gert Smolka

Publication date 17 November 1997

zbMATH Keywords

\(\gamma\)-calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15)

Recommendations

• A foundation for higher-order concurrent constraint programming
• A confluent relational calculus for higher-order programming with constraints
• scientific article; zbMATH DE number 1223724
• Models for concurrent constraint programming
• Concurrent calculus (CC) and its properties

Cited in

(16)

• A fully abstract semantics for concurrent constraint programming
• GOFFIN: Higher-order functions meet concurrent constraints
• Concurrent calculus (CC) and its properties
• On the Implementation of Speculative Constraint Processing
• scientific article; zbMATH DE number 1223724 (Why is no real title available?)
• scientific article; zbMATH DE number 2086602 (Why is no real title available?)
• scientific article; zbMATH DE number 1392315 (Why is no real title available?)
• scientific article; zbMATH DE number 1405453 (Why is no real title available?)
• Demand transformation analysis for concurrent constraint programs
• A foundation for higher-order concurrent constraint programming
• Constraints for polymorphic behaviours of concurrent ML
• A confluent relational calculus for higher-order programming with constraints
• A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
• Order-sorted unification
• -calculus semantics of functional programming language FFP
• Subexponential concurrent constraint programming

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