The following pages link to (Q4003187):
Displaying 8 items.
- Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types (Q761792) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- Semantic Correctness for a Parallel Object-Oriented Language (Q3474904) (← links)
- (Q4496249) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- (Q4884242) (← links)