jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

Computing, Computer Science, Mathematics +17

Eiffel: the language

Information and Software Technology · 1992 · 994 citations

Exception handling

John B. Goodenough · Communications of the ACM · 1975 · 496 citations · Full text

Engineering, Computer Systems, Programming Languages +7

Valgrind

Nicholas Nethercote, Julian Seward · Electronic Notes in Theoretical Computer Science · 2003 · 458 citations · Full text

Computing, Computer Engineering, Computer Science +5

Jass — Java with Assertions1 1This work was partially funded by the German Research Council (DFG) under grant OL 98/3-1.

Detlef Bartetzko, Clemens Fischer, Michael Möller et al. · Electronic Notes in Theoretical Computer Science · 2001 · 187 citations · Full text

Computing, Computer Science, Formal Methods +15