scientific article; zbMATH DE number 1332633

MaRDI QIDQ4259957zbMATH OpenFDO

Authors Enea Zaffanello, Roberto Giacobazzi, Giorgio Levi

Publication date 8 September 1999

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-06/A97-06.html

zbMATH Keywords

constraint logic programsdata-flow analysissuccess semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Efficient analysis of concurrent constraint logic programs
• A confluent semantic basis for the analysis of concurrent constraint logic programs
• Abstract interpretation of temporal concurrent constraint programs
• scientific article; zbMATH DE number 1405453
• Abstract model checking of \textsf{tccp} programs

Cited in

(15)

• Hybrid concurrency control for abstract data types
• A fully abstract semantics for concurrent constraint programming
• A confluent calculus for concurrent constraint programming
• Models and emerging trends of concurrent constraint programming
• A semantic framework for the abstract model checking of tccp programs
• A program analysis framework for \textit{tccp} based on abstract interpretation
• An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation
• Resource-sensitive synchronization inference by abduction
• A process algebra for synchronous concurrent constraint programming
• A confluent semantic basis for the analysis of concurrent constraint logic programs
• Abstract interpretation of temporal concurrent constraint programs
• scientific article; zbMATH DE number 1405453 (Why is no real title available?)
• Abstract methods for synchronization and applications
• A symbolic model for timed concurrent constraint programming
• Abstract Analysis of Universal Properties for tccp

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