An algebraic approach to semantics of programming languages (Q1346625): 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.1016/0304-3975(94)00022-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1979584306
@@ Property / OpenAlex ID: W1979584306 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Complementary definitions of programming language semantics
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculus of equivalences of abstract programs
@@ Property / cites work: Calculus of equivalences of abstract programs / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of propositional properties of programs
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional systems: Theoretical and practical aspects
+Normal rank
@@ Property / cites work @@
+An algebraic approach to semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766044
@@ Property / cites work: Q4766044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256561
@@ Property / cites work: Q3256561 / rank @@
+Normal rank
@@ Property / cites work @@
+One View of Man-Machine Interaction
@@ Property / cites work: One View of Man-Machine Interaction / rank @@
+Normal rank