25 results on '"Patrick Lincoln"'
Search Results
2. Metaprogramming Applications.
3. Introduction.
4. Complete List of Maude Commands.
5. Core Maude Grammar.
6. Full Maude: Extending Core Maude.
7. Object-Oriented Modules.
8. System Modules.
9. User Interfaces and Metalanguage Applications.
10. Mobile Maude.
11. A Sampler of Application Areas.
12. Object-Based Programming.
13. Debugging and Troubleshooting.
14. Using Maude.
15. Model Checking Invariants Through Search.
16. Some Tools.
17. A Hierarchy of Data Types: From Trees to Sets.
18. Reflection, Metalevel Computation, and Strategies.
19. Syntax and Basic Parsing.
20. Module Operations.
21. LTL Model Checking.
22. Predefined Data Modules.
23. Functional Modules.
24. Playing with Maude.
25. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.