“The Definition and Implementation of a Computer Programming Language Based on Constraints”
E1558502
UNEXPLORED
“The Definition and Implementation of a Computer Programming Language Based on Constraints” is a research paper by Gerald Jay Sussman and Guy L. Steele Jr. that presents a constraint-based programming language and details both its theoretical foundations and practical implementation.
All labels observed (1)
| Label | Occurrences |
|---|---|
| “The Definition and Implementation of a Computer Programming Language Based on Constraints” canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T22876225 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: “The Definition and Implementation of a Computer Programming Language Based on Constraints” Context triple: [Lambda Papers, hasPart, “The Definition and Implementation of a Computer Programming Language Based on Constraints”]
-
A.
Principles and Practice of Declarative Programming
Principles and Practice of Declarative Programming is an international academic conference focused on research and advances in declarative programming languages and paradigms.
-
B.
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages is an academic conference focused on the practical implementation, application, and evaluation of declarative programming languages and related technologies.
-
C.
Domain-Specific Languages
Domain-Specific Languages is a technical book by Martin Fowler that explores the design, implementation, and practical use of specialized programming languages tailored to specific problem domains.
-
D.
The Logic of Computer Programming
The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
-
E.
International Symposium on Logic-based Program Synthesis and Transformation
The International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR) is an academic conference focused on research in logic-based methods for program development, analysis, and transformation.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: “The Definition and Implementation of a Computer Programming Language Based on Constraints” Target entity description: “The Definition and Implementation of a Computer Programming Language Based on Constraints” is a research paper by Gerald Jay Sussman and Guy L. Steele Jr. that presents a constraint-based programming language and details both its theoretical foundations and practical implementation.
-
A.
Principles and Practice of Declarative Programming
Principles and Practice of Declarative Programming is an international academic conference focused on research and advances in declarative programming languages and paradigms.
-
B.
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages is an academic conference focused on the practical implementation, application, and evaluation of declarative programming languages and related technologies.
-
C.
Domain-Specific Languages
Domain-Specific Languages is a technical book by Martin Fowler that explores the design, implementation, and practical use of specialized programming languages tailored to specific problem domains.
-
D.
The Logic of Computer Programming
The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
-
E.
International Symposium on Logic-based Program Synthesis and Transformation
The International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR) is an academic conference focused on research in logic-based methods for program development, analysis, and transformation.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Lambda Papers
→
hasPart
→
“The Definition and Implementation of a Computer Programming Language Based on Constraints”
ⓘ