Search Sciweavers | Sciweavers

10575 search results - page 205 / 2115

» T2Script Programming Language

208

Voted

PADL
2009
Springer

98views Programming Languages» more PADL 2009»

On Preferring and Inspecting Abductive Models

16 years 4 months ago

Download www.software.imdea.org

Gonçalo Lopes, Luís Moniz Pereira, P...

claim paper

Read More »

214

click to vote

ECOOP
2009
Springer

111views Programming Languages» more ECOOP 2009»

Adding State and Visibility Control to Traits Using Lexical Nesting

16 years 4 months ago

Download prog.vub.ac.be

Tom Van Cutsem, Alexandre Bergel, Stéphane ...

claim paper

Read More »

214

Voted

ASPLOS
2009
ACM

171views Programming Languages» more ASPLOS 2009»

Architecture-aware optimization targeting multithreaded stream computing

16 years 4 months ago

Download www.ece.neu.edu

Byunghyun Jang, Synho Do, Homer H. Pien, David R. ...

claim paper

Read More »

195

click to vote

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

16 years 3 months ago

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

201

Voted

POPL
2007
ACM

101views Programming Languages» more POPL 2007»

A semantics-based approach to malware detection

16 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers