Component-based synthesis for complex APIs (Q5370893): Difference between revisions

@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+halp
@@ Property / describes a project that uses: halp / 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 @@
+PARSEWeb
@@ Property / describes a project that uses: PARSEWeb / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XSnippet
@@ Property / describes a project that uses: XSnippet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JSketch
@@ Property / describes a project that uses: JSketch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Denali
@@ Property / describes a project that uses: Denali / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Soot
@@ Property / describes a project that uses: Soot / 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.1145/3009837.3009851
+Normal rank
@@ Property / OpenAlex ID @@
+W2561055248
@@ Property / OpenAlex ID: W2561055248 / rank @@
+Normal rank