Sciweavers

10575 search results - page 121 / 2115

» T2Script Programming Language

107

PLDI
2011
ACM

187views Programming Languages» more PLDI 2011»

LL(*): the foundation of the ANTLR parser generator

14 years 7 months ago

LL(*): the foundation of the ANTLR parser generator

Download www.antlr.org

Terence Parr, Kathleen Fisher

claim paper

Read More »

117

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 7 months ago

Partial-coherence abstractions for relaxed memory models

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

claim paper

Read More »

119

Voted

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 7 months ago

Predicate abstraction and CEGAR for higher-order model checking

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

126

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

14 years 7 months ago

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

Download faculty.ist.psu.edu

Qiang Zeng, Dinghao Wu, Peng Liu

claim paper

Read More »

122

Voted

POPL
2011
ACM

191views Programming Languages» more POPL 2011»

Learning minimal abstractions

14 years 7 months ago

Learning minimal abstractions

Download www.cs.tau.ac.il

Percy Liang, Omer Tripp, Mayur Naik

claim paper

Read More »

« Prev « First page 121 / 2115 Last » Next »