Sciweavers

    FOSSACS   2010 International Conference on Foundations of Software Science and Computation Structure
    Wall of Fame | Most Viewed FOSSACS-2010 Paper
    FOSSACS
    2010
    Springer
    283views Software Engineering» more  FOSSACS 2010»
    A Semantic Foundation for Hidden State
    13 years 11 months ago
    A Semantic Foundation for Hidden State
    Download  gallium.inria.fr
    Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
    Jan Schwinghammer, Hongseok Yang, Lars Birkedal, F...
    claim paper
    Read More »
    Disclaimer and Copyright Notice
    Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
    IdReadViewsTitleStatus
    1Download preprint from source283
    A Semantic Foundation for Hidden State
    claim
    2Download preprint from source216
    Retaining the Probabilities in Probabilistic Testing Theory
    claim
    3Download preprint from source194
    A Hierarchy for Delimited Continuations in Call-by-Name
    claim
    4Download preprint from source187
    Coalgebraic Correspondence Theory
    claim
    5Download preprint from source183
    On the Relationship between Spatial Logics and Behavioral Simulations
    claim
    6Download preprint from source178
    Counting CTL
    claim
    7Download preprint from source177
    Solvability in Resource Lambda-Calculus
    claim
    8Download preprint from source174
    CIA Structures and the Semantics of Recursion
    claim
    9Download preprint from source173
    Parameterised Multiparty Session Types
    claim
    10Download preprint from source165
    Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
    claim
    11Download preprint from source164
    Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
    claim
    12Download preprint from source159
    Untyped Recursion Schemes and Infinite Intersection Types
    claim
    13Download preprint from source153
    Monads Need Not Be Endofunctors
    claim
    14Download preprint from source153
    Forward Analysis of Depth-Bounded Processes
    claim
    15Download preprint from source146
    Completeness for Algebraic Theories of Local State
    claim
    16Download preprint from source139
    When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
    claim
    17Download preprint from source138
    The Complexity of Synchronous Notions of Information Flow Security
    claim
    18Download preprint from source136
    Reachability Analysis of Communicating Pushdown Systems
    claim
    19Download preprint from source131
    Linearly-Used Continuations in the Enriched Effect Calculus
    claim
    20Download preprint from source124
    Toward a Compositional Theory of Leftist Grammars and Transformations
    claim
    21Download preprint from source121
    Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization
    claim
    22Download preprint from source117
    Degrees of Lookahead in Regular Infinite Games
    claim
    23Download preprint from source115
    Model Checking Is Static Analysis of Modal Logic
    claim
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.