A Fragment of ML Decidable by Visibly Pushdown Automata (Q3012916): Difference between revisions

@@ Property / describes a project that uses @@
+HOMER
@@ Property / describes a project that uses: HOMER / rank @@
+Normal rank
@@ 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/978-3-642-22012-8_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2205883199
@@ Property / OpenAlex ID: W2205883199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222822
@@ Property / cites work: Q4222822 / 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 @@
+Regular-Language Semantics for a Call-by-Value Programming Language
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+About the undecidability of program equivalence in finitary languages with state
+Normal rank
@@ Property / cites work @@
+Functions with local state: regularity and undecidability
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
+Normal rank
@@ Property / cites work @@
+Algorithmic Nominal Game Semantics
@@ Property / cites work: Algorithmic Nominal Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank