Programming by predicates: a formal model for interactive synthesis (Q2303879): Difference between revisions

@@ Property / describes a project that uses @@
+BlinkFill
@@ Property / describes a project that uses: BlinkFill / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Houdini
@@ Property / describes a project that uses: Houdini / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FlashExtract
@@ Property / describes a project that uses: FlashExtract / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CodeHint
@@ Property / describes a project that uses: CodeHint / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRANSIT
@@ Property / describes a project that uses: TRANSIT / 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/s00236-019-00340-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2971064436
@@ Property / OpenAlex ID: W2971064436 / rank @@
+Normal rank
@@ Property / cites work @@
+Scaling Enumerative Program Synthesis via Divide and Conquer
+Normal rank
@@ Property / cites work @@
+Synthesis with abstract examples
@@ Property / cites work: Synthesis with abstract examples / rank @@
+Normal rank
@@ Property / cites work @@
+The Daikon system for dynamic detection of likely invariants
+Normal rank
@@ Property / cites work @@
+Component-based synthesis for complex APIs
@@ Property / cites work: Component-based synthesis for complex APIs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763999
@@ Property / cites work: Q2763999 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating string processing in spreadsheets using input-output examples
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of formal synthesis via inductive learning
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Programming by demonstration using version space algebra
+Normal rank
@@ Property / cites work @@
+Abstraction-Based Interaction Model for Synthesis
@@ Property / cites work: Abstraction-Based Interaction Model for Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+$$D^3$$ : Data-Driven Disjunctive Abstraction
@@ Property / cites work: $$D^3$$ : Data-Driven Disjunctive Abstraction / rank @@
+Normal rank