Sciweavers

10585 search results - page 4 / 2117

» The Orc Programming Language

251

Voted

IFIP
2011
Springer

281views Programming Languages» more IFIP 2011»

Autonomous Planning Framework for Distributed Multiagent Robotic Systems

14 years 9 months ago

Autonomous Planning Framework for Distributed Multiagent Robotic Systems

Download crosbi.znanstvenici.hr

Marko Svaco, Bojan Sekoranja, Bojan Jerbic

claim paper

Read More »

204

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

14 years 8 months ago

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

125

Voted

PLDI
2011
ACM

187views Programming Languages» more PLDI 2011»

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

14 years 8 months ago

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

Download www.antlr.org

Terence Parr, Kathleen Fisher

claim paper

Read More »

140

Voted

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

14 years 8 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 »

136

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 8 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 »

« Prev « First page 4 / 2117 Last » Next »