Sciweavers

Share
ENTCS
2002
62views more  ENTCS 2002»
8 years 8 months ago
Model Checking Games
Erich Grädel
ENTCS
2002
110views more  ENTCS 2002»
8 years 8 months ago
Uniform Solution of Parity Games on Prefix-Recognizable Graphs
Walukiewicz gave in 1996 a solution for parity games on pushdown graphs: he proved the existence of pushdown strategies and determined the winner with an EXPTIME procedure. We giv...
Thierry Cachat
ENTCS
2002
136views more  ENTCS 2002»
8 years 8 months ago
Comparing Calculi of Explicit Substitutions with Eta-reduction
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
Mauricio Ayala-Rincón, Flávio L. C. ...
ENTCS
2002
121views more  ENTCS 2002»
8 years 8 months ago
Regular Expression Types for Strings in a Text Processing Language
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
ENTCS
2002
92views more  ENTCS 2002»
8 years 8 months ago
The Relevance of Semantic Subtyping
We compare Meyer and Routley's minimal relevant logic B+ with the recent semanticsbased approach to subtyping introduced by Frisch, Castagna and Benzaken in the definition of...
Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio...
ENTCS
2002
127views more  ENTCS 2002»
8 years 8 months ago
A Calculus for "Environment-Aware" Computation
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
Viviana Bono, Ferruccio Damiani, Paola Giannini
ENTCS
2002
91views more  ENTCS 2002»
8 years 8 months ago
Subtyping in Logical Form
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
Ugo de'Liguoro
ENTCS
2002
166views more  ENTCS 2002»
8 years 8 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
ENTCS
2002
84views more  ENTCS 2002»
8 years 8 months ago
VOC: A Translation Validator for Optimizing Compilers
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
ENTCS
2002
61views more  ENTCS 2002»
8 years 8 months ago
Effectively Absolute Continuity and Effective Jordan Decomposability
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
Xizhong Zheng, Robert Rettinger, Burchard von Brau...
books