Showing 1 - 20 results of 20 for search 'OBJECT ORIENTED PROGRAMMING', query time: 1.14s Refine Results
  1. 1
    Automatic extraction of heap reference properties in object-oriented programs
    by Demsky, Brian, Rinard, Martin C.
    Published 2010
    Get fulltext
    Article
  2. 2
    Data-driven synthesis for object-oriented frameworks
    Get fulltext
    Article
  3. 3
    Programming with enumerable sets of structures
    Get fulltext
    Article
  4. 4
    Parallelizing Sequential Programs with Statistical Accuracy Tests
    Get fulltext
    Article
  5. 5
    StreamJIT: A Commensal Compiler for High-Performance Stream Programming
    Get fulltext
    Article
  6. 6
    Verifying quantitative reliability for programs that execute on unreliable hardware
    Get fulltext
    Article
  7. 7
    Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
    Get fulltext
    Article
  8. 8
    αRby-An Embedding of Alloy in Ruby
    Get fulltext
    Article
  9. 9
    Agile specifications
    Get fulltext
    Article
  10. 10
    Compiler verification meets cross-language linking via data abstraction
    Get fulltext
    Article
  11. 11
    Unifying Execution of Imperative and Declarative Code
    Get fulltext
    Article
  12. 12
    Patterns and statistical analysis for understanding reduced resource computing
    Get fulltext
    Article
  13. 13
    Purposes, concepts, misfits, and a redesign of git
    Get fulltext
    Article
  14. 14
    Approximate computation with outlier detection in Topaz
    by Rinard, Martin C, Achour, Sara
    Published 2018
    Get fulltext
    Article
  15. 15
    Detecting and escaping infinite loops with jolt
    Get fulltext
    Article
  16. 16
    Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels
    Get fulltext
    Article
  17. 17
    Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions
    Get fulltext
    Article
  18. 18
    JSketch: Sketching for Java
    Get fulltext
    Article
  19. 19
    Structural optimization of 3D masonry buildings
    Get fulltext
    Article
  20. 20
    Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search