A Fully Abstract Semantics for Constructor Systems (Q3636832): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / 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-02348-4_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1536212484
@@ Property / OpenAlex ID: W1536212484 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Diagnosis of Functional Programs
@@ Property / cites work: Abstract Diagnosis of Functional Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281615
@@ Property / cites work: Q4281615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364366
@@ Property / cites work: Q4364366 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424.
+Normal rank
@@ Property / cites work @@
+Q3945564
@@ Property / cites work: Q3945564 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Tighter Integration of Functional and Logic Programming
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Multi-paradigm Declarative Languages
@@ Property / cites work: Multi-paradigm Declarative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2726287
@@ Property / cites work: Q2726287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287526
@@ Property / cites work: Q5287526 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic: Roadmap and bibliography
@@ Property / cites work: Rewriting logic: Roadmap and bibliography / rank @@
+Normal rank
@@ Property / cites work @@
+There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank