Search results for "Genericity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Hans Fleischhack	P-Genericity and Strong G-Genericity.	MFCS	1986	DBLP DOI BibTeX RDF
73	Floris Geerts, Sofie Haesevoets, Bart Kuijpers	First-order complete and computationally complete query languages for spatio-temporal databases.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	query languages, spatial databases, moving objects, spatio-temporal databases, Constraint databases
69	Ileana Streinu, Louis Theran	Combinatorial genericity and minimal rigidity.	SCG	2008	DBLP DOI BibTeX RDF	computational geometry, rigidity, sparse graphs
67	Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann	Weak Subtyping and Genericity.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Genericity, Inheritance, Subtype, Conformance
57	Liang Yu	Lowness for genericity.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D80
57	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
57	Klaus Ambos-Spies, Edgar Busse	Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata.	DMTCS	2003	DBLP DOI BibTeX RDF
55	Yania Crespo, Juan José Rodríguez, José Manuel Marqués Corral	Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	restructuring classes, reorganizing hierarchies, constrained genericity, object oriented programming, reuse, Eiffel
46	Adriaan Moors, Frank Piessens, Wouter Joosen	An object-oriented approach to datatype-generic programming.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	datatype-genericity, scala, polytypic programming
46	Silvia Clerici, Fernando Orejas	GSBL: An Algebraic Specification Language Based on Inheritance.	ECOOP	1988	DBLP DOI BibTeX RDF	genericity, specification languages, inheritance, Algebraic specification
45	Alexander Bienemann, Klaus-Dieter Schewe, Bernhard Thalheim	Towards a Theory of Genericity Based on Government and Binding.	ER	2006	DBLP DOI BibTeX RDF
45	Klaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng	Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness.	STACS	1996	DBLP DOI BibTeX RDF
45	Jan Kuper	Proving the Genericity Lemma by Leftmost Reduction is Simple.	RTA	1995	DBLP DOI BibTeX RDF
45	Christophe Lécluse, Philippe Richard	Modeling Inheritance and Genericity in Object Oriented-Databases.	ICDT	1988	DBLP DOI BibTeX RDF
45	Chris Horn	Conformance, Genericity, Inheritance and Enhancement.	ECOOP	1987	DBLP DOI BibTeX RDF
42	Véronique Plihon, Colette Rolland	Genericity in method construction.	APSEC	1997	DBLP DOI BibTeX RDF	method construction genericity, method engineering discipline, method construction patterns, method reuse, software engineering, process model, system engineering, product model
41	John Kenneth Truss	On notions of genericity and mutual genericity.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
36	Daniel Fontijne	Gaigen 2: a geometric algebra implementation generator.	GPCE	2006	DBLP DOI BibTeX RDF	conformal model, profiling program transformation, synthesis from specification, object-oriented, geometric algebra
36	Floris Geerts, Sofie Haesevoets, Bart Kuijpers	A Theory of Spatio-Temporal Database Queries.	DBPL	2001	DBLP DOI BibTeX RDF
34	Michael Pitzer, Heinz Dobler	An Object-Oriented and Generic Compiler Generator.	EUROCAST	2007	DBLP DOI BibTeX RDF	Visitor, Compiler, Design Patterns, Genericity, Interpreter, Attributed Grammars, Compiler Generator, EBNF
34	Ralf Lämmel, Joost Visser 0001	Typed Combinators for Generic Traversal.	PADL	2002	DBLP DOI BibTeX RDF	program transformation, Genericity, combinators, traversal
34	David Maley, Ivor T. A. Spence	But Who Will Guard the Guardians?	TOOLS (34)	2000	DBLP DOI BibTeX RDF	VDM++, C++, Genericity, Design by Contract
33	Andreas Müller 0002	A genericity condition for general serial manipulators.	ICRA	2009	DBLP DOI BibTeX RDF
33	Suad Alagic, Mark Royer	Genericity in Java: persistent and database systems implications.	VLDB J.	2008	DBLP DOI BibTeX RDF	Java, Reflection, Transactions, Object-oriented databases, Type systems, Virtual platforms, Object persistence
33	Sabeur Ammar, Mohamed Mabrouk, Jean-Claude Vivalda	On the genericity of the differential observability of controlled discrete-time systems.	CDC	2008	DBLP DOI BibTeX RDF
33	Jacques Lonchamp	Multi-Dimensional Model-based Genericity in Omega+.	ICALT	2006	DBLP DOI BibTeX RDF
33	Jean-Baptiste Fasquel, Vincent Agnus	Improving Genericity and Performances of Medical Systems Based on Image Analysis.	CBMS	2005	DBLP DOI BibTeX RDF
33	Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz	Obtaining Genericity for Image Processing and Pattern Recognition Algorithms.	ICPR	2000	DBLP DOI BibTeX RDF
33	Kresten Krab Thorup, Mads Torgersen	Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes.	ECOOP	1999	DBLP DOI BibTeX RDF
33	Robert Cartwright, Guy L. Steele Jr.	Compatible Genericity with Run-Time Types for the Java Programming Language.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
33	Boris Bokowski, Markus Dahm	Poor Man's Genericity for Java.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
33	Kresten Krab Thorup	Genericity in Java with Virtual Types.	ECOOP	1997	DBLP DOI BibTeX RDF
33	Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn	Genericity and Measure for Exponential Time.	MFCS	1994	DBLP DOI BibTeX RDF
24	Ana Simonet, Michel Simonet, Cyr Gabin Bassolet, Sylvain Ferriol, Cédric Gueydan, Rémi Patriarche, Haijin Yu, Ping Hao, Yi Liu, Wen Zhang, Nan Chen, Michel Forêt, Philippe Gaudin, Georges De Moor, Geert Thienpont, Mohamed Ben Saïd, Paul Landais, Didier Guillon	GENNERE: A Generic Epidemiological Network for Nephrology and Rheumatology.	ER	2004	DBLP DOI BibTeX RDF
24	Christian Heide Damm, Patrick Th. Eugster, Rachid Guerraoui	Linguistic Support for Distributed Programming Abstractions.	ICDCS	2004	DBLP DOI BibTeX RDF
24	David Jeffery, Fergus Henderson, Zoltan Somogyi	Type Classes in Mercury.	ACSC	2000	DBLP DOI BibTeX RDF
24	Neeraj Sangal, Edward Farrell, Karl J. Lieberherr, David H. Lorenz	Interaction Schemata: Compiling Interactions to Code.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
24	Mark Evered, James Leslie Keedy, Gisela Menger, Axel Schmolitzky	Genja - A New Proposal for Parameterised Types in Java.	TOOLS (25)	1997	DBLP DOI BibTeX RDF
24	William T. Freeman	Exploiting the generic viewpoint assumption.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF
24	Patrick de Bondeli	An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming.	Ada-Europe	1996	DBLP DOI BibTeX RDF
24	Spiros Mancoridis	A multi-dimensional taxonomy of software development environments.	CASCON	1993	DBLP BibTeX RDF
24	Pierre America	Designing an Object-Oriented Programming Language with Behavioural Subtyping.	REX Workshop	1990	DBLP DOI BibTeX RDF
24	Luc Bougé	On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract).	WDAG	1987	DBLP DOI BibTeX RDF
22	Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté	UML/OCL and Refinement.	ECBS	2011	DBLP DOI BibTeX RDF	Mathematics extension, Global invariant, Local invariant, Refinement, Genericity, Inheritance, OCL, Class Library
22	James Laird	Game Semantics for a Polymorphic Programming Language.	LICS	2010	DBLP DOI BibTeX RDF	general references, genericity, polymorphism, game semantics
22	Hubertus Th. Jongen, Jan-J. Rückmann, Oliver Stein	Parametric Global Optimization: Sensitivity.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	reduction Ansatz, Mangasarian-Fromovitz constraint qualification, Trap-door point, Genericity, Singularity, Structural stability, Parametric programming
22	Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel	Generic Model Refactorings.	MoDELS	2009	DBLP DOI BibTeX RDF	Model Typing, Adaptation, Genericity, Refactoring, Aspect Weaving
22	Adriaan Moors, Frank Piessens, Martin Odersky	Generics of a higher kind.	OOPSLA	2008	DBLP DOI BibTeX RDF	higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
22	Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea	A flow-based approach for variant parametric types.	OOPSLA	2006	DBLP DOI BibTeX RDF	variant parametric types, constraints, genericity, subtyping, flow analysis
22	Dirk Draheim, Christof Lutteroth, Gerald Weber	Generative programming for C#.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	genericity, reflection, generative programming, C#
22	Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter	Adding wildcards to the Java programming language.	SAC	2004	DBLP DOI BibTeX RDF	genericity, wildcards, parameterized types
22	Jack Jie Dai, Jack H. Lutz	Query Order and NP-Completeness.	CCC	1999	DBLP DOI BibTeX RDF	query order, resource-bounded genericity, computational complexity, NP-completeness, complexity classes, resource-bounded measure
22	Joris van der Hoeven	Generic Asymptotic Expansions.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Exp-log function, Algorithm, Genericity, Asymptotic expansion
22	Harald C. Gall, Mehdi Jazayeri, René Klösch, Georg Trausmuth	The Architectural Style of Component Programming.	COMPSAC	1997	DBLP DOI BibTeX RDF	component programming, genericity, architectural style, standard template library
22	Klaus Ambos-Spies, Elvira Mayordomo, Xizhong Zheng	A Comparison of Weak Completeness Notions.	CCC	1996	DBLP DOI BibTeX RDF	Weak Completeness, Measure, Genericity, Completeness
22	Catherine Dubois, François Rouaix, Pierre Weis	Generic Polymorphism.	POPL	1995	DBLP DOI BibTeX RDF	debugging, genericity, dynamics, ML, ML, polymorphism, functional language, type checking, Caml, ad-hoc polymorphism
22	Cornelia Zelinsky-Wibbelt	Token reference vs. type reference: Implications for machine translation.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	genericity, reference, English, lexical semantics, German, French, nouns, cognitive linguistics
21	Claudia Collacciani, Andrea Amelio Ravelli, Marianna Marcella Bolognesi	Specifying Genericity through Inclusiveness and Abstractness Continuous Scales.	CoRR	2024	DBLP DOI BibTeX RDF
21	Victor Arrial, Giulio Guerrieri, Delia Kesner	Genericity Through Stratification.	CoRR	2024	DBLP DOI BibTeX RDF
21	Beniamino Accattoli, Adrienne Lancelot	Light Genericity.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
21	Achim Ilchmann, Jonas Kirchhoff	Correction to: Relative genericity of controllability and stabilizability for differential-algebraic systems.	Math. Control. Signals Syst.	2023	DBLP DOI BibTeX RDF
21	Achim Ilchmann, Jonas Kirchhoff	Relative genericity of controllablity and stabilizability for differential-algebraic systems.	Math. Control. Signals Syst.	2023	DBLP DOI BibTeX RDF
21	Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen	Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal.	Art Sci. Eng. Program.	2023	DBLP DOI BibTeX RDF
21	James Laird	Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism.	FSCD	2023	DBLP DOI BibTeX RDF
21	Aristotelis Panagiotopoulos, Katrin Tent	Universality vs Genericity and C4-free graphs.	Eur. J. Comb.	2022	DBLP DOI BibTeX RDF
21	Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker	A tighter proof for CCA secure inner product functional encryption: Genericity meets efficiency.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
21	Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen	Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal.	CoRR	2022	DBLP DOI BibTeX RDF
21	Riccardo Bonalli, Clara Leparoux, Bruno Hérissé, Frédéric Jean	On the Accessibility and Controllability of Statistical Linearization for Stochastic Control: Algebraic Rank Conditions and their Genericity.	CoRR	2022	DBLP DOI BibTeX RDF
21	Michael McInerney, Keng Meng Ng	Separating weak α-change and α-change genericity.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
21	Didier Aussel, Gemayqzel Bouza, Stephan Dempe, Sébastien Lepaul	Genericity Analysis of Multi-Leader-Disjoint-Followers Game.	SIAM J. Optim.	2021	DBLP DOI BibTeX RDF
21	András Recski, Áron Vékássy	Can the Genericity Assumption Decrease the Rank of a Matrix?	Period. Polytech. Electr. Eng. Comput. Sci.	2021	DBLP DOI BibTeX RDF
21	Cornelia Ott, Sven Puchinger, Martin Bossert	Bounds and Genericity of Sum-Rank-Metric Codes.	CoRR	2021	DBLP BibTeX RDF
21	Tejas Bhojraj	Notions of indifference for genericity: Union and subsequence sets.	CoRR	2021	DBLP BibTeX RDF
21	Tejas Bhojraj	Notions of indifference for genericity: Union sets and subsequence sets.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
21	Cornelia Ott, Sven Puchinger, Martin Bossert	Bounds and Genericity of Sum-Rank-Metric Codes.	REDUNDANCY	2021	DBLP DOI BibTeX RDF
21	Jean-Christophe Filliâtre, Andrei Paskevich	Abstraction and Genericity in Why3.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
21	Benoît Monin, Paul-Elliot Anglès d'Auriac	Genericity and Randomness with Ittms.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
21	Laurent Bienvenu, Christopher P. Porter	On the Interplay between Effective Notions of Randomness and Genericity.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
21	Jared Antrobus, Heide Gluesing-Luerssen	Maximal Ferrers Diagram Codes: Constructions and Genericity Considerations.	IEEE Trans. Inf. Theory	2019	DBLP DOI BibTeX RDF
21	P. Jiménez-Rodríguez, Gustavo A. Muñoz-Fernández, E. Sáez-Maestro, Juan B. Seoane-Sepúlveda	Algebraic genericity and the differentiability of the convolution.	J. Approx. Theory	2019	DBLP DOI BibTeX RDF
21	Timothy H. Hughes, Alessandro Morelli, Malcolm C. Smith	On a concept of genericity for RLC networks.	Syst. Control. Lett.	2019	DBLP DOI BibTeX RDF
21	Liliana Badillo, Charles M. Harris, Mariya Ivanova Soskova	Enumeration 1-Genericity in the Local Enumeration Degrees.	Notre Dame J. Formal Log.	2018	DBLP DOI BibTeX RDF
21	Alessandro Neri 0002, Anna-Lena Horlemann-Trautmann, Tovohery Randrianarisoa, Joachim Rosenthal	On the genericity of maximum rank distance and Gabidulin codes.	Des. Codes Cryptogr.	2018	DBLP DOI BibTeX RDF
21	Jared Antrobus, Heide Gluesing-Luerssen	Maximal Ferrers Diagram Codes: Constructions and Genericity Considerations.	CoRR	2018	DBLP BibTeX RDF
21	Jae-Hyoung Lee, Gue Myung Lee, Tien Son Pham	Genericity and Hölder Stability in Semi-Algebraic Variational Inequalities.	J. Optim. Theory Appl.	2018	DBLP DOI BibTeX RDF
21	Sabeur Ammar, Majid Massaoud, Jean-Claude Vivalda	Genericity of the Strong Observability for Sampled Systems.	SIAM J. Control. Optim.	2018	DBLP DOI BibTeX RDF
21	Johanna N. Y. Franklin, Dan Turetsky	Lowness for isomorphism and degrees of genericity.	Comput.	2018	DBLP DOI BibTeX RDF
21	Camille Poignard, Tiago Pereira, Jan Philipp Pade	Spectra of Laplacian Matrices of Weighted Graphs: Structural Genericity Properties.	SIAM J. Appl. Math.	2018	DBLP DOI BibTeX RDF
21	Amir Hashemi, Michael Schweinfurter, Werner M. Seiler	Deterministic genericity for polynomial ideals.	J. Symb. Comput.	2018	DBLP DOI BibTeX RDF
21	Mathieu Hoyrup	Genericity of Weakly Computable Objects.	Theory Comput. Syst.	2017	DBLP DOI BibTeX RDF
21	Amir Hashemi, Michael Schweinfurter, Werner M. Seiler	Deterministic Genericity for Polynomial Ideals.	CoRR	2017	DBLP BibTeX RDF
21	Mirjam Dür, Bolor Jargalsaikhan, Georg Still	Genericity Results in Linear Conic Programming - A Tour d'Horizon.	Math. Oper. Res.	2017	DBLP DOI BibTeX RDF
21	Rutger Kuyper, Joseph S. Miller	Nullifying randomness and genericity using symmetric difference.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
21	Le Vinh Thai	Modèles et outils pour favoriser l'articulation entre la généricité d'un assistant intelligent et les spécificités de son usage en EIAH. (Models and tools to support the articulation between the genericity of an intelligent assistant and the specifics of its use in ILE (Interactive Learning Environment)).		2017	RDF
21	Stan Jarzabek, Kuldeep Kumar	On interplay between separation of concerns and genericity principles: Beyond code weaving.	Comput. Sci. Inf. Syst.	2016	DBLP DOI BibTeX RDF
21	Hernan Haimovich	Simultaneous Triangularization of Switching Linear Systems: Arbitrary Eigenvalue Assignment and Genericity.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
21	Alessandro Neri 0002, Anna-Lena Horlemann-Trautmann, Tovohery Randrianarisoa, Joachim Rosenthal	On the Genericity of Maximum Rank Distance and Gabidulin Codes.	CoRR	2016	DBLP BibTeX RDF
21	Gue Myung Lee, Tien Son Pham	Stability and Genericity for Semi-algebraic Compact Programs.	J. Optim. Theory Appl.	2016	DBLP DOI BibTeX RDF
21	Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera	Data-Driven Workflows for Microservices: Genericity in Jolie.	AINA	2016	DBLP DOI BibTeX RDF
21	Marina Tropmann-Frick	Genericity in process-aware information systems.		2016	RDF