Holger Gast

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Labor Intensive

Wrapper Generation

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Electron. Notes Theor. Comput. Sci.

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Holger Gast
Semi-automatic Proofs about Object Graphs in Separation Logic. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Holger Gast
Engineering the Prover Interface. Electron. Notes Theor. Comput. Sci. 285 (2012)
Holger Gast
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms. SSV (2011)
Holger Gast
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. ICFEM (2011)
Holger Gast
A Developer-oriented Hoare Logic. PSPL@LICS (2010)
Holger Gast
Reasoning about memory layouts. Formal Methods Syst. Des. 37 (2-3) (2010)
Holger Gast
Managing Proof Documents for Asynchronous Processing. Electron. Notes Theor. Comput. Sci. 226 (2009)
Holger Gast
Reasoning about Memory Layouts. FM (2009)
Holger Gast, Julia Trieflinger
High-level Proofs about Low-level Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Holger Gast
Patterns and traceability in teaching software architecture. PPPJ (2008)
Holger Gast
Lightweight Separation. TPHOLs (2008)
Holger Gast
Explaining ML Type Errors by Data Flows. IFL (2004)