The following pages link to Abstraction mechanisms in CLU (Q4136503):
Displaying 22 items.
- Object-oriented programming: some history, and challenges for the next fifty years (Q393077) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Algebraic optimization of object-oriented query languages (Q688667) (← links)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Modularization and abstraction in logic programming (Q1077915) (← links)
- An object-oriented semantic data model for CAD applications (Q1111038) (← links)
- Hierarchical program specification and verification - a many-sorted logical approach (Q1138904) (← links)
- Abstract for-loops over several aggregates (Q1151258) (← links)
- Specifications, models, and implementations of data abstractions (Q1161277) (← links)
- Syntactic adaptability of programming languages (Q1905139) (← links)
- Types in Programming Languages, Between Modelling, Abstraction, and Correctness (Q3188252) (← links)
- Multilevel synthesis of structured programs (Q3217580) (← links)
- Introduction to enhanced C (EC) (Q3660872) (← links)
- Higher level programming and data abstractions—a case study using enhanced C (Q3660873) (← links)
- Routines: An argument against the conventional approach to functions and procedures (Q3713565) (← links)
- Debugging programs that use macro-oriented data abstractions (Q3745255) (← links)
- Programming by successive refinement of data abstractions (Q3867154) (← links)
- Modularization of large programs (Q3920628) (← links)
- Data metastructures (Q4199506) (← links)
- Adding classes to the C language: An exercise in language evolution (Q4742290) (← links)
