Sciweavers

10622 search results - page 172 / 2125
» Python Programming Language
Sort
View
PLDI
2003
ACM
15 years 8 months ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí...
TOOLS
2010
IEEE
15 years 8 months ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...
ECOOP
2010
Springer
15 years 7 months ago
Falling Back on Executable Specifications
Hesam Samimi, Ei Darli Aung, Todd D. Millstein
92
Voted
ICALP
2010
Springer
15 years 7 months ago
Tell Me Where I Am So I Can Meet You Sooner
Andrew Collins, Jurek Czyzowicz, Leszek Gasieniec,...
68
Voted
ICALP
2010
Springer
15 years 7 months ago
Online Network Design with Outliers
Aris Anagnostopoulos, Fabrizio Grandoni, Stefano L...