Holger Gast

According to our database, Holger Gast authored at least 12 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2012

Semi-automatic Proofs about Object Graphs in Separation Logic.

Holger Gast

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

2011

Structuring Interactive Correctness Proofs by Formalizing Coding Idioms.

Holger Gast

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm.

Holger Gast

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Reasoning about memory layouts.

Holger Gast

Formal Methods Syst. Des., 2010

Engineering the Prover Interface.

Holger Gast

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

A Developer-oriented Hoare Logic.

Holger Gast

Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

2009

High-level Proofs about Low-level Programs.

Holger Gast, Julia Trieflinger

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

2008

Managing Proof Documents for Asynchronous Processing.

Holger Gast

Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008

Lightweight Separation.

Holger Gast

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Patterns and traceability in teaching software architecture.

Holger Gast

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

2004

A generator for type checkers.

Holger Gast

PhD thesis, 2004

Explaining ML Type Errors by Data Flows.

Holger Gast

Proceedings of the Implementation and Application of Functional Languages, 2004