A Pushdown Machine for Recursive XML Processing
Abstract elided by the publisher.
613 papers · page 23 of 31
Event Driven Software Quality
Abstract elided by the publisher.
A Modal Language for the Safety of Mobile Values
Abstract elided by the publisher.
Comparing Completeness Properties of Static Analyses and Their Logics
Abstract elided by the publisher.
Widening Polyhedra with Landmarks
Abstract elided by the publisher.
Type Processing by Constraint Reasoning
Abstract elided by the publisher.
Principal Type Inference for GHC-Style Multi-parameter Type Classes
Abstract elided by the publisher.
Combining Offline and Online Optimizations: Register Allocation and Method Inlining
Abstract elided by the publisher.
Calculating Polynomial Runtime Properties
Abstract elided by the publisher.
A Typed, Compositional Logic for a Stack-Based Abstract Machine
Abstract elided by the publisher.
Symbolic Execution with Separation Logic
Abstract elided by the publisher.
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
Abstract elided by the publisher.
Race Conditions in Message Sequence Charts
Abstract elided by the publisher.
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Abstract elided by the publisher.
Resource Bound Certification for a Tail-Recursive Virtual Machine
Abstract elided by the publisher.
A Parametric Model for the Analysis of Mobile Ambients
Abstract elided by the publisher.
A New Occurrence Counting Analysis for BioAmbients
Abstract elided by the publisher.
A Simple Semantics for Polymorphic Recursion
Abstract elided by the publisher.
Type Systems for XML
Abstract elided by the publisher.
Lightweight Family Polymorphism
Abstract elided by the publisher.