History Effects and Verification
Abstract elided by the publisher.
613 papers · page 26 of 31
Concurrency Combinators for Declarative Synchronization
Abstract elided by the publisher.
PType System: A Featherweight Parallelizability Detector
Abstract elided by the publisher.
Exploiting Java Objects Behavior for Memory Management and Optimizations
Abstract elided by the publisher.
A Differential Fixpoint Evaluation Framework for Non-distributive Systems
Abstract elided by the publisher.
Affine-Based Size-Change Termination
Abstract elided by the publisher.
The Semantic Layers of Timber
Abstract elided by the publisher.
Observing Asymmetry and Mismatch
Abstract elided by the publisher.
Extensional Polymorphism by Flow Graph Dispatching
Abstract elided by the publisher.
Term Graph Rewriting for the pi-Calculus
Abstract elided by the publisher.
Controlling and Optimizing the Usage of One Resource
Abstract elided by the publisher.
A Program Inverter for a Functional Language with Equality and Constructors
Abstract elided by the publisher.
Model Checking: From Hardware to Software
Abstract elided by the publisher.
Continutation Semantics for Parallel Haskell Dialects
Abstract elided by the publisher.
Constraint Functional Logic Programming for Origami Construction
Abstract elided by the publisher.
Scrap Your Boilerplate
Abstract elided by the publisher.
Register Allocation Based on a Reference Flow Analysis
Abstract elided by the publisher.
Useless Code Elimination and Programm Slicing for the Pi-Calculus
Abstract elided by the publisher.
Translating a Continuous-Time Temporal Logic into Timed Automata
Abstract elided by the publisher.
Expressive Synchronization Types for Inheritance in the Join Calculus
Abstract elided by the publisher.