PROCOMET 1998 | Sciweavers

45

PROCOMET
1998

104views Programming Languages» more PROCOMET 1998»

14 years 4 months ago

We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...

Michele Boreale, Cédric Fournet, Cosimo Lan...

claim paper

Read More »

44

click to vote

PROCOMET
1998

116views Programming Languages» more PROCOMET 1998»

Extended static checking

14 years 4 months ago

Download www.hpl.hp.com

Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...

K. Rustan M. Leino

claim paper

Read More »

33

click to vote

PROCOMET
1998

113views Programming Languages» more PROCOMET 1998»

Imperative objects and mobile processes

14 years 4 months ago

Download www.brics.dk

Josva Kleist, Davide Sangiorgi

claim paper

Read More »

66

click to vote

PROCOMET
1998

121views Programming Languages» more PROCOMET 1998»

An extension of the program derivation format

14 years 4 months ago

Download www.open.ou.nl

A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.

A. J. M. van Gasteren, A. Bijlsma

claim paper

Read More »

39

click to vote

PROCOMET
1998

114views Programming Languages» more PROCOMET 1998»

Types for trees

14 years 4 months ago

Download www.doc.ic.ac.uk

We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B

Franco Barbanera, Mariangiola Dezani-Ciancaglini, ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers