|
|
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. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
70 | Ralf Hinze, Johan Jeuring |
Generic Haskell: Applications. |
Generic Programming |
2003 |
DBLP DOI BibTeX RDF |
|
69 | David R. Musser, Sibylle Schupp, Rüdiger Loos |
Requirement Oriented Programming. |
Generic Programming |
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. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
generic libraries, specifications, computer algebra, functors |
68 | Axel Dold |
Software Development in PVS Using Generic Development Steps. |
Generic Programming |
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. |
Generic Programming |
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. |
Generic Programming |
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. |
Generic Programming |
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. |
ICFP |
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. |
Generic Programming |
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. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
56 | Sibylle Schupp, Rüdiger Loos |
SUCHTHAT - Generic Programming Works. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
56 | Christoph Schwarzweller |
Mizar Correctness Proofs of Generic Fraction Field Arithmetic. |
Generic Programming |
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. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
52 | Roland Carl Backhouse, Paul F. Hoogendijk |
Generic Properties of Datatypes. |
Generic Programming |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Ralf Hinze, Johan Jeuring |
Generic Haskell: Practice and Theory. |
Generic Programming |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Alberto Pardo |
Generic Accumulations. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
50 | Sharon A. Curtis |
A Generic Algorithm for Minimum Chain Partitioning. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
50 | Thorsten Altenkirch, Conor McBride |
Generic Programming within Dependently Typed Programming. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
50 | Eric E. Allen, Robert Cartwright, Brian Stoler |
Efficient Implementation of Run-time Generic Types for Java. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
50 | Dave Clarke 0001, Andres Löh |
Generic Haskell, Specifically. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
50 | |
Discussion: The Role of Types in Generic Programming. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
50 | Raymond T. Boute |
Concrete Generic Functionals. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
50 | Dietmar Kühl |
Generic Graph Algorithms. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
data accessor, algorithm object, graph algorithm, iterator |
50 | David Abrahams |
Exception-Safety in Generic Components. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
exception-safety, C++, exceptions, STL |
46 | Ullrich Köthe, Karsten Weihe |
The STL Model in the Geometric Domain. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
46 | Matthew H. Austern |
Segmented Iterators and Hierarchical Algorithms. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
multidimensional data structures, iterators, Standard Template Library |
45 | Johan Jeuring, Alexey Rodriguez, Gideon Smeding |
Generating generic functions. |
ICFP-WGP |
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. |
J. Intell. Robotic Syst. |
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. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
libraries comparison, datatype-generic programming |
44 | Ueli M. Maurer, Stefan Wolf 0001 |
Lower Bounds on Generic Algorithms in Groups. |
EUROCRYPT |
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 |
Generic Programming |
2003 |
DBLP BibTeX RDF |
|
42 | Douglas P. Gregor, Sibylle Schupp |
Making the Usage of STL Safe. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
42 | Michael C. Burton, William G. Griswold, Andrew D. McCulloch, Gary A. Huber |
Static Data Structures. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
42 | Olaf Seng, Thomas Genssler, Benedikt Schulz |
Adaptive Extensions of Object-Oriented Systems. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
42 | William Klostermeyer, David R. Musser, Arturo J. Sánchez-Ruíz |
Complete Traversals as General Iteration Patterns. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
42 | |
Discussion: Views of Genericity. |
Generic Programming |
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 |
Generic Programming |
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. |
Generic Programming |
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. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Wolf Zimmermann, Arne Frick, Rainer Neumann |
The Construction Principles of the Class Library KARLA. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Alexandre V. Zamulin |
Language Independent Container Specification. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Martin Odersky, Enno Runne, Philip Wadler |
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. |
Generic Programming |
1998 |
DBLP BibTeX RDF |
|
41 | Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez |
Generic Views on Data Types. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Gordon S. Novak |
Software Reuse by Specialization of Generic Procedures Through Views. |
IEEE Trans. Software Eng. |
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. |
ICDAR |
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. |
PPPJ/IRE |
2002 |
DBLP BibTeX RDF |
Java |
38 | Roy L. Crole |
Basic Category Theory for Models of Syntax. |
Generic Programming |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Pablo Nogueira |
Context-parametric polykinded types. |
ICFP-WGP |
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. |
ICFP-WGP |
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. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
term rewriting, datatype-generic programming |
35 | Terje Henriksen |
The Genric Network Model-An ITU Approach for Interoperabilty. |
INTERWORKING |
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 |
Generic Programming |
2003 |
DBLP DOI BibTeX RDF |
|
35 | José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger |
A Mathematical Semantics for Architectural Connectors. |
Generic Programming |
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. |
FAW |
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). |
DaWaK |
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++. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, specialization, parametric polymorphism |
35 | Roland Carl Backhouse |
Datatype-Generic Reasoning. |
CiE |
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. |
ACIS-ICIS |
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. |
Java Grande |
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. |
TOOLS (37) |
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. |
IEEE Trans. Software Eng. |
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. |
Q2SWinet |
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. |
CLA |
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. |
ASYNC |
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. |
ACM Trans. Inf. Syst. |
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. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
generic/polytypic programming, program transformation, fusion |
33 | Kyle D. Ross |
Towards an automatic complexity analysis for generic programs. |
ICFP-WGP |
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. |
ICFP-WGP |
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. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
generic programming, type classes |
32 | Ines Bouzouita, Samir Elloumi, Sadok Ben Yahia |
GARC: A New Associative Classification Approach. |
DaWaK |
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. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Renato Silva, Michael J. Butler |
Supporting Reuse of Event-B Developments through Generic Instantiation. |
ICFEM |
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. |
Eng. Comput. |
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. |
Theory Comput. Syst. |
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. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
specification-driven development, c++, haskell, generic programming, concepts, type classes |
32 | Timmy Douglas |
Making generic functions useable in Smalltalk. |
ACM Southeast Regional Conference |
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. |
Int. J. Document Anal. Recognit. |
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++. |
OOPSLA |
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. |
ICFP |
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. |
PLDI |
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. |
ICEC |
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. |
FSKD (2) |
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. |
PAKDD |
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. |
OOPSLA |
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. |
ACM Multimedia |
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. |
ICDAR |
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. |
CBMS |
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. |
WSC |
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. |
OOPSLA |
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! |
PEPM |
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. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
type cast, reflection, generic programming, zippers |
30 | Stephen M. Watt |
A technique for generic iteration and its optimization. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
generic program, iterators |
29 | Marco Mattavelli, Sylvain Brunetton, Daniel Mlynek |
A Parallel Multimedia Processor for Macroblock Based Compression Standards. |
ICIP (2) |
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. |
ASE |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Software Eng. |
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. |
ASIACRYPT |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Wolfgang Jeltsch |
Generic record combinators with static type checking. |
PPDP |
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. |
GPCE |
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][ >>] |
|