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

@@ Property / describes a project that uses @@
+AspectJ
@@ Property / describes a project that uses: AspectJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaesarJ
@@ Property / describes a project that uses: CaesarJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tribe
@@ Property / describes a project that uses: Tribe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Classbox/J
@@ Property / describes a project that uses: Classbox/J / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jiazzi
@@ Property / describes a project that uses: Jiazzi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AspectC++
@@ Property / describes a project that uses: AspectC++ / 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/j.scico.2010.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2160885640
@@ Property / OpenAlex ID: W2160885640 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59562908
@@ Property / Wikidata QID: Q59562908 / rank @@
+Normal rank
@@ 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