|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12308 occurrences of 5729 keywords
|
|
|
Results
Found 19997 publication records. Showing 19997 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
72 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 15-26, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
70 | Ralf Hinze, Johan Jeuring |
Generic Haskell: Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming - Advanced Lectures, pp. 57-96, 2003, Springer, 3-540-20194-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
69 | 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 |
68 | Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher |
A Generic Programming Environment for High-Performance Mathematical Libraries. ![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. 256-268, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
generic libraries, specifications, computer algebra, functors |
68 | Axel Dold |
Software Development in PVS Using Generic Development Steps. ![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. 146-161, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
generic development steps, transformational software development, formal verification, mechanized theorem proving |
68 | James C. Dehnert, Alexander Stepanov 0001 |
Fundamentals of Generic 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. 1-11, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Generic programming, operator semantics, concept, regular type |
66 | David R. Musser, Arturo J. Sánchez-Ruíz |
Theory and Generality of Complete Traversals. ![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. 91-101, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures |
65 | Matthew B. Dwyer, Corina S. Pasareanu |
Model Checking Generic Container Implementations. ![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. 162-177, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
generic containers, Model checking, temporal logic, assume-guarantee reasoning |
65 | Andres Löh, Dave Clarke 0001, Johan Jeuring |
Dependency-style generic Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 141-152, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
generic haskell, functional programming, type systems, generic programming |
59 | Karl J. Lieberherr, Boaz Patt-Shamir |
The Refinement Relation of Graph-Based Generic Programs. ![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. 40-52, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
59 | James Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders, Stephen Smith 0002, Timothy J. Williams |
Generic Programming in POOMA and PETE. ![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. 218-231, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
56 | 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 |
|
56 | Christoph Schwarzweller |
Mizar Correctness Proofs of Generic Fraction Field Arithmetic. ![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. 178-191, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
53 | Hervé Brönnimann, Lutz Kettner, Stefan Schirra, Remco C. Veltkamp |
Applications of the Generic Programming Paradigm in the Design of CGAL. ![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. 206-217, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
52 | Roland Carl Backhouse, Paul F. Hoogendijk |
Generic Properties of Datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming - Advanced Lectures, pp. 97-132, 2003, Springer, 3-540-20194-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Ralf Hinze, Johan Jeuring |
Generic Haskell: Practice and Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming - Advanced Lectures, pp. 1-56, 2003, Springer, 3-540-20194-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Alberto Pardo |
Generic Accumulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 49-78, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
50 | Sharon A. Curtis |
A Generic Algorithm for Minimum Chain Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 79-88, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
50 | Thorsten Altenkirch, Conor McBride |
Generic Programming within Dependently Typed Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 1-20, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
50 | Eric E. Allen, Robert Cartwright, Brian Stoler |
Efficient Implementation of Run-time Generic Types for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 207-236, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
50 | Dave Clarke 0001, Andres Löh |
Generic Haskell, Specifically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 21-47, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
50 | |
Discussion: The Role of Types in Generic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 121-126, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
50 | Raymond T. Boute |
Concrete Generic Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 89-119, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
50 | Dietmar Kühl |
Generic Graph Algorithms. ![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. 249-255, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
data accessor, algorithm object, graph algorithm, iterator |
50 | David Abrahams |
Exception-Safety in Generic Components. ![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. 69-79, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
exception-safety, C++, exceptions, STL |
46 | Ullrich Köthe, Karsten Weihe |
The STL Model in the Geometric Domain. ![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. 232-248, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
46 | Matthew H. Austern |
Segmented Iterators and Hierarchical Algorithms. ![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. 80-90, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
multidimensional data structures, iterators, Standard Template Library |
45 | Johan Jeuring, Alexey Rodriguez, Gideon Smeding |
Generating generic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 23-32, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generic programming, automated testing, program synthesis, generalized algebraic data types |
45 | Marc Le Goc, Michel Gaeta |
Modelling structures in generic space, a condition for adaptiveness of monitoring cognitive agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 41(2-3), pp. 113-140, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
monitoring, expert systems, diagnosis, autonomous agent, cognitive agent |
44 | Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |
Comparing libraries for generic programming in haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, pp. 111-122, 2008, ACM, 978-1-60558-064-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
libraries comparison, datatype-generic programming |
44 | Ueli M. Maurer, Stefan Wolf 0001 |
Lower Bounds on Generic Algorithms in Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '98, International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceeding, pp. 72-84, 1998, Springer, 3-540-64518-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Diffie-Hellman protocol, roots in finite groups, complexity, lower bounds, discrete logarithms, generic algorithms |
42 | Jeremy Gibbons, Johan Jeuring (eds.) |
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![Kluwer, 1-4020-7374-7 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
42 | Douglas P. Gregor, Sibylle Schupp |
Making the Usage of STL Safe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 127-140, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
42 | Michael C. Burton, William G. Griswold, Andrew D. McCulloch, Gary A. Huber |
Static Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 141-169, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
42 | Olaf Seng, Thomas Genssler, Benedikt Schulz |
Adaptive Extensions of Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 171-186, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
42 | William Klostermeyer, David R. Musser, Arturo J. Sánchez-Ruíz |
Complete Traversals as General Iteration Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 187-206, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
42 | |
Discussion: Views of Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany, pp. 237-242, 2002, Kluwer, 1-4020-7374-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
42 | Mehdi Jazayeri, Rüdiger Loos, David R. Musser (eds.) |
Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![Springer, 3-540-41090-2 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden |
A Data Abstraction Alternative to Data Structure/Algorithm Modularization. ![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. 102-113, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Krzysztof Czarnecki 0001, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen |
Generative Programming and Active Libraries. ![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. 25-39, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Wolf Zimmermann, Arne Frick, Rainer Neumann |
The Construction Principles of the Class Library KARLA. ![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. 53-68, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Alexandre V. Zamulin |
Language Independent Container Specification. ![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. 192-205, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Martin Odersky, Enno Runne, Philip Wadler |
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. ![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. 114-132, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
41 | Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez |
Generic Views on Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, pp. 209-234, 2006, Springer, 3-540-35631-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Gordon S. Novak |
Software Reuse by Specialization of Generic Procedures Through Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(7), pp. 401-417, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
generic procedure, algorithm specialization, direct-manipulation editor, Software reuse, partial evaluation, abstract data type, view, generic algorithm |
40 | Antonie Azokly, Rolf Ingold |
A language for document generic layout description and its use for segmentation into regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1123-1126, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
document generic layout description language, generic layout description, region boundary delimiters, separator determination, segmentation method, page description languages |
38 | Eric E. Allen, Robert Cartwright |
The case for run-time types in generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 19-24, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
Java |
38 | Roy L. Crole |
Basic Category Theory for Models of Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming - Advanced Lectures, pp. 133-177, 2003, Springer, 3-540-20194-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Pablo Nogueira |
Context-parametric polykinded types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 45-54, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming |
36 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
Scala for generic programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 25-36, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scala, polytypic programming, datatype-generic programming |
36 | Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren |
A lightweight approach to datatype-generic rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 13-24, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
term rewriting, datatype-generic programming |
35 | Terje Henriksen |
The Genric Network Model-An ITU Approach for Interoperabilty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERWORKING ![In: Next Generation Networks, Networks and Services for the Information Society, 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000, Proceedings, pp. 12-31, 2000, Springer, 3-540-41140-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Generic network architecture, generic network model, logical layered architecture, management architecture, network level management, interoperability, interworking, RM-ODP |
35 | Roland Carl Backhouse, Jeremy Gibbons (eds.) |
Generic Programming - Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![Springer, 3-540-20194-7 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger |
A Mathematical Semantics for Architectural Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming - Advanced Lectures, pp. 178-221, 2003, Springer, 3-540-20194-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Changjing Wang, Jinyun Xue |
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings, pp. 27-39, 2009, Springer, 978-3-642-02269-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid |
35 | Mohamed Amir Esseghir, Ghada Gasmi, Sadok Ben Yahia, Yahya Slimani |
EGEA : A New Hybrid Approach Towards Extracting Reduced Generic Association Rule Set (Application to AML Blood Cancer Therapy). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings., pp. 491-502, 2006, Springer, 3-540-37736-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Frequent Closed itemset algorithms, Genetic Algorithms, Neural networks, Bioinformatics, Generic association rules |
35 | Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek |
Algorithm specialization in generic programming: challenges of constrained generics in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 272-282, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, specialization, parametric polymorphism |
35 | Roland Carl Backhouse |
Datatype-Generic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 21-34, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
allegory, generic programming, relation algebra, programming methodology, Datatype |
35 | Po-Chang Liu, Ming-Jyh Tsai, Deng-Jyi Chen |
A Generic Software Framework for the Software System Achitecture Design and Implementation of Handset Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 14-16 July 2005, Jeju Island, South Korea, pp. 169-174, 2005, IEEE Computer Society, 0-7695-2296-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UI requirement, UI Design Patterns, Generic Software Framework, Generator |
35 | Lie-Quan Lee, Andrew Lumsdaine |
Generic programming for high performance scientific applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 112-121, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
C++, message-passing, high-performance computing, generic programming, iterative solvers, krylov subspace |
35 | Lothar Baum, Martin Becker 0002 |
Generic Components to Foster Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 266-277, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
software development efficiency, project-specific aspects, reusable component contribution, inefficient general solutions, niche requirements, specifically optimized designs, requirements space, adaptable generic components, automatic component instantiation, embedded systems, software tools, software tools, abstraction, software reuse, software components, software reusability, computer aided software engineering, operating systems (computers), subroutines, embedded operating systems |
35 | Changqing Wang, David R. Musser |
Dynamic Verification of C++ Generic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(5), pp. 314-323, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library |
34 | Muhammad Sher, Thomas Magedanz |
Secure access to IP multimedia services using generic bootstrapping architecture (GBA) for 3G & beyond mobile networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Q2SWinet ![In: Q2SWinet'06 - Proceedings of the Second ACM Workshop on Q2S and Security for Wireless and Mobile Networks, Terromolinos, Spain, October 2, 2006, pp. 17-24, 2006, ACM, 1-59593-486-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
IP multimedia system, authentication proxy, generic authentication architecture, generic bootstrapping architecture, transport layer security, security and privacy |
34 | Ines Bouzouita, Samir Elloumi |
Efficient Generic Association Rules Based Classifier Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLA ![In: Concept Lattices and Their Applications, Fourth International Conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006, Selected Papers, pp. 170-185, 2006, Springer, 978-3-540-78920-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Generic Basis, Classifier, Classification Rules, interestingness measures, Associative Classification, Generic association rules |
34 | Kees van Berkel 0001, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij, Rik van de Wiel |
A single-rail re-implementation of a DCC error detector using a generic standard-cell library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 72-, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
digital audio tape, DCC error detector, generic standard-cell library, single-rail re-implementation, fully asynchronous implementation, handshake signaling, single-rail data encoding, generic cell library, high-level Tangram description, intermediate architecture, high level synthesis, asynchronous circuits, error detection codes, integrated logic circuits, cellular arrays, power dissipation, handshake circuits |
33 | Daniel McDonald, Hsinchun Chen |
Summary in context: Searching versus browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 24(1), pp. 111-141, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generic summaries, indicative summaries, search, natural language processing, browse, Summarization, information seeking, text processing |
33 | Artem Alimarine, Sjaak Smetsers |
Improved Fusion for Optimizing Generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, pp. 203-218, 2005, Springer, 3-540-24362-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
generic/polytypic programming, program transformation, fusion |
33 | Kyle D. Ross |
Towards an automatic complexity analysis for generic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 87-95, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cost-bound functions, library-oriented software, performance concepts, abstract interpretation, generic programming, complexity analysis |
33 | Jeremy Gibbons |
Design patterns as higher-order datatype-generic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 1-12, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
design patterns, functional programming, generic programming, unfolds, folds, higher-order functions |
33 | Martin Sulzmann, Meng Wang 0002 |
Modular generic programming with extensible superclasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 55-65, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generic programming, type classes |
32 | Ines Bouzouita, Samir Elloumi, Sadok Ben Yahia |
GARC: A New Associative Classification Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings., pp. 554-565, 2006, Springer, 3-540-37736-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Generic Basis, Classifier, Classification Rules, Associative Classification, Generic association rules |
32 | Mohamed Dahchour, Alain Pirotte 0001, Esteban Zimányi |
Generic Relationships in Information Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics IV, pp. 1-34, 2005, Springer, 3-540-31001-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Renato Silva, Michael J. Butler |
Supporting Reuse of Event-B Developments through Generic Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 466-484, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generic instantiation, formal methods, reusability, event-B |
32 | Fehmi Cirak, Julian C. Cummings |
Generic programming techniques for parallelizing and extending procedural finite element programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 24(1), pp. 1-16, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-physics coupling, Parallelization, Object-oriented programming, Finite elements, Generic programming |
32 | Roland Carl Backhouse, Henk Doornbos |
Datatype-Generic Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 362-393, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Allegory, Generic programming, Relation algebra, Programming methodology, Datatype |
32 | Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz |
A comparison of c++ concepts and haskell type classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 37-48, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
specification-driven development, c++, haskell, generic programming, concepts, type classes |
32 | Timmy Douglas |
Making generic functions useable in Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007, pp. 36-41, 2007, ACM, 978-1-59593-629-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
programming environments, Smalltalk, generic functions, multimethods, multiple dispatch, squeak |
32 | Bertrand Coüasnon |
DMOS, a generic document recognition method: application to table structure analysis in a general and in a specific way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 8(2-3), pp. 111-122, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Recursive table recognition, Grammar, Structured documents, Generic system, Archives document |
32 | Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine |
Concepts: linguistic support for generic programming in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 291-310, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, parametric polymorphism, C++0x, C++ templates |
32 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap your boilerplate with class: extensible generic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 204-215, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
recursive dictionaries, typecase, extensibility, generic programming, type classes |
32 | Jeremy G. Siek, Andrew Lumsdaine |
Essential language support for generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 73-84, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
C++, Haskell, polymorphism, generic programming, standard ML |
32 | Xiaomao Wu, Lizhuang Ma, Ke-Sen Huang, Yan Gao 0004, Zhihua Chen |
Generic-Model Based Human-Body Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2005, 4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings, pp. 203-214, 2005, Springer, 3-540-29034-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Anatomically-based modeling, generic model, human body modeling |
32 | Aimin Wu, De Xu, Xu Yang 0001, Jianhui Zheng |
Generic Solution for Image Object Recognition Based on Vision Cognition Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (2) ![In: Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II, pp. 1265-1275, 2005, Springer, 3-540-28331-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Generic solution, Visual cognition theory, Object recognition, Knowledge |
32 | Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani |
IGB: A New Informative Generic Base of Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005, Proceedings, pp. 81-90, 2005, Springer, 3-540-26076-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Generic base, Axio-matic system, Association rules, Galois connection |
32 | Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock |
A comparative study of language support for generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 115-134, 2003, ACM, 1-58113-712-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel |
32 | Jürgen Vogel 0001, Martin Mauve, Werner Geyer, Volker Hilt, Christoph Kuhmünch |
A generic late-join service for distributed interactive media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30 - November 3, 2000., pp. 259-267, 2000, ACM, 1-58113-198-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
RTP/I, distributed interactive media, generic service, late-join |
32 | O. T. Akindele, Abdel Belaïd |
Construction of generic models of document structures using inference of tree grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 206-209, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
tree grammar inference, document class, generic constructors, logically labeled specific structures, document image processing, inference mechanisms, graph grammars, document structures |
31 | Brian S. Tani, Tiago Nobrega, Thiago R. dos Santos, Aldo von Wangenheim |
Generic Visualization and Manipulation Framework for Three-Dimensional Medical Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 22-23 June 2006, Salt Lake City, Utah, USA, pp. 27-31, 2006, IEEE Computer Society, 978-0-7695-2517-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model View Controller Framework, Generic Manipulation, Generic Visualization |
31 | D. Michelle Benjamin, Barbara W. Mazziotti, F. Bradley Armstrong |
Issues and requirements for building a generic animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 26th conference on Winter simulation, WSC 1994, Lake Buena Vista, FL, USA, December 11-14, 1994, pp. 1304-1310, 1994, ACM, 0-7803-2109-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Focused Applicator Simulator and Trainer, data-driven animation, generic animation, non-programming data entry, visually accurate animation, generic model |
31 | Alex Potanin, James Noble 0001, Dave Clarke 0001, Robert Biddle |
Generic ownership for generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 311-324, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, generics, type systems, ownership |
30 | José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh |
Optimizing generics is easy! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 33-42, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
optimization, benchmark, functional programming, haskell, generic programming |
30 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap more boilerplate: reflection, zips, and generalised casts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 244-255, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
type cast, reflection, generic programming, zippers |
30 | Stephen M. Watt |
A technique for generic iteration and its optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 76-86, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generic program, iterators |
29 | Marco Mattavelli, Sylvain Brunetton, Daniel Mlynek |
A Parallel Multimedia Processor for Macroblock Based Compression Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 570-573, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel multimedia processor, macroblock based compression standards, block-based video processing algorithms, DGP, digital generic processor, generic system architecture, pixel processors, RISC controller, video processing algorithms, video effects, window clipping, H.261, 1.7 GIPS, 54 MHz, 0.5 micron, code, video compression, digital filtering, MPEG-2, digital signal processing chips, H.263, SIMD architecture, MPEG-1 |
29 | Renaud Marlet, Scott Thibault, Charles Consel |
Mapping Software Architectures to Efficient Implementations via Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 183-192, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
code size overhead, inefficiency, flexible mechanisms, generic libraries, software engineering, software engineering, software architectures, pattern matching, interpreters, generic programs, partial evaluation, layers, program specialization, selective broadcast |
29 | Douglas E. Harms, Bruce W. Weide |
Copying and Swapping: Influences on the Design of Reusable Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(5), pp. 424-435, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
data movement primitive, generic reusable software components, generic module designs, swapping style, data structures, software reusability |
29 | Judy M. Bishop |
The Effect of Data Abstraction on Loop Programming Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(4), pp. 389-402, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction |
29 | Tibor Jager, Jörg Schwenk |
On the Analysis of Cryptographic Assumptions in the Generic Ring Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, pp. 399-416, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Wolfgang Jeltsch |
Generic record combinators with static type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 143-154, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction |
28 | Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan |
Reusable, generic program analyses and transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 5-14, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, generic programming |
Displaying result #1 - #100 of 19997 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|