Sciweavers

10871 search results - page 204 / 2175
» A stable programming language
Sort
View
124
Voted
IFIP
2010
Springer
14 years 9 months ago
Security Analysis of the MPLS Label Distribution Protocol
Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...
ESOP
2011
Springer
14 years 6 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
ESOP
2011
Springer
14 years 6 months ago
Linear Absolute Value Relation Analysis
Liqian Chen, Antoine Miné, Ji Wang, Patrick...
100
Voted
PLDI
2011
ACM
14 years 5 months ago
LeakChaser: helping programmers narrow down causes of memory leaks
Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Ata...