Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of call-backs, multiobject invariants, and subclassing. Several verification techniques for object invariants have been proposed. These techniques are complex and differ in restrictions on programs (e.g., which fields ca...

There is a growing need for abstractions in logic specification languages such as FO(·) and ASP. One technique to achieve these abstractions are templates (sometimes called macros). While the semantics of templates are virtually always described through a syntactical rewriting scheme, we present an alternative view on templates as second order definitions. To extend the existing definition cons...

The rare condition known variously as multiple congenital articular rigidity, arthrogryposis multiplex congenita and amyoplasia congenita has been made known in this country mainly by the work of W. Sheldon9, who introduced the name used in this paper. A further title has been applied by D. S. Middleton', who uses the term myodystrophia foetalis deformans, as being more accurately descriptive o...