Sciweavers

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