Search Sciweavers | Sciweavers

12452 search results - page 214 / 2491

» An exploration of program as language

152

click to vote

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

16 years 14 days ago

Download chess.eecs.berkeley.edu

Glenn Ammons, David Mandelin, Rastislav Bodí...

claim paper

Read More »

139

Voted

TOOLS
2010
IEEE

103views Programming Languages» more TOOLS 2010»

Reasoning about Function Objects

16 years 9 days ago

Download www.doc.ic.ac.uk

Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...

claim paper

Read More »

139

click to vote

ECOOP
2010
Springer

156views Programming Languages» more ECOOP 2010»

Falling Back on Executable Specifications

16 years 1 days ago

Download www.cs.ucla.edu

Hesam Samimi, Ei Darli Aung, Todd D. Millstein

claim paper

Read More »

141

Voted

ICALP
2010
Springer

132views Programming Languages» more ICALP 2010»

Tell Me Where I Am So I Can Meet You Sooner

16 years 1 days ago

Download www.cs.bris.ac.uk

Andrew Collins, Jurek Czyzowicz, Leszek Gasieniec,...

claim paper

Read More »

114

click to vote

ICALP
2010
Springer

94views Programming Languages» more ICALP 2010»

Online Network Design with Outliers

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers