Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand - WAND - Document - PDFSEARCH.IO

First Page	Meta Content
	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Document Date: 2005-11-11 12:39:28 Open Document File Size: 163,08 KB Share Result on Facebook City Charleston / / Country United States / / Currency USD / / / Organization Northeastern University / / Person Mitchell Wand / / Position General / programmer / / ProvinceOrState South Carolina / / Technology Dom / / SocialTag Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science

Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell WandAdd to Reading List