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

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