An investigation of Jones optimality and BTI-universal specializers (Q1029807): Difference between revisions

@@ Property / describes a project that uses @@
+WSDFU
@@ Property / describes a project that uses: WSDFU / 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/s10990-008-9033-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2004061793
@@ Property / OpenAlex ID: W2004061793 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62038250
@@ Property / Wikidata QID: Q62038250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472445
@@ Property / cites work: Q4472445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414737
@@ Property / cites work: Q4414737 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and flexible access control via Jones-optimal logic program specialisation
+Normal rank
@@ Property / cites work @@
+Q4417903
@@ Property / cites work: Q4417903 / rank @@
+Normal rank
@@ Property / cites work @@
+Imperative-program transformation by instrumented-interpreter specialization
+Normal rank
@@ Property / cites work @@
+On the partial computation principle
@@ Property / cites work: On the partial computation principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414738
@@ Property / cites work: Q4414738 / rank @@
+Normal rank
@@ Property / cites work @@
+On Jones-Optimal Specializers: A Case Study Using Unmix
+Normal rank
@@ Property / cites work @@
+A regeneration scheme for generating extensions
@@ Property / cites work: A regeneration scheme for generating extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation and \(\omega\)-completeness of algebraic specifications
+Normal rank
@@ Property / cites work @@
+Q4038724
@@ Property / cites work: Q4038724 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation by interpreter specialisation
@@ Property / cites work: Transformation by interpreter specialisation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472542
@@ Property / cites work: Q4472542 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711735
@@ Property / cites work: Q3711735 / rank @@
+Normal rank
@@ Property / cites work @@
+A positive supercompiler
@@ Property / cites work: A positive supercompiler / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529781
@@ Property / cites work: Q4529781 / rank @@
+Normal rank