Search Sciweavers | Sciweavers

10622 search results - page 49 / 2125

» Python Programming Language

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

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

click to vote

ASPLOS
2004
ACM

91views Programming Languages» more ASPLOS 2004»

Locality phase prediction

15 years 3 months ago

Download www.cs.wm.edu

Xipeng Shen, Yutao Zhong, Chen Ding

claim paper

Read More »

click to vote

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers