|
|
Venues (Conferences, Journals, ...)
|
|
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 |
86 | David R. Musser, Sibylle Schupp, Rüdiger Loos |
Requirement Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 12-24, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library |
39 | Deepak Kapur, Xumin Nie, David R. Musser |
An Overview of the Tecton Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 133(2), pp. 307-339, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
39 | Deepak Kapur, David R. Musser, Xumin Nie |
The Tecton Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Databases and Software Engineering ![In: Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992, pp. 54-79, 1992, Springer, 3-540-19812-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
39 | Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie |
The Tecton Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 442-444, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
39 | Deepak Kapur, David R. Musser, Alexander A. Stepanov 0001 |
Tecton: A Language for Manipulating Generic Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 402-414, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
25 | Alessandro Armando, Luca Compagna, Silvio Ranise |
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 30-45, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | David R. Musser, Zhiqing Shao |
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 132-143, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Specification techniques and languages, specification evolution and refinement, formal semantics |
25 | Alessandro Armando, Luca Compagna, Silvio Ranise |
System Description: RDL : Rewrite and Decision Procedure Laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 663-669, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Sibylle Schupp, Rüdiger Loos |
SUCHTHAT - Generic Programming Works. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 133-145, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Deepak Kapur, Mahadevan Subramaniam |
Using Linear Arithmetic Procedure for Generating Induction Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 438-449, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|