jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
From MaRDI portal
Publication:812054
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
Related Items
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
Cites Work
