Holger Gast

13 papers B 1C 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2012 J jnl
Semi-automatic Proofs about Object Graphs in Separation Logic.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Holger Gast
2011 C conf
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm.
ICFEM
Holger Gast
2011 — conf
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms.
SSV
Holger Gast
2010 — conf
A Developer-oriented Hoare Logic.
PSPL@LICS
Holger Gast
2010 — conf
Engineering the Prover Interface.
UITP
Holger Gast
2010 J jnl
Reasoning about memory layouts.
Formal Methods Syst. Des.
Holger Gast
2009 J jnl
High-level Proofs about Low-level Programs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Holger Gast, Julia Trieflinger
2009 B conf
Reasoning about Memory Layouts.
FM
Holger Gast
2008 — conf
Lightweight Separation.
TPHOLs
Holger Gast
2008 — conf
Managing Proof Documents for Asynchronous Processing.
UITP@TPHOLs
Holger Gast
2008 — conf
Patterns and traceability in teaching software architecture.
PPPJ
Holger Gast
2004 — —
A generator for type checkers.
Holger Gast
2004 — conf
Explaining ML Type Errors by Data Flows.
IFL
Holger Gast