71 citations · 448 across the 43 of their papers we have counts for
7 papers · 1 filter
Right and wrong: ten choices in language design
Bertrand Meyer
A description of language design choices that have profound effects on software quality, criticism of how ordinary OO languages address them, and explanation of the thinking behind…
The concept of class invariant in object-oriented programming
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
Class invariants -- consistency constraints preserved by every operation on objects of a given type -- are fundamental to building, understanding and verifying object-oriented prog…
Theory of Programs
Bertrand Meyer
A general theory of programs, programming and programming languages built up from a few concepts of elementary set theory. Derives, as theorems, properties treated as axioms by cla…
Coffman deadlocks in SCOOP
Georgiana Caltais, Bertrand Meyer
In this paper we address the deadlock detection problem in the context of SCOOP - an OO-programming model for concurrency, recently formalized in Maude. We present the integration…
Alias and Change Calculi, Applied to Frame Inference
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias analysis, which determines whether two expressions in a program may reference to the same object, has many potential applications in program construction and verification. We…
C to O-O Translation: Beyond the Easy Stuff
Marco Trudel, Carlo A. Furia, Martin Nordio +2
Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts? This paper…