Sciweavers

10871 search results - page 204 / 2175
» A stable programming language
Sort
View
112
Voted
IFIP
2010
Springer
14 years 10 months ago
Supporting Software Services Discovery and Sharing in Collaborative Networks
Alexandre Perin-Souza, Ricardo J. Rabelo
132
Voted
IFIP
2010
Springer
14 years 10 months ago
Security Analysis of the MPLS Label Distribution Protocol
Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...
137
Voted
ESOP
2011
Springer
14 years 7 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
135
Voted
ESOP
2011
Springer
14 years 7 months ago
Linear Absolute Value Relation Analysis
Liqian Chen, Antoine Miné, Ji Wang, Patrick...
112
Voted
PLDI
2011
ACM
14 years 6 months ago
LeakChaser: helping programmers narrow down causes of memory leaks
Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Ata...