On the public citation graph
Integrating constraints with an object-oriented language
0 signed · 92 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-79192-5_6openalex-snapshot
A Quantum Approach to Geometric Constraint Satisfaction
inferredcites →https://doi.org/10.1007/978-3-642-79192-5_8openalex-snapshot
ALIEN: A Prototype-Based Constraint System
inferredcites →https://doi.org/10.1007/bf03037020openalex-snapshot
Object oriented programming in Concurrent Prolog
inferredcites →https://doi.org/10.1007/bfb0053029openalex-snapshot
Object-oriented multi-methods in Cecil
inferredcites →https://doi.org/10.1016/0004-3702(77)90007-8openalex-snapshot
Consistency in networks of relations
inferredcites →https://doi.org/10.1109/2.60882openalex-snapshot
Garnet: comprehensive support for graphical, highly interactive user interfaces
inferredcites →https://doi.org/10.1109/52.62933openalex-snapshot
Blending imperative and relational programming
inferredcites →https://doi.org/10.1109/iccl.1992.185479openalex-snapshot
Multiparadigm data structures in Leda
inferredcites →https://doi.org/10.1109/pccc.1992.200605openalex-snapshot
DeltaStar: a general algorithm for incremental satisfaction of constraint hierarchies
inferredcites →https://doi.org/10.1145/117954.117955openalex-snapshot
Making pure object-oriented languages practical
inferredcites →https://doi.org/10.1145/129393.129398openalex-snapshot
The CLP( ℛ ) language and system
inferredcites →https://doi.org/10.1145/22949.22951openalex-snapshot
An object-oriented approach to graphical interfaces
inferredcites →https://doi.org/10.1145/323648.323739openalex-snapshot
Objects in concurrent logic programming languages
inferredcites →https://doi.org/10.1145/357073.357079openalex-snapshot
Simplification by Cooperating Decision Procedures
inferredcites →https://doi.org/10.1145/357146.357147openalex-snapshot
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
inferredcites →https://doi.org/10.1145/567067.567094openalex-snapshot
Abstraction mechanisms in the BETA programming language
inferredcites →https://doi.org/10.1145/74877.74917openalex-snapshot
Constraint technology for user-interface construction in ThingLab II
inferredcites →https://doi.org/10.1145/79204.79209openalex-snapshot
Constraint logic programming languages
inferredcites →https://doi.org/10.1145/800017.800542openalex-snapshot
Efficient implementation of the smalltalk-80 system
inferredcites →https://doi.org/10.1145/960112.28721openalex-snapshot
Objects in concurrent logic programming languages
inferredcites →https://doi.org/10.1145/97945.97957openalex-snapshot
Kaleidoscope: mixing objects, constraints, and imperative programming
inferredcites →https://doi.org/10.1145/97946.97957openalex-snapshot
Kaleidoscope: mixing objects, constraints, and imperative programming
inferredcites →https://doi.org/10.1184/r1/6609533openalex-snapshot
Siri : a constrained-object language for reactive program implementation
inferredcites →https://doi.org/10.1184/r1/6610586openalex-snapshot
The Garnet toolkit reference manuals : support for highly-interactive, graphical user interfaces in Lisp
inferredcites →https://doi.org/10.7146/dpb.v16i229.7578openalex-snapshot
The BETA Programming Language
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(19990410)29:4<311::aid-spe236>3.0.co;2-xopenalex-snapshot
Embed finite domain constraint programming into Java and some Web-based applications
inferred← citeshttps://doi.org/10.1007/11785477_15openalex-snapshot
SuperGlue: Component Programming with Object-Oriented Signals
inferred← citeshttps://doi.org/10.1007/3-540-36087-5_2openalex-snapshot
Application of Constraint Hierarchy to Timetabling Problems
inferred← citeshttps://doi.org/10.1007/3-540-45102-1_1openalex-snapshot
Towards a Unified Programming Language
inferred← citeshttps://doi.org/10.1007/3-540-45587-6_4openalex-snapshot
Modeling Engineering Structures with Constrained Objects
inferred← citeshttps://doi.org/10.1007/3-540-47910-4_18openalex-snapshot
A Language Framework for Multi-Object Coordination
inferred← citeshttps://doi.org/10.1007/3-540-58601-6_108openalex-snapshot
On the design of constraint satisfaction problems
inferred← citeshttps://doi.org/10.1007/3-540-61286-6_154openalex-snapshot
Object and dependency oriented programming in FLO
inferred← citeshttps://doi.org/10.1007/3-540-61551-2_78openalex-snapshot
Generalized local propagation: A framework for solving constraint hierarchies
inferred← citeshttps://doi.org/10.1007/978-1-4471-1009-5_7openalex-snapshot
An Event Based Object Model for Distributed Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_26openalex-snapshot
Falling Back on Executable Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-61062-2_12openalex-snapshot
Event-based.Constraints: coordinate.Satisfaction —> object.State 1
inferred← citeshttps://doi.org/10.1007/978-3-642-79192-5_16openalex-snapshot
An Object-Oriented Architecture for Constraint-Based Graphical Editing
inferred← citeshttps://doi.org/10.1007/978-3-642-85983-0_1openalex-snapshot
Constraint Satisfaction and Constraint Programming: A Brief Lead-In
inferred← citeshttps://doi.org/10.1007/978-3-642-85983-0_12openalex-snapshot
Kaleidoscope: A Constraint Imperative Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-662-03567-2_16openalex-snapshot
An Object-Oriented Interactive System for Scientific Simulations: Design and Applications
inferred← citeshttps://doi.org/10.1007/978-3-7091-9457-7_5openalex-snapshot
Information Hiding and the Complexity of Constraint Satisfaction
inferred← citeshttps://doi.org/10.1007/bf02948339openalex-snapshot
Minimal model semantics for sorted constraint representation
inferred← citeshttps://doi.org/10.1007/bfb0014029openalex-snapshot
Integrating objects with constraint-programming languages
inferred← citeshttps://doi.org/10.1007/bfb0095057openalex-snapshot
Constraint resolution within object hierarchies
inferred← citeshttps://doi.org/10.1016/0097-8493(95)00055-0openalex-snapshot
A survey of constraint satisfaction techniques for geometric modeling
inferred← citeshttps://doi.org/10.1016/0743-1066(93)90046-jopenalex-snapshot
Hierarchical constraint logic programming
inferred← citeshttps://doi.org/10.1016/s0166-3615(02)00008-8openalex-snapshot
An integrity constraint management framework in engineering design
inferred← citeshttps://doi.org/10.1016/s0950-7051(96)01055-6openalex-snapshot
A bibliographical survey of constraint-based approaches to CAD, graphics, layout, visualization, and related topics
inferred← citeshttps://doi.org/10.1093/comjnl/40.10.598openalex-snapshot
Software Constraints for Large Application Systems
inferred← citeshttps://doi.org/10.1109/2945.468387openalex-snapshot
Vision-an architecture for global illumination calculations
inferred← citeshttps://doi.org/10.1109/88.218170openalex-snapshot
Abstraction and modularity mechanisms for concurrent computing
inferred← citeshttps://doi.org/10.1109/caia.1994.323627openalex-snapshot
Composition-based mapping of design plans into implementation-level architectures
inferred← citeshttps://doi.org/10.1109/dexa.1996.558284openalex-snapshot
Enacting authorization models for object-oriented databases
inferred← citeshttps://doi.org/10.1109/icapp.1995.472170openalex-snapshot
A highly parallel model for object-oriented concurrent constraint programming
inferred← citeshttps://doi.org/10.1109/iccl.1992.185480openalex-snapshot
The design and implementation of Kaleidoscope'90-A constraint imperative programming language
inferred← citeshttps://doi.org/10.1109/ictai.2007.119openalex-snapshot
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models
inferred← citeshttps://doi.org/10.1109/ictai.2007.174openalex-snapshot
Assessing Hierarchical Cooperative CoEvolution
inferred← citeshttps://doi.org/10.1109/tai.1994.346459openalex-snapshot
A new arc consistency algorithm for CSPs with hierarchical domains
inferred← citeshttps://doi.org/10.1115/1.1504847openalex-snapshot
Using Genetic Algorithms to Set Target Values for Engineering Characteristics in the House of Quality
inferred← citeshttps://doi.org/10.1145/168642.168663openalex-snapshot
Converting an existing user interface to use constraints
inferred← citeshttps://doi.org/10.1145/2048066.2048100openalex-snapshot
Reactive imperative programming with dataflow constraints
inferred← citeshttps://doi.org/10.1145/217838.217866openalex-snapshot
A reflective model for first class dependencies
inferred← citeshttps://doi.org/10.1145/217839.217866openalex-snapshot
A reflective model for first class dependencies
inferred← citeshttps://doi.org/10.1145/238355.238488openalex-snapshot
Integrating constraints in complex objects
inferred← citeshttps://doi.org/10.1145/2384592.2384595openalex-snapshot
Liberating the programmer with prorogued programming
inferred← citeshttps://doi.org/10.1145/2623200openalex-snapshot
Reactive Imperative Programming with Dataflow Constraints
inferred← citeshttps://doi.org/10.1145/2814270.2814311openalex-snapshot
Checks and balances: constraint solving without surprises in object-constraint programming languages
inferred← citeshttps://doi.org/10.1145/367845.367944openalex-snapshot
Constrained objects for modeling complex structures (extended abstract) (poster session)
inferred← citeshttps://doi.org/10.1145/367845.368066openalex-snapshot
Constrained objects for modeling complex structures (extended abstract)
inferred← citeshttps://doi.org/10.1613/jair.167openalex-snapshot
Using Pivot Consistency to Decompose and Solve Functional CSPs
inferred← citeshttps://doi.org/10.4114/ia.v9i27.853openalex-snapshot
Declarative Constraint Programming
inferred← citeshttps://doi.org/10.4204/eptcs.202.6openalex-snapshot
A multi-paradigm language for reactive synthesis
inferred← citeshttps://doi.org/10.5381/jot.2014.13.4.a1openalex-snapshot
Specifying and Solving Constraints on Object Behavior.
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.