最 低 价：￥366.40
| Invited Paper Type Checking Systems Code Typing and Modularity Mixin Modules in a Call-by-Value Setting Existential Types for Imperative Languages Another Type System for In-Place Update Programming Paradigms Soft Concurrent Constraint Programming Programming Languages for Compressing Graphics An Accumulative Parallel Skeleton for All Higher-Order Intensional Type Analysis Lambda Calculus Branching Types Exceptions，Continuations and Macro-expressiveness A Theory of Second-Order Trees Program Analysis：Applications Tool Support for Improving Test Coverage Data Space Oriented Tiling Propagation of Roundoff Errors in Finite Precision Computations：A Se-mantics Approach Asserting the Precision of Floating-Point Computations：A Simple Ab-stract Interpreter（demo paper） Program Analysis：Principles A Modular，Extensible Proof Method for Small-Step Flow Analyses A Prototype Dependency Calculus Automatic Complexity Analysis Distributed Programs：Verification and Analysis Thread-Modular Verification for Shared-Memory Programs Timing UDP：Mechanized Semantics for Sockets, Threads and Failures Finite-Control Mobile Ambients Dependency Analysis of Mobile Systems Author Index |
内容加载中，请稍后...
商品评论（0条）