Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1981-2005 (10)
Publication types (Num. hits)
article(1) inproceedings(9)
Venues (Conferences, Journals, ...)
Generic Programming(2) Formal Methods in Databases an...(1) FSTTCS(1) ICFEM(1) IJCAR(1) Mechanizing Mathematical Reaso...(1) Program Specification(1) RTA(1) Theor. Comput. Sci.(1)
Authors
David R. Musser(6) Deepak Kapur(5) Xumin Nie(3) Alessandro Armando(2) Luca Compagna(2) Rüdiger Loos(2) Sibylle Schupp(2) Silvio Ranise(2) Alexander A. Stepanov 0001(1) Mahadevan Subramaniam(1) Raj Agarwal(1) Zhiqing Shao(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
86David R. Musser, Sibylle Schupp, Rüdiger Loos Requirement Oriented Programming. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library
39Deepak Kapur, Xumin Nie, David R. Musser An Overview of the Tecton Proof System. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Deepak Kapur, David R. Musser, Xumin Nie The Tecton Proof System. Search on Bibsonomy Formal Methods in Databases and Software Engineering The full citation details ... 1992 DBLP  BibTeX  RDF
39Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie The Tecton Proof System. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Deepak Kapur, David R. Musser, Alexander A. Stepanov 0001 Tecton: A Language for Manipulating Generic Objects. Search on Bibsonomy Program Specification The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
25Alessandro Armando, Luca Compagna, Silvio Ranise Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25David R. Musser, Zhiqing Shao Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Specification techniques and languages, specification evolution and refinement, formal semantics
25Alessandro Armando, Luca Compagna, Silvio Ranise System Description: RDL : Rewrite and Decision Procedure Laboratory. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Sibylle Schupp, Rüdiger Loos SUCHTHAT - Generic Programming Works. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Deepak Kapur, Mahadevan Subramaniam Using Linear Arithmetic Procedure for Generating Induction Schemes. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
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