Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879): Difference between revisions

@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs as programs
@@ Property / cites work: Proofs as programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947094
@@ Property / cites work: Q3947094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731007
@@ Property / cites work: Q3731007 / rank @@
+Normal rank
@@ Property / cites work @@
+The promotion and accumulation strategies in transformational programming
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Computer-assisted microanalysis of programs
@@ Property / cites work: Computer-assisted microanalysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+High level iterators and a method for automatically designing data structure representation
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Experience with the SETL Optimizer
@@ Property / cites work: Experience with the SETL Optimizer / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134899
@@ Property / cites work: Q4134899 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656731
@@ Property / cites work: Q5656731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4186267
@@ Property / cites work: Q4186267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758820
@@ Property / cites work: Q3758820 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data types and software validation
@@ Property / cites work: Abstract data types and software validation / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Equations
@@ Property / cites work: Programming with Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Improvement by Source-to-Source Transformation
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195960
@@ Property / cites work: Q4195960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339273
@@ Property / cites work: Q3339273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700872
@@ Property / cites work: Q3700872 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Differencing of Computable Expressions
@@ Property / cites work: Finite Differencing of Computable Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A linear time solution to the single function coarsest partition problem
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+An Automatic Technique for Selection of Data Representations in SETL Programs
+Normal rank
@@ Property / cites work @@
+Automatic data structure choice in a language of very high level
+Normal rank
@@ Property / cites work @@
+Q3741005
@@ Property / cites work: Q3741005 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
+Normal rank
@@ Property / cites work @@
+Q5686039
@@ Property / cites work: Q5686039 / rank @@
+Normal rank
@@ Property / cites work @@
+Amortized Computational Complexity
@@ Property / cites work: Amortized Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q3206351
@@ Property / cites work: Q3206351 / rank @@
+Normal rank
@@ Property / cites work @@
+Program development by stepwise refinement
@@ Property / cites work: Program development by stepwise refinement / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(87)80066-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2110272713
@@ Property / OpenAlex ID: W2110272713 / rank @@
+Normal rank