A decidable class of verification conditions for programs with higher order store (2009)
Attributed to:
From Reasoning Principles for Function Pointers To Logics for Self-Configuring Programs
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://journal.ub.tu-berlin.de/eceasst/article/view/318/303
Type: Journal Article/Review
Volume: 23
Parent Publication: Electronic Communications of the EASST