Search Sciweavers | Sciweavers

10935 search results - page 38 / 2187

» Neural Programming Language

133

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 »

123

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 »

129

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 »

133

Voted

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 »

127

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