Programming Languages

50

PROCOMET
1998

104views Programming Languages» more PROCOMET 1998»

14 years 6 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 »

54

click to vote

PROCOMET
1998

116views Programming Languages» more PROCOMET 1998»

Extended static checking

14 years 6 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 »

46

click to vote

DSL
1997

85views Programming Languages» more DSL 1997»

Experience with a Domain Specific Language for Form-based Services

14 years 6 months ago

Download www.usenix.org

David L. Atkins, Thomas Ball, Michael Benedikt, Gl...

claim paper

Read More »

40

click to vote

DSL
1997

102views Programming Languages» more DSL 1997»

A Modular Monadic Action Semantics

14 years 6 months ago

Download www.usenix.org

Keith Wansbrough, John Hamer

claim paper

Read More »

52

click to vote

DSL
1997

90views Programming Languages» more DSL 1997»

The Zephyr Abstract Syntax Description Language

14 years 6 months ago

Download www.usenix.org

Daniel C. Wang, Andrew W. Appel, Jeffrey L. Korn, ...

claim paper

Read More »

39

click to vote

DSL
1997

73views Programming Languages» more DSL 1997»

A Domain Specific Language for Video Device Drivers: From Design to Implementation

14 years 6 months ago

Download www.usenix.org

Scott Thibault, Renaud Marlet, Charles Consel

claim paper

Read More »

47

click to vote

DSL
1997

93views Programming Languages» more DSL 1997»

Code Composition as an Implementation Language for Compilers

14 years 6 months ago

Download www.usenix.org

James M. Stichnoth, Thomas R. Gross

claim paper

Read More »

38

click to vote

PROCOMET
1998

113views Programming Languages» more PROCOMET 1998»

Imperative objects and mobile processes

14 years 6 months ago

Download www.brics.dk

Josva Kleist, Davide Sangiorgi

claim paper

Read More »

41

click to vote

DSL
1997

94views Programming Languages» more DSL 1997»

Lightweight Languages as Software Engineering Tools

14 years 6 months ago

Download www.spinellis.gr

Diomidis Spinellis, V. Guruprasad

claim paper

Read More »

48

click to vote

DSL
1997

85views Programming Languages» more DSL 1997»

DiSTiL: A Transformation Library for Data Structures

14 years 6 months ago

Download www.cs.umass.edu

DiSTiL is a software generator that implements a declarative domain-speciﬁc language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...

Yannis Smaragdakis, Don S. Batory

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers