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

Stephen S. Yau, Jacob V. Gore

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume18
Issue number3
DOIs
StatePublished - 1993
Externally publishedYes

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)

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

Cite this