Sciweavers

48 search results - page 1 / 10

» popl 2007

37

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Compositional dynamic test generation

14 years 4 months ago

Compositional dynamic test generation

Download research.microsoft.com

Patrice Godefroid

claim paper

Read More »

34

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

14 years 4 months ago

Operational semantics for multi-language programs

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

30

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

14 years 4 months ago

Secure implementations of typed channel abstractions

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

28

POPL
2007
ACM

97views Programming Languages» more POPL 2007»

First-class nonstandard interpretations by opening closures

14 years 4 months ago

First-class nonstandard interpretations by opening closures

Download www.bcl.hamilton.ie

Jeffrey Mark Siskind, Barak A. Pearlmutter

claim paper

Read More »

29

POPL
2007
ACM

101views Programming Languages» more POPL 2007»

A semantics-based approach to malware detection

14 years 4 months ago

A semantics-based approach to malware detection

Download pages.cs.wisc.edu

Mila Dalla Preda, Mihai Christodorescu, Somesh Jha...

claim paper

Read More »

« Prev « First page 1 / 10 Last » Next »