Search Sciweavers | Sciweavers

10666 search results - page 50 / 2134

» Quantum programming languages

149

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

16 years 14 days ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

133

Voted

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

16 years 14 days ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

138

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

16 years 14 days ago

Download www-verimag.imag.fr

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

claim paper

Read More »

144

Voted

PADL
2005
Springer

108views Programming Languages» more PADL 2005»

Code Compression

16 years 13 days ago

Download www.cs.ucsb.edu

Saumya K. Debray

claim paper

Read More »

142

click to vote

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers