Amanote Research
Register
Sign In
Ranking Abstractions
doi 10.1007/978-3-540-78739-6_13
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Aziem Chawdhary
Byron Cook
Sumit Gulwani
Mooly Sagiv
Hongseok Yang
Publisher
Springer Berlin Heidelberg
Related search
Water Abstractions
Abstractions Before Proofs
Abstractions for Network Update
Cellular Abstractions: Cells as Computation
Nature
Multidisciplinary
Les Abstractions De l'Économie Globale
Abstractions for Mobile Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Introducing Abstractions via Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstractions and Idealizations in Normative Models
Siberian Journal of Philosophy
Abstractions for Distributed Systems (DPA 2008)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
