Search Sciweavers | Sciweavers

10935 search results - page 38 / 2187

» Neural Programming Language

105

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

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

click to vote

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 10 months ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

107

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

Download www-verimag.imag.fr

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

claim paper

Read More »

110

click to vote

PADL
2005
Springer

108views Programming Languages» more PADL 2005»

Code Compression

15 years 10 months ago

Download www.cs.ucsb.edu

Saumya K. Debray

claim paper

Read More »

108

Voted

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers