Sciweavers

10585 search results - page 4 / 2117

» The Orc Programming Language

58

IFIP
2011
Springer

281views Programming Languages» more IFIP 2011»

Autonomous Planning Framework for Distributed Multiagent Robotic Systems

12 years 11 months ago

Autonomous Planning Framework for Distributed Multiagent Robotic Systems

Download crosbi.znanstvenici.hr

Marko Svaco, Bojan Sekoranja, Bojan Jerbic

claim paper

Read More »

37

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

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

12 years 10 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 »

25

PLDI
2011
ACM

187views Programming Languages» more PLDI 2011»

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

12 years 10 months ago

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

Download www.antlr.org

Terence Parr, Kathleen Fisher

claim paper

Read More »

20

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

12 years 10 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 »

22

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

12 years 10 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 »