An algebraic foundation for automatic feature-based program synthesis (Q988187): Difference between revisions

@@ Property / cites work @@
+A calculus for reasoning about software composition
+Normal rank
@@ Property / cites work @@
+An Algebra for Features and Feature Composition
@@ Property / cites work: An Algebra for Features and Feature Composition / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of CaesarJ
@@ Property / cites work: An Overview of CaesarJ / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Aspects of Tree Amalgamation
@@ Property / cites work: Algorithmic Aspects of Tree Amalgamation / rank @@
+Normal rank
@@ Property / cites work @@
+An example of stepwise refinement of distributed programs: quiescence detection
+Normal rank
@@ Property / cites work @@
+A virtual class calculus
@@ Property / cites work: A virtual class calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229053
@@ Property / cites work: Q4229053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779263
@@ Property / cites work: Q2779263 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretic interpretation of pointcuts and advice
+Normal rank
@@ Property / cites work @@
+Q2736362
@@ Property / cites work: Q2736362 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of aspects
@@ Property / cites work: A theory of aspects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046757
@@ Property / cites work: Q3046757 / rank @@
+Normal rank