Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for incrementality with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1995 (15) 1997-2002 (17) 2003-2006 (16) 2007-2009 (19) 2010-2017 (16) 2018-2021 (16) 2022-2024 (8)
Publication types (Num. hits)
article(31) incollection(1) inproceedings(72) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(8) CP(6) ACM Trans. Program. Lang. Syst...(3) Dialogue Discourse(3) ACL(2) Cogn. Sci.(2) PLILP(2) TREC(2) TSD(2) ACM Multimedia(1) ACM SIGPLAN Notices(1) AI*IA(1) Ann. Oper. Res.(1) Artif. Life(1) ASP-DAC(1) Bangalore Compute Conf.(1) More (+10 of total 83)
Authors
Gianpiero Cabodi(4) Joel Barajas(4) Narayan Bhamidipati(4) Carlo Ghezzi(3) Christoph Weidenbach(3) Isabel Garcia-Contreras(3) James G. Shanahan(3) Jasmin Christian Blanchette(3) Marco Palena(3) Mathias Fleury(3) Matthew Purver(3) Mihir Bellare(3) Vincenzo Lombardo(3) Abdelhamid Bouchachia(2) Antoine Pigeau(2) Avi Arampatzis(2) More (+10 of total 215)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 45 occurrences of 44 keywords
Results
Found 107 publication records. Showing 107 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
16Robert Nieuwenhuis, Albert Rubio Theorem Proving with Ordering Constrained Clauses. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
16John Field, Tim Teitelbaum Incremental Reduction in the lambda Calculus. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
16Vincenzo Ambriola, David Notkin Reasoning About Interactive Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF command decomposition, component decomposition, action paths, unconstrained actions, error profile, user interfaces, interactive system, interactive systems
16Pierpaolo Degano, Stefano Mannucci, Bruno Mojana Efficient Incremental LR Parsing for Syntax-Directed Editors. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
16Isabelle Attali Compiling TYPOL with Attribute Grammars. Search on Bibsonomy PLILP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
16Mayer D. Schwartz, Norman M. Delisle, Vimal S. Begwani Incremental compilation in Magpie. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
16Ellis Cohen Text-Oriented Structure Commands for Structure Editors. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #107 of 107 (100 per page; Change: )
Pages: [<<][1][2]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license