Search Sciweavers | Sciweavers

12452 search results - page 68 / 2491

» An exploration of program as language

132

click to vote

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 12 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

122

click to vote

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 12 months ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

127

click to vote

ESOP
2005
Springer

121views Programming Languages» more ESOP 2005»

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

15 years 12 months ago

Download www-verimag.imag.fr

Romain Janvier, Yassine Lakhnech, Laurent Mazar&ea...

claim paper

Read More »

131

click to vote

PADL
2005
Springer

108views Programming Languages» more PADL 2005»

Code Compression

15 years 12 months ago

Download www.cs.ucsb.edu

Saumya K. Debray

claim paper

Read More »

126

click to vote

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers