Pages that link to "Item:Q1050763"
From MaRDI portal
The following pages link to The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 (Q1050763):
Displaying 8 items.
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Extending Hoare logic to real-time (Q1346769) (← links)
- Application of mixed language programming (Q1366226) (← links)
- A survey of concurrent object-oriented languages (Q4789967) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)
- A model inference system for generic specification with application to code sharing (Q5096762) (← links)