A Theory of Second-Order Trees
Abstract elided by the publisher.
976 papers · page 36 of 49
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
Abstract elided by the publisher.
Existential Types for Imperative Languages
Abstract elided by the publisher.
Mixin Modules in a Call-by-Value Setting
Abstract elided by the publisher.
Tool Support for Improving Test Coverage
Abstract elided by the publisher.
An Accumulative Parallel Skeleton for All
Abstract elided by the publisher.
Data Space Oriented Tiling
Abstract elided by the publisher.
Exceptions, Continuations and Macro-expressiveness
Abstract elided by the publisher.
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach
Abstract elided by the publisher.
Programming Languages for Compressing Graphics
Abstract elided by the publisher.
Type Checking Systems Code
Abstract elided by the publisher.
Automatic Complexity Analysis
Abstract elided by the publisher.
A Prototype Dependency Calculus
Abstract elided by the publisher.
A Modular, Extensible Proof Method for Small-Step Flow Analyses
Abstract elided by the publisher.
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures
Abstract elided by the publisher.
Higher-Order Intensional Type Analysis
Abstract elided by the publisher.
Branching Types
Abstract elided by the publisher.
What Are Polymorphically-Typed Ambients?
Abstract elided by the publisher.
Fusion on Languages
Abstract elided by the publisher.
A Formal Executable Semantics of the JavaCard Platform
Abstract elided by the publisher.