Open AccessBook
Semantic foundations of concurrent constraint programming
Vijay Saraswat,Martin Rinard,Prakash Panangaden +2 more
- pp 283-302
Reads0
Chats0
About:
The article was published on 1995-03-01 and is currently open access. It has received 383 citations till now. The article focuses on the topics: Concurrent constraint logic programming & Constraint programming.read more
Citations
More filters
Journal ArticleDOI
Constraint logic programming : A survey
Joxan Jaffar,Michael J. Maher +1 more
TL;DR: This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
Book
Handbook of Constraint Programming
TL;DR: Researchers from other fields should find in this handbook an effective way to learn about constraint programming and to possibly use some of the constraint programming concepts and techniques in their work, thus providing a means for a fruitful cross-fertilization among different research areas.
Book
Principles of constraint programming
TL;DR: Constraint programming combines ideas from artificial intelligence, programming languages, databases, and operational research as mentioned in this paper, and it has been widely used in the field of software engineering and management.
Book
Concepts, Techniques, and Models of Computer Programming
Peter Van Roy,Seif Haridi +1 more
TL;DR: This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound and allows programmer and student to grasp the underlying unity of programming.
Journal ArticleDOI
Models and languages for parallel computation
TL;DR: It is argued that an ideal model should by easy to program, should have a software development methodology, should be architecture-independent, should been easy to understand, should guarantee performance, and should provide accurate information about the cost of programs.
References
More filters
Proceedings Article
The Semantics of a Simple Language for Parallel Programming.
TL;DR: A simple language for parallel programming is described and its mathematical properties are studied to make a case for more formal languages for systems programming and the design of operating systems.
Journal ArticleDOI
Linear logic
TL;DR: This column presents an intuitive overview of linear logic, some recent theoretical results, and summarizes several applications oflinear logic to computer science.
Book
Parallel Program Design: A Foundation
TL;DR: One that the authors will refer to break the boredom in reading is choosing parallel program design a foundation as the reading material.
Book
Proofs and types
TL;DR: In this paper, the Curry-Howard isomorphism and the normalisation theorem of a natural deduction system T coherence spaces have been studied in the context of linear logic and linear logic semantics.
Proceedings ArticleDOI
Constraint logic programming
Joxan Jaffar,Jean-Louis Lassez +1 more
TL;DR: In this article, a class of logic programming languages, called CLP languages, are defined, all of which share the same essential semantic properties and are based on a unified formal semantics.