Search Sciweavers | Sciweavers

8

FMOODS
2007

97views Formal Methods» more FMOODS 2007»

13 years 6 months ago

The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are speciﬁed via an abstract machine. An important property of any ...

Philippe Bidinger, Adriana B. Compagnoni

claim paper

Read More »

39

click to vote

POPL
2001
ACM

102views Programming Languages» more POPL 2001»

Nomadic pict: correct communication infrastructure for mobile computation

14 years 5 months ago

Download www.cl.cam.ac.uk

This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...

Asis Unyapoth, Peter Sewell

claim paper

Read More »

13

click to vote

TOPLAS
2010

101views more TOPLAS 2010»

Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation

13 years 3 months ago

Download www.cs.put.poznan.pl

Pict project. We deﬁne two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...

Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...

claim paper

Read More »

16

click to vote

LICS
2008
IEEE

148views Automated Reasoning» more LICS 2008»

Correctness of Multiplicative Additive Proof Structures is NL-Complete

13 years 11 months ago

Download www-lipn.univ-paris13.fr

We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...

Paulin Jacobé de Naurois, Virgile Mogbil

claim paper

Read More »

11

click to vote

CGO
2009
IEEE

116views Software Engineering» more CGO 2009»

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency

13 years 11 months ago

Download perso.ens-lyon.fr

Benoit Boissinot, Alain Darte, Fabrice Rastello, B...

claim paper