Pages that link to "Item:Q930885"
From MaRDI portal
The following pages link to Extending FeatherTrait Java with interfaces (Q930885):
Displaying 5 items.
- Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages (Q418193) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Combining traits with boxes and ownership types in a Java-like setting (Q1951635) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)