Constraint-driven programming in strongly-typed object-oriented languages

Stephen S. Yau, Jacob V. Gore

Research output: Contribution to journalArticlepeer-review


Strongly-typed object-oriented languages are well suited for software engineering. In this paper the difficulty of implementing specification of overall properties of an object in such languages is addressed and solved by introducing constraint-driven reevaluation into strongly-typed object-oriented programming. The programming language Eiffel forms the basis of this work, and its syntax and semantics are enhanced with a constraint-driven system from Thinglab II. The benefits of this enhancement to software specification and development are demonstrated. It is shown that Eiffel's strong typing and its inheritance discipline make it possible to improve on Thinglab II in specification of inputs and outputs of constraint fixes, and allows refinement of constraints through inheritance.

Original languageEnglish (US)
Pages (from-to)169-183
Number of pages15
JournalComputer Languages
Issue number3
StatePublished - 1993
Externally publishedYes


  • Constraint-driven reevaluation
  • Constraints
  • Eiffel
  • Object-oriented
  • Strong typing
  • Thinglab

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Constraint-driven programming in strongly-typed object-oriented languages'. Together they form a unique fingerprint.

Cite this