Sciweavers

10585 search results - page 153 / 2117

» The Orc Programming Language

67

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

14 years 9 months ago

Operational semantics for multi-language programs

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

30

ICFP
2005
ACM

93views Programming Languages» more ICFP 2005»

A language-based approach to functionally correct imperative programming

14 years 9 months ago

A language-based approach to functionally correct imperative programming

Download www.cs.rice.edu

Edwin M. Westbrook, Aaron Stump, Ian Wehrman

claim paper

Read More »

22

PPDP
2009
Springer

140views Programming Languages» more PPDP 2009»

Alternation as a programming paradigm

14 years 3 months ago

Alternation as a programming paradigm

Download www.dbai.tuwien.ac.at

Wolfgang Dvorák, Georg Gottlob, Reinhard Pi...

claim paper

Read More »

24

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

A serializability violation detector for shared-memory server programs

14 years 2 months ago

A serializability violation detector for shared-memory server programs

Download www.cs.wisc.edu

Min Xu, Rastislav Bodík, Mark D. Hill

claim paper

Read More »

20

TOOLS
2010
IEEE

107views Programming Languages» more TOOLS 2010»

Domain-Specific Program Checking

14 years 2 months ago

Domain-Specific Program Checking

Download scg.unibe.ch

Lukas Renggli, Stéphane Ducasse, Tudor G&ic...

claim paper

Read More »

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