Pages that link to "Item:Q812054"
From MaRDI portal
The following pages link to jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation (Q812054):
Displaying 5 items.
- jContractor (Q14222) (← links)
- The interaction of contracts and laziness (Q526445) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- Formal design and implementation of constraints in software components (Q964358) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
