Search results for "generic"

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