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

DOI10.1007/S10703-005-3400-1MaRDI QIDQ812054zbMATH OpenOpenAlexFDO

Authors Murat Karaorman, Parker Abercrombie

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)

Recommendations

• scientific article; zbMATH DE number 2040564
• scientific article; zbMATH DE number 1962748
• scientific article; zbMATH DE number 2040586
• Programming Languages and Systems
• scientific article; zbMATH DE number 1798185

Cites work

• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 2085188 (Why is no real title available?)
• An axiomatic basis for computer programming
• Building reliable component-based software systems
• Exception handling

Cited in

(6)

• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Formal design and implementation of constraints in software components
• scientific article; zbMATH DE number 2088931 (Why is no real title available?)
• jContractor
• Matching in security-by-contract for mobile code
• The interaction of contracts and laziness

Describes a project that uses

Uses Software

• Jass
• JML
• Valgrind
• Eiffel

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q812054)