Sciweavers

10871 search results - page 163 / 2175

» A stable programming language

206

Voted

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

16 years 3 months ago

Operational semantics for multi-language programs

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

125

ICFP
2005
ACM

93views Programming Languages» more ICFP 2005»

A language-based approach to functionally correct imperative programming

16 years 2 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 »

90

PPDP
2009
Springer

140views Programming Languages» more PPDP 2009»

Alternation as a programming paradigm

15 years 9 months ago

Alternation as a programming paradigm

Download www.dbai.tuwien.ac.at

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

claim paper

Read More »

98

Voted

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

A serializability violation detector for shared-memory server programs

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

90

Voted

TOOLS
2010
IEEE

107views Programming Languages» more TOOLS 2010»

Domain-Specific Program Checking

15 years 7 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 163 / 2175 Last » Next »