Sciweavers

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