Sciweavers

10575 search results - page 135 / 2115

» T2Script Programming Language

255

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

16 years 7 months ago

Operational semantics for multi-language programs

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

172

Voted

ICFP
2005
ACM

93views Programming Languages» more ICFP 2005»

A language-based approach to functionally correct imperative programming

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

135

PPDP
2009
Springer

140views Programming Languages» more PPDP 2009»

Alternation as a programming paradigm

16 years 1 months ago

Alternation as a programming paradigm

Download www.dbai.tuwien.ac.at

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

claim paper

Read More »

143

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

A serializability violation detector for shared-memory server programs

16 years 8 days 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 »

128

TOOLS
2010
IEEE

107views Programming Languages» more TOOLS 2010»

Domain-Specific Program Checking

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