Sciweavers

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