Foundations of Software Science and Computational Structures
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together...
Leider schon ausverkauft
versandkostenfrei
Buch
80.24 €
Produktdetails
Produktinformationen zu „Foundations of Software Science and Computational Structures “
Klappentext zu „Foundations of Software Science and Computational Structures “
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Inhaltsverzeichnis zu „Foundations of Software Science and Computational Structures “
Invited Talk.- Formal Foundations for Aspects.- Contributed Papers.- Sampled Universality of Timed Automata.- Iterator Types.- Types and Effects for Resource Usage Analysis.- The Complexity of Generalized Satisfiability for Linear Temporal Logic.- Formalising the ?-Calculus Using Nominal Logic.- The Rewriting Calculus as a Combinatory Reduction System.- Relational Parametricity and Separation Logic.- Model-Checking One-Clock Priced Timed Automata.- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.- Optimal Strategy Synthesis in Stochastic Müller Games.- Generalized Parity Games.- Tree Automata with Memory, Visibility and Structural Constraints.- Enriched ?-Calculi Module Checking.- PDL with Intersection and Converse Is 2EXP-Complete.- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.- A Distribution Law for CCS and a New Congruence Result for the ?-Calculus.- On the Expressiveness and Complexity of ATL.- Polynomial Constraints for Sets with Cardinality Bounds.- A Lower Bound on Web Services Composition.- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.- Semantic Barbs and Biorthogonality.- On the Stability by Union of Reducibility Candidates.- An Effective Algorithm for the Membership Problem for Extended Regular Expressions.- Complexity Results on Balanced Context-Free Languages.- Logical Reasoning for Higher-Order Functions with Local State.
Bibliographische Angaben
- 2007, xvi, 379 Seiten, Maße: 15,7 x 24,3 cm, Kartoniert (TB), Englisch
- Herausgegeben: Helmut Seidl
- Verlag: Springer Berlin
- ISBN-10: 3540713883
- ISBN-13: 9783540713883
- Erscheinungsdatum: 09.03.2007
Sprache:
Englisch
Kommentar zu "Foundations of Software Science and Computational Structures"
0 Gebrauchte Artikel zu „Foundations of Software Science and Computational Structures“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Foundations of Software Science and Computational Structures".
Kommentar verfassen