Coverart for item
The Resource Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings, Furio Honsell, Marino Miculan (Eds.)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings, Furio Honsell, Marino Miculan (Eds.)

Label
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Title
Foundations of software science and computation structures
Title remainder
4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Statement of responsibility
Furio Honsell, Marino Miculan (Eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.751
LC item number
.F67 2001
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
FOSSACS 2001
http://library.link/vocab/relatedWorkOrContributorDate
2001
http://library.link/vocab/relatedWorkOrContributorName
  • Honsell, Furio
  • Miculan, Marino
  • ETAPS 2001
http://library.link/vocab/subjectName
  • Computer software
  • System analysis
  • catégorie
  • logique algébrique
  • théorie type
  • génie logiciel
  • informatique théorique
  • Logiciels
  • Systèmes, Analyse de
  • Computer software
  • System analysis
  • Software
  • Programmeertalen
  • Logiciels
  • Systèmes, Analyse de
  • Kongress
  • Programmierung
  • Theoretische Informatik
Label
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings, Furio Honsell, Marino Miculan (Eds.)
Instantiates
Publication
Note
Includes bibliographical references and index
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Adequacy for Algebraic Effects / Gordon Plotkin and John Power -- Secrecy Types for Asymmetric Communication / Martin Abadi and Bruno Blanchet -- Axiomatizing Tropical Semirings / Luca Aceto, Zoltan Esik and Anna Ingolfsdottir -- Type Isomorphisms and Proof Reuse in Dependent Type Theory / Gilles Barthe and Olivier Pons -- On the Duality between Observability and Reachability / Michel Bidoit, Rolf Hennicker and 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 and Vladimiro Sassone -- Temporary Data in Shared Dataspace Coordination Languages / Nadia Busi, Roberto Gorrieri and Gianluigi Zavattaro -- On Garbage and Program Logic / Cristiano Calcagno and Peter W. O'Hearn -- The Complexity of Model Checking Mobile Ambients / Witold Charatonik, Silvano Dal Zilio and Andrew D. Gordon / [et al.] -- The Rho Cube / Horatiu Cirstea, Claude Kirchner and Luigi Liquori -- Type Inference with Recursive Type Equations / Mario Coppo -- On the Modularity of Deciding Call-by-Need / Irene Durand and Aart Middeldorp -- Synchronized Tree Languages Revisited and New Applications / Valerie Gouranton, Pierre Rety and Helmut Seidl -- Computational Completeness of Programming Languages Based on Graph Transformation / Annegret Habel and Detlef Plump -- Axioms for Recursion in Call-by-Value / Masahito Hasegawa and Yoshihiko Kakutani -- Class Analysis of Object-Oriented Programs through Abstract Interpretation / Thomas Jensen and Fausto Spoto -- On the Complexity of Parity Word Automata / Valerie King, Orna Kupferman and Moshe Y. Vardi -- Foundations for a Graph-Based Approach to the Specification of Access Control Policies / Manuel Koch, Luigi Vincenzo Mancini and Francesco Parisi-Presicce -- Categories of Processes Enriched in Final Coalgebras / Sava Krstic, John Launchbury and Dusko Pavlovic -- Model Checking CTL[superscript +] and FCTL Is Hard / Francois Laroussinie, Nicolas Markey and Philippe Schnoebelen -- On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory / Remi Morin -- Verified Bytecode Verifiers / Tobias Nipkow -- Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the [pi]-Calculus and Mechanizing the Theory of Contexts / Christine Rockl, Daniel Hirschkoff and 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 -- Marrella and the Verification of an Embedded System / Dominique Ambroise, Patrick Auge and Kamel Bouchefra / [et al.]
Dimensions
24 cm.
Dimensions
unknown
Extent
xii, 412 pages
Isbn
9783540418641
Lccn
2001020732
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46501647
  • (OCoLC)ocm46501647
Label
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings, Furio Honsell, Marino Miculan (Eds.)
Publication
Note
Includes bibliographical references and index
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Adequacy for Algebraic Effects / Gordon Plotkin and John Power -- Secrecy Types for Asymmetric Communication / Martin Abadi and Bruno Blanchet -- Axiomatizing Tropical Semirings / Luca Aceto, Zoltan Esik and Anna Ingolfsdottir -- Type Isomorphisms and Proof Reuse in Dependent Type Theory / Gilles Barthe and Olivier Pons -- On the Duality between Observability and Reachability / Michel Bidoit, Rolf Hennicker and 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 and Vladimiro Sassone -- Temporary Data in Shared Dataspace Coordination Languages / Nadia Busi, Roberto Gorrieri and Gianluigi Zavattaro -- On Garbage and Program Logic / Cristiano Calcagno and Peter W. O'Hearn -- The Complexity of Model Checking Mobile Ambients / Witold Charatonik, Silvano Dal Zilio and Andrew D. Gordon / [et al.] -- The Rho Cube / Horatiu Cirstea, Claude Kirchner and Luigi Liquori -- Type Inference with Recursive Type Equations / Mario Coppo -- On the Modularity of Deciding Call-by-Need / Irene Durand and Aart Middeldorp -- Synchronized Tree Languages Revisited and New Applications / Valerie Gouranton, Pierre Rety and Helmut Seidl -- Computational Completeness of Programming Languages Based on Graph Transformation / Annegret Habel and Detlef Plump -- Axioms for Recursion in Call-by-Value / Masahito Hasegawa and Yoshihiko Kakutani -- Class Analysis of Object-Oriented Programs through Abstract Interpretation / Thomas Jensen and Fausto Spoto -- On the Complexity of Parity Word Automata / Valerie King, Orna Kupferman and Moshe Y. Vardi -- Foundations for a Graph-Based Approach to the Specification of Access Control Policies / Manuel Koch, Luigi Vincenzo Mancini and Francesco Parisi-Presicce -- Categories of Processes Enriched in Final Coalgebras / Sava Krstic, John Launchbury and Dusko Pavlovic -- Model Checking CTL[superscript +] and FCTL Is Hard / Francois Laroussinie, Nicolas Markey and Philippe Schnoebelen -- On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory / Remi Morin -- Verified Bytecode Verifiers / Tobias Nipkow -- Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the [pi]-Calculus and Mechanizing the Theory of Contexts / Christine Rockl, Daniel Hirschkoff and 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 -- Marrella and the Verification of an Embedded System / Dominique Ambroise, Patrick Auge and Kamel Bouchefra / [et al.]
Dimensions
24 cm.
Dimensions
unknown
Extent
xii, 412 pages
Isbn
9783540418641
Lccn
2001020732
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46501647
  • (OCoLC)ocm46501647

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...