34 results on '"Pearce, David J."'
Search Results
2. On the Termination of Borrow Checking in Featherweight Rust
3. An Introduction to Software Verification with Whiley
4. Making Whiley Boogie!
5. Reflections on Verifying Software with Whiley
6. Sound and Complete Flow Typing with Unions, Intersections and Negations
7. Profiling Field Initialisation in Java
8. Whiley: A Platform for Research in Software Verification
9. JPure: A Modular Purity System for Java
10. Understanding the Impact of Collection Contracts on Design
11. Java Bytecode Verification for @NonNull Types
12. Efficient Object Querying for Java
13. Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs
14. A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs
15. GILK: A Dynamic Instrumentation Tool for the Linux Kernel
16. A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
17. Evaluating the Usability of a Visual Feature Modeling Notation
18. A Metamodel Family for Role-Based Modeling and Programming Languages
19. Bounded Seas : — Island Parsing Without Shipwrecks
20. Test-Data Generation for Xtext : Tool Paper
21. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
22. Towards User-Friendly Projectional Editors
23. The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers
24. ProMoBox: A Framework for Generating Domain-Specific Property Languages
25. Eco: A Language Composition Editor
26. Origin Tracking in Attribute Grammars
27. Respect Your Parents: How Attribution and Rewriting Can Get Along
28. Streamlining Control Flow Graph Construction with DCFlow
29. Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation
30. Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle
31. fUML as an Assembly Language for Model Transformation
32. Dynamic Scope Discovery for Model Transformations
33. Model Checking of CTL-Extended OCL Specifications
34. Monto: A Disintegrated Development Environment
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.