activity
20092017
most citedA program logic for higher-order procedural variables and non-local jumps

6 citations · 9 across the 6 of their papers we have counts for

collaborators
Showing 2009Show all

1 paper · 1 filter

cs.LO2009

A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables

Tristan Crolard, Emmanuel Polonowski

We formally specified the type system and operational semantics of LOOPw with Ott and Isabelle/HOL proof assistant. Moreover, both the type system and the semantics of LOOPw have b…