Two-level semantics and abstract interpretation (Q911319): Difference between revisions

@@ Property / author @@
+Flemming Nielson
@@ Property / author: Flemming Nielson / 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.1016/0304-3975(89)90091-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1981580304
@@ Property / OpenAlex ID: W1981580304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152697
@@ Property / cites work: Q4152697 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+The tensor product of continuous lattices
@@ Property / cites work: The tensor product of continuous lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness analysis for higher-order functions
@@ Property / cites work: Strictness analysis for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657413
@@ Property / cites work: Q3657413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3761674
@@ Property / cites work: Q3761674 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of list iteration
@@ Property / cites work: On the power of list iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133080
@@ Property / cites work: Q4133080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709872
@@ Property / cites work: Q3709872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664406
@@ Property / cites work: Q3664406 / rank @@
+Normal rank
@@ Property / cites work @@
+Program transformations in a denotational setting
@@ Property / cites work: Program transformations in a denotational setting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713564
@@ Property / cites work: Q3713564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718128
@@ Property / cites work: Q3718128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709854
@@ Property / cites work: Q3709854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709882
@@ Property / cites work: Q3709882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718132
@@ Property / cites work: Q3718132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713560
@@ Property / cites work: Q3713560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430311
@@ Property / cites work: Q4430311 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level semantics and code generation
@@ Property / cites work: Two-level semantics and code generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713571
@@ Property / cites work: Q3713571 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic binding time analysis for a typed \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+The λ-calculus is ω-incomplete
@@ Property / cites work: The λ-calculus is ω-incomplete / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664454
@@ Property / cites work: Q3664454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Control Flow Aspects of Semantics-Directed Compiling
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+A general purpose macrogenerator
@@ Property / cites work: A general purpose macrogenerator / rank @@
+Normal rank
@@ Property / cites work @@
+Q3914393
@@ Property / cites work: Q3914393 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Target Code as a Representation of Continuation Semantics
+Normal rank