Concurrent constraint programming
โ Saraswat V.A.
๐ Library
๐
1993
๐ MIT
๐ English
โฆ LIBER โฆ
๐
Objects for Concurrent Constraint Programming
โ Scribed by Martin Henz (auth.)
- Publisher
- Springer US
- Year
- 1998
- Tongue
- English
- Leaves
- 172
- Series
- The Springer International Series in Engineering and Computer Science 426
- Edition
- 1
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as a vehicle for their synchronization.
Objects for Concurrent Constraint Programming analyzes the possibility of supporting object-oriented programming in ccp. Starting from established approaches, the book covers various object models and discusses their properties. Small Oz, a sublanguage of the ccp language Oz, is used as a model language for this analysis. This book presents a general-purpose object system for Small Oz and describes its implementation and expressivity for concurrent computation.
Objects for Concurrent Constraint Programming is written for programming language researchers with an interest in programming language aspects of concurrency, object-oriented programming, or constraint programming. Programming language implementors will benefit from the rigorous treatment of the efficient implementation of Small Oz. Oz programmers will get a first-hand view of the design decisions that lie behind the Oz object system.
โฆ Table of Contents
Front Matter....Pages i-xxi
Front Matter....Pages 1-1
Introduction....Pages 3-15
Issues in Object-Oriented Language Design....Pages 17-32
Small Oz....Pages 35-51
First Steps Towards Objects....Pages 53-60
Front Matter....Pages 61-61
Basic Object System....Pages 63-69
Advanced Techniques....Pages 71-85
Reduction to Small Oz....Pages 87-93
Implementation....Pages 95-118
Front Matter....Pages 119-119
Synchronization Techniques....Pages 121-136
Active Objects....Pages 139-149
Alternative Concurrency Models....Pages 151-157
A Concurrent Meta-Object Protocol....Pages 159-166
Back Matter....Pages 167-170
โฆ Subjects
Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics)
๐ SIMILAR VOLUMES
Object-Oriented Concurrent Programming
โ Akinori Yonezawa, Mario Tokoro
๐ Library
๐
1987
๐ The MIT Press
๐ English
This book deals with a major theme of the Japanese Fifth Generation Project, which emphasizes logic programming, parallelism, and distributed systems. It presents a collection of tutorials and research papers on a new programming and design methodology in which the system to be constructed is modele
Functional, Object-Oriented, and Concurr
โ Michel Charpentier
๐ Library
๐
2023
๐ Addison-Wesley Professional
๐ English
The functional and concurrent programming language features supported by modern languages can be challenging, even for experienced developers. These features may appear intimidating to OOP programmers because of a misunderstanding of how they work. Programmers first need to become familiar with the
Functional, Object-Oriented, and Concurr
โ Michel Charpentier
๐ Library
๐ Addison-Wesley
๐ English
Logic programming languages : constraint
โ Krzysztof R Apt; J W de Bakker; J J M M Rutten
๐ Library
๐
1993
๐ MIT Press
๐ English
Logic programming languages : constraint
โ Apt, Krzysztof R.; Rutten, J. J. M. M.; Bakker, Jacobus Willem
๐ Library
๐
1993
๐ MIT Press
๐ English
This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of