Search Sciweavers | Sciweavers

10871 search results - page 179 / 2175

» A stable programming language

click to vote

TOOLS
2010
IEEE

103views Programming Languages» more TOOLS 2010»

Reasoning about Function Objects

14 years 3 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

click to vote

ECOOP
2010
Springer

156views Programming Languages» more ECOOP 2010»

Falling Back on Executable Specifications

14 years 3 months ago

Download www.cs.ucla.edu

Hesam Samimi, Ei Darli Aung, Todd D. Millstein

claim paper

Read More »

click to vote

ICALP
2010
Springer

132views Programming Languages» more ICALP 2010»

Tell Me Where I Am So I Can Meet You Sooner

14 years 3 months ago

Download www.cs.bris.ac.uk

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

claim paper

Read More »

click to vote

ICALP
2010
Springer

94views Programming Languages» more ICALP 2010»

Online Network Design with Outliers

14 years 3 months ago

Download www.cs.brown.edu

Aris Anagnostopoulos, Fabrizio Grandoni, Stefano L...

claim paper

Read More »

click to vote

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers