Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299): Difference between revisions

@@ Property / describes a project that uses @@
+Erlang
@@ Property / describes a project that uses: Erlang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CauDEr
@@ Property / describes a project that uses: CauDEr / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4319756006
@@ Property / OpenAlex ID: W4319756006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof assistant based formalisation of a subset of sequential core Erlang
+Normal rank
@@ Property / cites work @@
+Q4813228
@@ Property / cites work: Q4813228 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of reversibility for Erlang
@@ Property / cites work: A theory of reversibility for Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+Cauder: a causal-consistent reversible debugger for Erlang
+Normal rank
@@ Property / cites work @@
+A reversible semantics for Erlang
@@ Property / cites work: A reversible semantics for Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Symbolic Execution in Erlang
@@ Property / cites work: Towards Symbolic Execution in Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225152
@@ Property / cites work: Q4225152 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+On coinductive equivalences for higher-order probabilistic functional programs
+Normal rank
@@ Property / cites work @@
+Equivalence in functional languages with effects
@@ Property / cites work: Equivalence in functional languages with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Compilation and equivalence of imperative objects
@@ Property / cites work: Compilation and equivalence of imperative objects / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Step-Indexed Relational Reasoning for Countable Nondeterminism
+Normal rank
@@ Property / cites work @@
+Q4499197
@@ Property / cites work: Q4499197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Model Checking of Core Erlang Programs in Maude
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of software technology and theoretical computer science. 18th conference, Chennai, India, December 17--19, 1998. Proceedings
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2693299