Search

Your search keyword '"Pearce, David J."' showing total 34 results

Search Constraints

Start Over You searched for: Author "Pearce, David J." Remove constraint Author: "Pearce, David J." Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
34 results on '"Pearce, David J."'

Search Results

1. Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny

2. On the Termination of Borrow Checking in Featherweight Rust

3. An Introduction to Software Verification with Whiley

4. Making Whiley Boogie!

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

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