Sciweavers

10666 search results - page 143 / 2134

» Quantum programming languages

25

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

13 years 1 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 »

26

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

13 years 1 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 »

33

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

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

13 years 1 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 »

35

POPL
2011
ACM

191views Programming Languages» more POPL 2011»

Learning minimal abstractions

13 years 1 months ago

Learning minimal abstractions

Download www.cs.tau.ac.il

Percy Liang, Omer Tripp, Mayur Naik

claim paper

Read More »

20

POPL
2012
ACM

265views Programming Languages» more POPL 2012»

On the power of coercion abstraction

12 years 5 months ago

On the power of coercion abstraction

Download gallium.inria.fr

Julien Cretin, Didier Rémy

claim paper

Read More »

« Prev « First page 143 / 2134 Last » Next »