Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

>> Google Books

Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings / edited by Furio Honsell, Marino Miculan

版:

1st ed. 2001

資料種別:

電子ブック

形態:

XII, 420 p.

シリーズ名:

Lecture Notes in Computer Science ; 2030

著者名:

ISBN:

9783540453154 [3540453156]
9783662165591 [3662165597]
9783540418641 [3540418644]

書誌ID:

EB00004817

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Theory of Computation

目次情報:

Invited Paper

Adequacy for Algebraic Effects / Gordon Plotkin ; John Power

Contributed Papers

Secrecy Types for Asymmetric Communication / MartÆin Abadi ; Bruno Blanchet

Axiomatizing Tropical Semirings / Luca Aceto ; Zoltán Ésik ; Anna Ingólfsdóttir

Type Isomorphisms and Proof Reuse in Dependent Type Theory / Gilles Barthe ; Olivier Pons

On the Duality between Observability and Reachability / Michel Bidoit ; Rolf Hennicker ; Alexander Kurz

The Finite Graph Problem for Two-Way Alternating Automata / Mikolaj Bojanczyk

High-Level Petri Nets as Type Theories in the Join Calculus / Maria Grazia Buscemi ; Vladimiro Sassone

Temporary Data in Shared Dataspace Coordination Languages / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro

On Garbage and Program Logic / Cristiano Calcagno ; Peter W. O'Hearn

The Complexity of Model Checking Mobile Ambients / Witold Charatonik ; Silvano Dal Zilio ; Andrew D. Gordon ; Supratik Mukhopadhyay ; Jean-Marc Talbot

The Rho Cube / Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori

Type Inference with Recursive Type Equations / Mario Coppo

On the Modularity of Deciding Call-by-Need / Irène Durand ; Aart Middeldorp

Synchronized Tree Languages Revisited and New Applications / Valèrie Gouranton ; Pierre Rèty ; Helmut Seidl

Computational Completeness of Programming Languages Based on Graph Transformation / Annegret Habel ; Detlef Plump

Axioms for Recursion in Call-by-Value (Extended Abstract) / Masahito Hasegawa ; Yoshihiko Kakutani

Class Analysis of Object-Oriented Programs through Abstract Interpretation / Thomas Jensen ; Fausto Spoto

On the Complexity of Parity Word Automata / Valerie King ; Orna Kupferman ; Moshe Y. Vardi

Foundations for a Graph-Based Approach to the Specification of Access Control Policies / Manuel Koch ; Luigi Vincenzo Mancini ; Francesco Parisi-Presicce

Categories of Processes Enriched in Final Coalgebras / Sava Krstić ; John Launchbury ; DuÜko Pavlovič

Model Checking CTL= and FCTL Is Hard / François Laroussinie ; Nicolas Markey ; Philippe Schnoebelen

On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory / Rémi Morin

Verified Bytecode Verifiers / Tobias Nipkow

Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the p-Calculus and Mechanizing the Theory of Contexts / Christine Röckl ; Daniel Hirschkoff ; Stefan Berghofer

Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes / Colin Stirling

An Axiomatic Semantics for the Synchronous Language Gentzen / Simone Tini

Tool Presentation

Marrella and the Verification of an Embedded System / Dominique Ambroise ; Patrick Augé ; Kamel Bouchefra ; Brigitte Rozoy

Author Index

Invited Paper

Adequacy for Algebraic Effects / Gordon Plotkin ; John Power

Contributed Papers

Secrecy Types for Asymmetric Communication / MartÆin Abadi ; Bruno Blanchet

Axiomatizing Tropical Semirings / Luca Aceto ; Zoltán Ésik ; Anna Ingólfsdóttir

Type Isomorphisms and Proof Reuse in Dependent Type Theory / Gilles Barthe ; Olivier Pons

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on … Nivat, Maurice., SpringerLink (Online service)	7 電子ブック Compiler Construction : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 … Wilhelm, Reinhard., SpringerLink (Online service)
2 電子ブック Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on … Nielsen, Mogens., Engberg, Uffe., SpringerLink (Online service)	8 電子ブック Foundations of Software Science and Computational Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on … Gordon, Andrew D., SpringerLink (Online service)
3 電子ブック Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on … Walukiewicz, Igor., SpringerLink (Online service)	9 電子ブック Foundation of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on … Tiuryn, Jerzy., SpringerLink (Online service)
4 電子ブック Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on … Thomas, Wolfgang., SpringerLink (Online service)	10 電子ブック Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice … Hussmann, Heinrich., SpringerLink (Online service)
5 電子ブック Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on … Sassone, Vladimiro., SpringerLink (Online service)	11 図書 Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on … FOSSACS, Honsell, Furio, Miculan, Marino, European Conferences on Theory and Practice of Software Springer
6 電子ブック Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of … Sands, David., SpringerLink (Online service)	12 電子ブック Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of … Hankin, Chris., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12