Emmanuel Polonowski
According to our database1,
Emmanuel Polonowski
authored at least 12 papers
between 2003 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
2012
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control.
J. Log. Algebraic Methods Program., 2012
2011
Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control
CoRR, 2011
2009
ACM Trans. Comput. Log., 2009
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables
CoRR, 2009
2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
2003