17 results on '"Pearce, David J."'
Search Results
2. Putting the semantics into semantic versioning
3. Towards compilation of an imperative language for FPGAs
4. Rewriting for sound and complete union, intersection and negation types
5. Array programming in Whiley
6. A Mechanical Soundness Proof for Subtyping Over Recursive Types
7. Comparing Graph Layouts for Vertex Selection Tasks
8. Some usability hypotheses for verification
9. The whiley rewrite language (WyRL)
10. A calculus for constraint-based flow typing
11. Patterns as objects in grace
12. Implementing relationships using Affinity
13. Caching and incrementalisation in the java query language
14. Patterns for ADT optimisation
15. Visualizing the computation tree of the Tutte Polynomial
16. Relationship aspects
17. Efficient field-sensitive pointer analysis for C
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.