Programming Languages and Systems: 32nd European Symposium on Programming, ESOP
52,90 €
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. - Adversarial Reachability for Program-level Security Analysis. - Builtin Types viewed as Inductive Families. - Pragmatic Gradual Polymorphism with References.
Jetzt bei Ebay:
