24 results on '"Williams, John H."'
Search Results
2. Encapsulated data types and generic procedures
3. Formal representations for recursively defined functional programs
4. Run-time checking of data access in pascal-like languages
5. Models of data objects and data types
6. Some issues in data types and type checking
7. Section II data types
8. A note on 'pointers'
9. Section III parallel processing, machine dependency and program verification
10. Section IV programming language specifications, optimization and run-time support systems
11. Tinman needed characteristics
12. Section I the common programming language effort of the department of defense
13. Requirements for real-time languages
14. Parallel processing and modular software construction
15. The tinman and communications applications
16. A reminder for language designers
17. Programming language design issues
18. The need for optimization standards
19. A language design for structured concurrency
20. Target computer independent optimization procedures for metacompilers
21. Remarks on the impact of program verification on language design
22. Language features for parallel processing and resource control
23. Separate definition and compilation in lis and its implementation
24. After-dinner speech
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.