Algorithmic games for full ground references (Q1650867): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10703-017-0292-9 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2743782362 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4218919 / rank
 
Normal rank
Property / cites work
 
Property / cites work: State-dependent representation independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Visibly pushdown languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2704328 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Typed Lambda Calculi and Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regression Verification for Multi-threaded Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Context-free languages over infinite alphabets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fragments of ML Decidable by Nested Data Class Memory Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: The impact of higher-order state and control effects on local relational reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: eVolCheck: Incremental Upgrade Checker for C / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new approach to abstract syntax with variable binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Game-theoretic analysis of call-by-value computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Fragment of ML Decidable by Visibly Pushdown Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Small bisimulations for reasoning about higher-order imperative programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4344149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A game semantics of names and pointers / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Contextual Equivalence Checker for IMJ* / rank
 
Normal rank
Property / cites work
 
Property / cites work: Game Semantic Analysis of Equivalence in IMJ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full Abstraction for Reduced ML / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic Nominal Game Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic Games for Full Ground References / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deconstructing General References via Game Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functions with local state: regularity and undecidability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Correctness of data representations involving heap data structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction for nominal general references / rank
 
Normal rank

Latest revision as of 03:00, 16 July 2024

scientific article
Language Label Description Also known as
English
Algorithmic games for full ground references
scientific article

    Statements

    Algorithmic games for full ground references (English)
    0 references
    0 references
    0 references
    16 July 2018
    0 references
    program equivalence
    0 references
    game semantics
    0 references
    full abstraction
    0 references
    automata over infinite alphabets
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references