Search Sciweavers | Sciweavers

10585 search results - page 45 / 2117

» The Orc Programming Language

101

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 8 months ago

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers