Electronic Notes in Theoretical Computer Science, Volume 70

FLoC 2002 Satellite Events

Volume 70, Number 1, 2002

Fabio Alessi, Stefania Lusin:
Simple Easy Terms.
Electronic Edition (link) BibTeX
Steffen van Bakel:
Strongly Normalising Cut-Elimination with Strict Intersection Types.
Electronic Edition (link) BibTeX
Sébastien Carlier:
Polar Type Inference with Intersection Types and omega.
Electronic Edition (link) BibTeX
Judicaël Courant:
Strong Normalization with Singleton Types.
Electronic Edition (link) BibTeX
Ugo de'Liguoro:
Subtyping in Logical Form.
Electronic Edition (link) BibTeX
Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama:
The Relevance of Semantic Subtyping.
Electronic Edition (link) BibTeX
Silvia Ghilezan, Silvia Likavec:
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types.
Electronic Edition (link) BibTeX
Assaf J. Kfoury, Geoffrey Washburn, Joe Wells:
Implementing Compositional Analysis Using Intersection Types With Expansion Variables.
Electronic Edition (link) BibTeX
Daniel Leivant:
Feasible functionals and intersection of ramified types.
Electronic Edition (link) BibTeX
Simona Ronchi Della Rocca:
Intersection Typed lambda-calculus.
Electronic Edition (link) BibTeX
Frank Pfenning:
Invited talk: Tri-Directional Type Checking.
Electronic Edition (link) BibTeX

Volume 70, Number 2, 2002

LFM 2002 International Workshop on Logical Frameworks and Meta-Languages
Copenhagen, Denmark, July 26, 2002

Frank Pfenning:
Preface.
Electronic Edition (link) BibTeX
Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova:
Isolating Resource Consumption in Linear Logic Proof Search.
Electronic Edition (link) BibTeX
Joseph Vanderwaart, Karl Crary:
A Simplified Account of the Metatheory of Linear LF.
Electronic Edition (link) BibTeX
Aaron Stump, Clark W. Barrett, David L. Dill:
Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF.
Electronic Edition (link) BibTeX
Femke van Raamsdonk, Paula Severi:
Eliminating Proofs from Programs.
Electronic Edition (link) BibTeX
Alberto Momigliano, Simon Ambler, Roy L. Crole:
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.
Electronic Edition (link) BibTeX
Ivan Scagnetto, Marino Miculan:
Ambient Calculus and its Logic in the Calculus of Inductive Constructions.
Electronic Edition (link) BibTeX
David Delahaye:
A Proof Dedicated Meta-Language.
Electronic Edition (link) BibTeX
Brigitte Pientka:
Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype.
Electronic Edition (link) BibTeX
Carsten Schürmann, Serge Autexier:
Towards Proof Planning for M-omega-plus.
Electronic Edition (link) BibTeX

Volume 70, Number 3, 2002

The BCS FACS Refinement Workshop
Denmark, July 2002

John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
Preface.
Electronic Edition (link) BibTeX
Ralph-Johan Back, Joakim von Wright:
Compositional Action System Refinement.
Electronic Edition (link) BibTeX
Steve Dunne:
Junctive Compositions of specifications in total, general correctness.
Electronic Edition (link) BibTeX
Bernhard K. Aichernig:
Contract-based mutation testing in the refinement calculus.
Electronic Edition (link) BibTeX
Antónia Lopes, José Luiz Fiadeiro:
Superposition: Composition vs refinement of non-deterministic action-based systems.
Electronic Edition (link) BibTeX
Luke Wildman, Colin J. Fidge:
The variety of variables in computer-aided real-time programming.
Electronic Edition (link) BibTeX
Adrian J. Hilton, Jon G. Hall:
Refining specifications to programmable logic.
Electronic Edition (link) BibTeX
Susan Stepney, Fiona Polack, Ian Toyn:
Refactoring in maintenance and development of Z specifications.
Electronic Edition (link) BibTeX
Lindsay Groves:
Refinement and the Z schema calculus.
Electronic Edition (link) BibTeX
Christie Bolton, Jim Davies:
A comparison of refinement orderings and their associated simulation rules.
Electronic Edition (link) BibTeX
Eerke A. Boiten, John Derrick:
Unifying concurrent and relational refinement.
Electronic Edition (link) BibTeX
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement of actions in Circus.
Electronic Edition (link) BibTeX
Matthias Anlauff, Asuman Sünbül:
Towards component based systems: refining connectors.
Electronic Edition (link) BibTeX
Kai Engelhardt:
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents.
Electronic Edition (link) BibTeX
Emil Sekerinski:
Tabular verification and refinement.
Electronic Edition (link) BibTeX
Yngve Lamo, Michal Walicki:
Composition and refinement of specifications and parameterised data types.
Electronic Edition (link) BibTeX
Jim Davies, Charles Crichton:
Concurrency and refinement in the UML.
Electronic Edition (link) BibTeX
Harald Fecher, Mila E. Majster-Cederbaum:
Taking decisions late: end-based choice combined with action refinement.
Electronic Edition (link) BibTeX
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu:
Refinement of actions in a real-time process algebra with a true concurrency model.
Electronic Edition (link) BibTeX
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Refactoring by Transformation.
Electronic Edition (link) BibTeX

Volume 70, Number 4, 2002

Runtime Verification 2002 (RV'02)
Copenhagen, Denmark, July 26, 2002

Klaus Havelund, Grigore Rosu:
Preface.
Electronic Edition (link) BibTeX
Karthikeyan Bhargavan, Carl A. Gunter:
Requirements for a Practical Network Event Recognition Language.
Electronic Edition (link) BibTeX
Mark Brörkens, Michael Möller:
Dynamic Event Generation for Runtime Checking using the JDI.
Electronic Edition (link) BibTeX
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma:
Collecting Statistics over Runtime Executions.
Electronic Edition (link) BibTeX
Parker Abercrombie, Murat Karaorman:
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java.
Electronic Edition (link) BibTeX
Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.
Electronic Edition (link) BibTeX
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky:
Monitoring, Checking, and Steering of Real-Time Systems.
Electronic Edition (link) BibTeX
Joshua Levy, Hassen Saïdi, Tomás E. Uribe:
Combining Monitors for Runtime System Verification.
Electronic Edition (link) BibTeX
Elsa L. Gunter, Doron Peled:
Tracing the executions of concurrent programs.
Electronic Edition (link) BibTeX
Scott D. Stoller:
Testing Concurrent Java Programs using Randomized Scheduling.
Electronic Edition (link) BibTeX
Suan Hsi Yong, Susan Horwitz:
Reducing the Overhead of Dynamic Analysis.
Electronic Edition (link) BibTeX
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu:
Translation and Run-Time Validation of Optimized Code.
Electronic Edition (link) BibTeX

Volume 70, Number 5, 2002

CLIMA'2002 Computational Logic in Multi-Agent Systems
Copenhagen, Denmark, 1 August 2002

Jürgen Dix, João Alexandre Leite, Ken Satoh:
Preface.
Electronic Edition (link) BibTeX
Michael Schroeder, Ralf Schweimeier:
Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents.
Electronic Edition (link) BibTeX
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
A Language for Multi-dimensional Updates.
Electronic Edition (link) BibTeX
Antonis C. Kakas, Pavlos Moraitis:
Argumentative Agent Deliberation, Roles and Context.
Electronic Edition (link) BibTeX
Katsuhiko Toyama, Takahiro Kojima, Yasuyoshi Inagaki:
Translating Multi-Agent Autoepistemic Logic into Logic Program.
Electronic Edition (link) BibTeX
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira:
A Logic Based Asynchronous Multi-Agent System.
Electronic Edition (link) BibTeX
James Harland, Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract).
Electronic Edition (link) BibTeX
Rafael H. Bordini, Álvaro F. Moreira:
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language.
Electronic Edition (link) BibTeX
Tadashi Araragi, Shiro Takata, Naoyuki Nide:
A Verification Method for a Commitment Strategy of the BDI Architecture.
Electronic Edition (link) BibTeX
Naoyuki Nide, Shiro Takata, Tadashi Araragi:
Deduction Systems for BDI Logics with Mental State Consistency.
Electronic Edition (link) BibTeX
Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga:
Speculative Computation and Action Execution in Multi-Agent Systems.
Electronic Edition (link) BibTeX
Koji Iwanuma, Katsumi Inoue:
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments.
Electronic Edition (link) BibTeX
Thomas Bolander:
Maximal Introspection of Agents.
Electronic Edition (link) BibTeX
Paolo Torroni:
Logics and Multi-agents: towards a new symbolic model of cognition.
Electronic Edition (link) BibTeX

Volume 70, Number 6, 2002

2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) - Final Proceedings
Copenhagen, Denmark, July 21, 2002

Bernhard Gramlich, Salvador Lucas:
Preface.
Electronic Edition (link) BibTeX
Aart Middeldorp:
Approximations for Strategies and Termination.
Electronic Edition (link) BibTeX
Vincent van Oostrom, Roel C. de Vrijer:
Four equivalent equivalences of reductions.
Electronic Edition (link) BibTeX
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages.
Electronic Edition (link) BibTeX
Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein:
Applying ELAN Strategies in Simulating Processors over Simple Architectures.
Electronic Edition (link) BibTeX
Mark van den Brand, Paul Klint, Jurgen J. Vinju:
Term Rewriting with Type-safe Traversal Functions.
Electronic Edition (link) BibTeX
John R. W. Glauert, Zurab Khasidashvili:
An Abstract Böhm-normalization.
Electronic Edition (link) BibTeX
Ralf Lämmel:
The Sketch of a Polymorphic Symphony.
Electronic Edition (link) BibTeX
Karina Olmos, Eelco Visser:
Strategies for Source-to-Source Constant Progagation.
Electronic Edition (link) BibTeX
Pierre Réty, Julie Vuotto:
Regular Sets of Descendants by Leftmost Strategy.
Electronic Edition (link) BibTeX