Inter-deriving semantic artifacts for object-oriented programming (Q980939): 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/j.jcss.2009.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2014472503
@@ Property / OpenAlex ID: W2014472503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+From Natural Semantics to Abstract Machines
@@ Property / cites work: From Natural Semantics to Abstract Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
+Normal rank
@@ Property / cites work @@
+A functional correspondence between call-by-need evaluators and lazy abstract machines
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+A concrete framework for environment machines
@@ Property / cites work: A concrete framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic correspondence between context-sensitive calculi and abstract machines
+Normal rank
@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+The Calculi of Lambda Conversion. (AM-6)
@@ Property / cites work: The Calculi of Lambda Conversion. (AM-6) / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract framework for environment machines
@@ Property / cites work: An abstract framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence properties of weak and strong calculi of explicit substitutions
+Normal rank
@@ Property / cites work @@
+Back to direct style
@@ Property / cites work: Back to direct style / rank @@
+Normal rank
@@ Property / cites work @@
+A Rational Deconstruction of Landin’s SECD Machine
+Normal rank
@@ Property / cites work @@
+From Reduction-Based to Reduction-Free Normalization
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
+Normal rank
@@ Property / cites work @@
+Refunctionalization at work
@@ Property / cites work: Refunctionalization at work / rank @@
+Normal rank
@@ Property / cites work @@
+On one-pass CPS transformations
@@ Property / cites work: On one-pass CPS transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
+Normal rank
@@ Property / cites work @@
+From natural semantics to C: A formal derivation of two STG machines
+Normal rank
@@ Property / cites work @@
+Trampolined style
@@ Property / cites work: Trampolined style / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy evaluation and delimited control
@@ Property / cites work: Lazy evaluation and delimited control / 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 @@
+Functional runtime systems within the lambda-sigma calculus
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506392
@@ Property / cites work: Q4506392 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Making a fast curry: push/enter vs. eval/apply for higher-order languages
+Normal rank
@@ Property / cites work @@
+Two-Level Functional Languages
@@ Property / cites work: Two-Level Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight fusion by fixed point promotion
@@ Property / cites work: Lightweight fusion by fixed point promotion / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional interpreters for higher-order programming languages
+Normal rank
@@ Property / cites work @@
+Definitional interpreters revisited
@@ Property / cites work: Definitional interpreters revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Call-by-Value Continuation Semantics
@@ Property / cites work: Constructing Call-by-Value Continuation Semantics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:980939