jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

DOI10.1007/s10703-005-3400-1zbMath1086.68534OpenAlexW1970657598MaRDI QIDQ812054

Parker Abercrombie, Murat Karaorman

Publication date: 23 January 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-005-3400-1

zbMATH Keywords

Javabytecode instrumentationDesign by ContractjContractor

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (5)

Matching in security-by-contract for mobile code ⋮ The interaction of contracts and laziness ⋮ Formal design and implementation of constraints in software components ⋮ Eager and delayed contract monitoring for call-by-value and call-by-name evaluation ⋮ jContractor

Uses Software

• Eiffel
• Valgrind
• JML
• Jass

Cites Work

• Exception handling
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation