1 option
Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / edited by Luke Ong.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 6014.
- Theoretical Computer Science and General Issues ; 6014
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Programming languages (Electronic computers).
- Software engineering.
- Computers.
- Computer logic.
- Mathematical Logic and Formal Languages.
- Programming Languages, Compilers, Interpreters.
- Software Engineering/Programming and Operating Systems.
- Computation by Abstract Devices.
- Logics and Meanings of Programs.
- Software Engineering.
- Local Subjects:
- Mathematical Logic and Formal Languages.
- Programming Languages, Compilers, Interpreters.
- Software Engineering/Programming and Operating Systems.
- Computation by Abstract Devices.
- Logics and Meanings of Programs.
- Software Engineering.
- Physical Description:
- 1 online resource (XV, 389 pages) : 47 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- Contents:
- FoSSaCS 2010 Invited Talk
- to Decidability of Higher-Order Matching
- Semantics of Programming Languages
- A Semantic Foundation for Hidden State
- Linearly-Used Continuations in the Enriched Effect Calculus
- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
- Completeness for Algebraic Theories of Local State
- Probabilistic and Randomised Computation
- Fair Adversaries and Randomization in Two-Player Games
- Retaining the Probabilities in Probabilistic Testing Theory
- Concurrency and Process Theory
- Forward Analysis of Depth-Bounded Processes
- Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization
- Parameterised Multiparty Session Types
- On the Relationship between Spatial Logics and Behavioral Simulations
- Modal and Temporal Logics
- An Easy Completeness Proof for the Modal ?-Calculus on Finite Trees
- When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
- Model Checking Is Static Analysis of Modal Logic
- Counting CTL
- Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
- Verification
- Toward a Compositional Theory of Leftist Grammars and Transformations
- Degrees of Lookahead in Regular Infinite Games
- Reachability Analysis of Communicating Pushdown Systems
- The Complexity of Synchronous Notions of Information Flow Security
- Categorical and Coalgebraic Methods
- Monads Need Not Be Endofunctors
- CIA Structures and the Semantics of Recursion
- Coalgebraic Correspondence Theory
- Lambda Calculus and Types
- Untyped Recursion Schemes and Infinite Intersection Types
- Solvability in Resource Lambda-Calculus
- A Hierarchy for Delimited Continuations in Call-by-Name.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-12032-9
- 9783642120329
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.