103 results on '"James J. Horning"'
Search Results
2. Words Matter: Privacy, Security, and Related Terms.
3. The Larch Shared Language: Some Open Problems.
4. LCLint: A Tool for Using Specifications to Check Code.
5. An Overview of Larch.
6. Larch: Languages and Tools for Formal Specification
7. Using Transformations and Verification in Ciruit Design.
8. A Tutorial on LARCH and LCL, A LARCH/C Interface Language.
9. Using Transformations and Verification in Circuit Design.
10. Debugging Larch Shared Language Specifications.
11. The work of ACM's awards committee.
12. Coincidental risks.
13. Risks of linear thinking.
14. Learning from experience.
15. Issues and Observations.
16. Combining Algebraic and Predicative Specifications in Larch.
17. An Introduction to the Larch Shared Language.
18. A Proof Rule for Euclid Procedures.
19. Structuring Compiler Development.
20. LR Grammars and Analysers.
21. What the Compiler Should Tell the User.
22. FP with data abstraction and strong typing.
23. Synchronization Primitives for a Multiprocessor: A Formal Specification.
24. The impact of language design on the production of reliable software.
25. Notes on the Design of Euclid.
26. Verification of Euclid Programs.
27. A Case Study in Language Design: Euclid.
28. Programming Languages for Reliable Computing Systems.
29. Proof Rules for the Programming Language Euclid.
30. Formal Specification as a Design Tool.
31. Project SUE as a learning experience.
32. The XPL compiler generator system.
33. The System Language for Project SUE.
34. Reflections on a language designed to write an operating system.
35. A program structure for error detection and recovery.
36. A Procedure for Grammatical Inference.
37. An LALR(k) Parser Generator.
38. Some Desirable Properties of Data Abstraction Facilities.
39. Yes! high level languages should be used to write systems software.
40. Report on the programming language Euclid.
41. Abstracts in software engineering.
42. The Larch Family of Specification Languages.
43. The Algebraic Specification of Abstract Data Types.
44. Language Design for Programming Reliability.
45. Software Hut: A Computer Program Engineering Project in the Form of a Game.
46. Report on the Larch Shared Language.
47. Some Notes on Putting Formal Specifications to Productive Use.
48. A Larch Shared Language Handbook.
49. Empirical comparison of LR(k) and precedence parsers.
50. Efficient LR(1) Parsers.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.