Pages that link to "Item:Q4136546"
From MaRDI portal
The following pages link to Abstraction and verification in Alphard (Q4136546):
Displaying 6 items.
- Procedure mechanisms of abstraction (Q595363) (← links)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- AND parallelism and nondeterminism in logic programs (Q1077925) (← links)
- Abstract for-loops over several aggregates (Q1151258) (← links)
- Routines: An argument against the conventional approach to functions and procedures (Q3713565) (← links)
- Data metastructures (Q4199506) (← links)