Foundations of Software Science and Computation Structures - Info and Reading Options

The Open Library:

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<br />Author: Furio Honsell, Marino Miculan<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-41864-1<br /> DOI: 10.1007/3-540-45315-6<br /><br />Table of Contents:<p></p><ul><li>Adequacy for Algebraic Effects </li><li>Secrecy Types for Asymmetric Communication </li><li>Axiomatizing Tropical Semirings </li><li>Type Isomorphisms and Proof Reuse in Dependent Type Theory </li><li>On the Duality between Observability and Reachability </li><li>The Finite Graph Problem for Two-Way Alternating Automata </li><li>High-Level Petri Nets as Type Theories in the Join Calculus </li><li>Temporary Data in Shared Dataspace Coordination Languages </li><li>On Garbage and Program Logic </li><li>The Complexity of Model Checking Mobile Ambients </li><li>The Rho Cube </li><li>Type Inference with Recursive Type Equations </li><li>On the Modularity of Deciding Call-by-Need </li><li>Synchronized Tree Languages Revisited and New Applications </li><li>Computational Completeness of Programming Languages Based on Graph Transformation </li><li>Axioms for Recursion in Call-by-Value </li><li>Class Analysis of Object-Oriented Programs through Abstract Interpretation </li><li>On the Complexity of Parity Word Automata </li><li>Foundations for a Graph-Based Approach to the Specification of Access Control Policies </li><li>Categories of Processes Enriched in Final Coalgebras</li></ul>

Search for “Foundations of Software Science and Computation Structures” downloads:

Visit our Downloads Search page to see if downloads are available.

Borrow "Foundations of Software Science and Computation Structures" Online:

Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.

• Is Online Borrowing Available: Yes
• Preview Status: full
• Check if available: The Open Library & The Internet Archive

Find “Foundations of Software Science and Computation Structures” in Libraries Near You:

Read or borrow “Foundations of Software Science and Computation Structures” from your local library.

• The WorldCat Libraries Catalog: Find a copy of “Foundations of Software Science and Computation Structures” at a library near you.