Sciweavers

10585 search results - page 109 / 2117

» The Orc Programming Language

20

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

14 years 22 days ago

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

16

ECOOP
2006
Springer

84views Programming Languages» more ECOOP 2006»

14 years 17 days ago

Download userweb.cs.utexas.edu

William R. Cook

claim paper

Read More »

24

ECOOP
2006
Springer

94views Programming Languages» more ECOOP 2006»

The Closing of the Frontier

14 years 17 days ago

The Closing of the Frontier

Download www.sas.upenn.edu

Ralph E. Johnson

claim paper

Read More »

18

ECOOP
2006
Springer

118views Programming Languages» more ECOOP 2006»

The Continuing Quest for Abstraction

14 years 17 days ago

The Continuing Quest for Abstraction

Download web.media.mit.edu

Henry Lieberman

claim paper

Read More »

22

ECOOP
2006
Springer

95views Programming Languages» more ECOOP 2006»

An Aspect-Aware Outline Viewer

14 years 17 days ago

An Aspect-Aware Outline Viewer

Download www.csg.is.titech.ac.jp

Michihiro Horie, Shigeru Chiba

claim paper

Read More »

« Prev « First page 109 / 2117 Last » Next »