The definition and implementation of a computer programming language based on constraints
Explore this paper's citation graph
Summary
The goal approached is a complete programming system which will implicitly support the constraint paradigm to the same extent that LISP, say, supports automatic storage management.
- Type
- article
- Published
- 1980-08-01
- Cited by
- 284
- References
- 0
- Access
- Open access
- OpenAlex
- https://openalex.org/W2096620062
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:30750655
Keywords
Lisp, Constraint (computer-aided design), Computer science, Constraint programming, Programming language
References
No references recorded for this paper.
Cited by
- FOOBAR : an artificial intelligence based finite element system
- The generation of coordinated natural language and graphical explanations in design environments
- Reasoning about Multiple Faults
- Constraint Programming in Java with JSolver
- Handbook of Constraint Programming
- Research on constraint-based design systems
- Nondeterministic Lisp as a Substrate for Constraint Logic Programming
- Waltz Filtering in Java with JSolver
- Formalizing Local Constraint Propagation Methods
- Constraint Satisfaction with Delayed Evaluation
- Visual Programming in Prolog
- Type-Based Speculative Specialization in a Telescoping Compiler for Matlab
- HKIA SAS: A Constraint-Based Airport Stand Allocation System Developed with Software Components
- Associative broadcast and the communication semantics of naming in concurrent systems
- Solving the Car-Sequencing Problem in Constraint Logic Programming
- Choices Without Backtracking
- Constraint Hierarchies and Logic Programming
- Getting the Envisionment Right
- Forward Chaining Logic Programming with the ATMS
- Reducing computation by unifying inference with user interface
Related papers
- Constraint logic programming
- Constraint satisfaction in logic programming
- CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions
- The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
- Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
- The Constraint Logic Programming Language CHIP
- Consistency in Networks of Relations
- ThingLab: a constraint-oriented simulation laboratory
- An introduction to Prolog III