71 citations · 448 across the 43 of their papers we have counts for
Showing 2010 · cs.SEShow all
2 papers · 2 filters
cs.SE2010★ 13 cited
Specifying Reusable Components
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts tha…
cs.SE2010★ 1 cited
Steps towards a theory and calculus of aliasing
Bertrand Meyer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje…