Lecture Notes in Computer Science

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

By: Furio Honsell (Editor), Marino Miculan (Editor)

Write A Review

Paperback | 21 March 2001

At a Glance

Paperback
432 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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 not intended to be exclusive.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Reference, Information & Interdisciplinary Subjects Research & Information Information theory Cybernetics & Systems Theory Computing & I.T.Computer Programming & Software Development Software Engineering Computer Science Computer Architecture & Logic Design Programming & Scripting Languages Mathematics

Mathematical Foundation Mathematical Logic Systems Analysis & Design Compilers & Interpreters

Invited Paper
Adequacy for Algebraic Effects	p. 1
Contributed Papers
Secrecy Types for Asymmetric Communication	p. 25
Axiomatizing Tropical Semirings	p. 42
Type Isomorphisms and Proof Reuse in Dependent Type Theory	p. 57
On the Duality between Observability and Reachability	p. 72
The Finite Graph Problem for Two-Way Alternating Automata	p. 88
High-Level Petri Nets as Type Theories in the Join Calculus	p. 104
Temporary Data in Shared Dataspace Coordination Languages	p. 121
On Garbage and Program Logic	p. 137
The Complexity of Model Checking Mobile Ambients	p. 152
The Rho Cube	p. 168
Type Inference with Recursive Type Equations	p. 184
On the Modularity of Deciding Call-by-Need	p. 199
Synchronized Tree Languages Revisited and New Applications	p. 214
Computational Completeness of Programming Languages Based on Graph Transformation	p. 230
Axioms for Recursion in Call-by-Value (Extended Abstract)	p. 246
Class Analysis of Object-Oriented Programs through Abstract Interpretation	p. 261
On the Complexity of Parity Word Automata	p. 276
Foundations for a Graph-Based Approach to the Specification of Access Control Policies	p. 287
Categories of Processes Enriched in Final Coalgebras	p. 303
Model Checking CTL= and FCTL Is Hard	p. 318
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory	p. 332
Verified Bytecode Verifiers	p. 347
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the p-Calculus and Mechanizing the Theory of Contexts	p. 364
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes	p. 379
An Axiomatic Semantics for the Synchronous Language Gentzen	p. 394
Tool Presentation
Marrella and the Verification of an Embedded System	p. 409
Author Index	p. 413
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

Java in Two Semesters

Featuring JavaFX

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Pragmatic Programmers

Pragmatic Programmers

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

SQL and NoSQL Database Fourth Edition

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I

PASCAL for Programmers

Hardware Verification with System Verilog

An Object-Oriented Framework

Models in Software Engineering

Workshops and Symposia at Models 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

This product is categorised by