Sciweavers

10871 search results - page 179 / 2175
» A stable programming language
Sort
View
TOOLS
2010
IEEE
14 years 3 months ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...
ECOOP
2010
Springer
14 years 3 months ago
Falling Back on Executable Specifications
Hesam Samimi, Ei Darli Aung, Todd D. Millstein
ICALP
2010
Springer
14 years 3 months ago
Tell Me Where I Am So I Can Meet You Sooner
Andrew Collins, Jurek Czyzowicz, Leszek Gasieniec,...
ICALP
2010
Springer
14 years 3 months ago
Online Network Design with Outliers
Aris Anagnostopoulos, Fabrizio Grandoni, Stefano L...
ICALP
2010
Springer
14 years 3 months ago
Pebble Weighted Automata and Transitive Closure Logics
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...