Sciweavers

10575 search results - page 135 / 2115

» T2Script Programming Language

226

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

16 years 5 months ago

Operational semantics for multi-language programs

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

140

ICFP
2005
ACM

93views Programming Languages» more ICFP 2005»

A language-based approach to functionally correct imperative programming

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

109

PPDP
2009
Springer

140views Programming Languages» more PPDP 2009»

Alternation as a programming paradigm

15 years 11 months ago

Alternation as a programming paradigm

Download www.dbai.tuwien.ac.at

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

claim paper

Read More »

112

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

A serializability violation detector for shared-memory server programs

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

103

Voted

TOOLS
2010
IEEE

107views Programming Languages» more TOOLS 2010»

Domain-Specific Program Checking

15 years 9 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 135 / 2115 Last » Next »