Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter Schrammel
Model and Proof Generation for Heap-Manipulating Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Numeric Abstractions for Heap-Manipulating Programs
Multiple Pre/Post Specifications for Heap-Manipulating Methods
A CLP Heap Solver for Test Case Generation
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs
Software - Practice and Experience
Software
Memory System Performance of Programs With Intensive Heap Allocation
ACM Transactions on Computer Systems
Computer Science
An Integrated Proof Language for Imperative Programs
ACM SIGPLAN Notices
Computer Science
Analyzing Array Manipulating Programs by Program Transformation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Directed Proof Generation for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Knowledge Representation in a Proof Checker for Logic Programs
