Search Sciweavers | Sciweavers

10666 search results - page 50 / 2134

» Quantum programming languages

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

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

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

Download www-verimag.imag.fr

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

claim paper

Read More »

click to vote

PADL
2005
Springer

108views Programming Languages» more PADL 2005»

Code Compression

15 years 8 months ago

Download www.cs.ucsb.edu

Saumya K. Debray

claim paper

Read More »

click to vote

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers