Sciweavers

7681 search results - page 68 / 1537

» Typed Membrane Systems

118

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 11 months ago

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

115

Voted

FCT
2005
Springer

82views Applied Computing» more FCT 2005»

A Type System for Computationally Secure Information Flow

15 years 11 months ago

A Type System for Computationally Secure Information Flow

Download www.cs.ut.ee

Peeter Laud, Varmo Vene

claim paper

Read More »

128

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

15 years 10 months ago

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

158

Voted

PADO
2001
Springer

145views Programming Languages» more PADO 2001»

Type Systems for Useless-Variable Elimination

15 years 10 months ago

Type Systems for Useless-Variable Elimination

Download www.springer.com

nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...

Adam Fischbach, John Hannan

claim paper

Read More »

121

POPL
1999
ACM

105views Programming Languages» more POPL 1999»

A Simple, Comprehensive Type System for Java Bytecode Subroutines

15 years 10 months ago

A Simple, Comprehensive Type System for Java Bytecode Subroutines

Download www.cs.cmu.edu

Robert O'Callahn

claim paper

Read More »

« Prev « First page 68 / 1537 Last » Next »