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

所蔵情報QRコード

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 / Furio Honsell, Marino Miculan (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2001

形態:

xii, 412 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2030 <BA00009279>

著者名:

ISBN:

9783540418641 [3540418644]

書誌ID:

BA51732280

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Computer software--Congresses; System analysis--Congresses

言語:

英語

目次情報:

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 : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on … FOSSACS, Sassone, Vladimiro, European Conferences on Theory and Practice of Software Springer	7 電子ブック Foundations of Software Science and Computation Structures FOSSACS 2001, Hartmanis, Juris, Honsell, Furio, Miculan, Marino SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on … FOSSACS, Nivat, Maurice, European Conferences on Theory and Practice of Software Springer	8 図書 Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on … FOSSACS, European Conferences on Theory and Practice of Software, Gordon, Andrew D. Springer
3 図書 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on … FOSSACS, Tiuryn, Jerzy, European Conferences on Theory and Practice of Software Springer	9 図書 Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice … FASE, Hussmann, Heinrich, European Conferences on Theory and Practice of Software Springer
4 図書 Foundations of software science and computation structures : 7th International Conference, FOSSACS 2004, held as part of the Joint European Conferences on … FOSSACS, Walukiewicz, Igor, European Conferences on Theory and Practice of Software Springer	10 図書 Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on … FOSSACS, Nielsen, M. (Mogens), 1949-, Engberg, Uffe, European Conferences on Theory and Practice of Software Springer
5 図書 Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on … FOSSACS, Thomas, Wolfgang, European Conferences on Theory and Practice of Software Springer	11 図書 Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, Sands, David, European Conferences on Theory and Practice of Software Springer
6 図書 Foundations of software science and computation structures : 9th International Conference, FOSSACS 2006, held as part of the Joint European Conferences on … FOSSACS, Aceto, Luca, Anna Ingólfsdóttir, 1952-, European Conferences on Theory and Practice of Software Springer	12 図書 Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, … International Workshop on Compiler Construction, Wilhelm, Reinhard, 1946-, European Conferences on Theory and Practice … Springer