A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies

"Computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints"@en
"Definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints"@en
"Definition and implementation of a computer programming language based on constraints"@en
"Computer programming language based on constraints"@en

"A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies"@en