2 citations
Showing 2009Show all
3 papers · 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…
cs.LO2009
Deriving SN from PSN: a general proof technique
Emmanuel Polonowski
In the framework of explicit substitutions there is two termination properties: preservation of strong normalization (PSN), and strong normalization (SN). Since there are not easil…
cs.CC2009★ 2 cited
New Choice for Small Universal Devices: Symport/Antiport P Systems
Sergey Verlan, Yurii Rogozhin
Symport/antiport P systems provide a very simple machinery inspired by corresponding operations in the living cell. It turns out that systems of small descriptional complexity are…