Search results for "polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Hang Zhou 0002, Zhiqiu Huang, Yi Zhu 0008	Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.	ICYCS	2008	DBLP DOI BibTeX RDF
67	Lutz Schröder, Till Mossakowski, Christoph Lüth	Type Class Polymorphism in an Institutional Framework.	WADT	2004	DBLP DOI BibTeX RDF
67	Erik Ernst	Family Polymorphism.	ECOOP	2001	DBLP DOI BibTeX RDF
64	Dinesh Kumar Saini	Testing polymorphism in object oriented systems for improving software quality.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	software testing, quality, inheritance, polymorphism, object orientated systems
64	Hidemitsu Naya, Fumio Narisawa, Takanori Yokoyama, Keiichiro Ohkawa, Matsuo Amano	Object-Oriented Development Based on Polymorphism Patterns and Optimization to Reduce Executable Code Size.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	optimization, embedded system, object-oriented, polymorphism
64	Ole Agesen	The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.	ECOOP	1995	DBLP DOI BibTeX RDF	concrete types, inheritance, polymorphism, type inference, Self, abstract types
61	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
59	Ran Rinat, Menachem Magidor, Scott F. Smith 0001	Correspondence Polymorphism for Object-Oriented Languages.	OOPSLA	1999	DBLP DOI BibTeX RDF
59	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
56	Guijun Wang, Allen L. Ambler	Invocation Polymorphism.	VL	1995	DBLP DOI BibTeX RDF	invocation polymorphism, general specification, intelligent analysis process, visual interactive programming style, formal specification, knowledge based systems, programming languages, visual programming, visual programming, visual languages, ambiguities, programming theory, interactive programming, specification refinement
50	Alexander J. Summers, Steffen van Bakel	Approaches to Polymorphism in Classical Sequent Calculus.	ESOP	2006	DBLP DOI BibTeX RDF
49	Suad Alagic	Type-Checking OQL Queries In the ODMG Type Systems.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
47	Cosmin E. Oancea, Stephen M. Watt	Parametric polymorphism for software component architectures.	OOPSLA	2005	DBLP DOI BibTeX RDF	antiunification, software component architecture, generics, templates, parametric polymorphism
47	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
47	Henning Makholm, J. B. Wells	Type inference, principal typings, and let-polymorphism for first-class mixin modules.	ICFP	2005	DBLP DOI BibTeX RDF	mixin modules, record concatenation, row unification, type systems, polymorphism
47	Brian Cabana, Suad Alagic, Jeff Faulkner	Parametric polymorphism for Java: is there any hope in sight?	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Java core reflection, class files, class objects, generics, Java virtual machine, parametric polymorphism, loading
47	Luigi Pomante	Exploiting polymorphism in HW design: a case study in the ATM domain.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	design, ATM, synthesis, polymorphism, SystemC
47	Geoffrey Washburn, Stephanie Weirich	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.	ICFP	2003	DBLP DOI BibTeX RDF	modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
47	Rong Peng, Jingsong Cui, Shihong Chen	The Implement Mechanism and Efficiency Analysis of Multiinheritance and Polymorphism.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	Multiinheritance Polymorphism FastTable
42	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	FPH: first-class polymorphism for Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
42	Jean-François Couchot, Stéphane Lescuyer	Handling Polymorphism in Automated Deduction.	CADE	2007	DBLP DOI BibTeX RDF
42	Rasmus Ejlers Møgelberg	Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism.	ICALP (2)	2006	DBLP DOI BibTeX RDF
42	Aleksandar Nanevski, Greg Morrisett, Lars Birkedal	Polymorphism and separation in hoare type theory.	ICFP	2006	DBLP DOI BibTeX RDF	type theory, hoare logic, separation logic
42	Atsushi Igarashi, Chieri Saito, Mirko Viroli	Lightweight Family Polymorphism.	APLAS	2005	DBLP DOI BibTeX RDF
42	Joseph Bergin	Teaching polymorphism with elementary design patterns.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	design patterns, teaching
42	Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine	Concept-Controlled Polymorphism.	GPCE	2003	DBLP DOI BibTeX RDF
42	Erik Ernst, David H. Lorenz	Aspects and polymorphism in AspectJ.	AOSD	2003	DBLP DOI BibTeX RDF
42	Tina Yu	Polymorphism and Genetic Programming.	EuroGP	2001	DBLP DOI BibTeX RDF
42	Claudia Pons, Maximo Prieto, Luis Olsina	A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems.	APAQS	2000	DBLP DOI BibTeX RDF
42	Jose Solorzano, Suad Alagic	Parametric Polymorphism for Java: A Reflective Solution.	OOPSLA	1998	DBLP DOI BibTeX RDF	language design and implementation, Java, reflection, persistence
42	Robert Harper 0001, J. Gregory Morrisett	Compiling Polymorphism Using Intensional Type Analysis.	POPL	1995	DBLP DOI BibTeX RDF	ML
42	Xavier Leroy	Polymorphism by Name for References and Continuations.	POPL	1993	DBLP DOI BibTeX RDF	ML
42	David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro	Exceeding the Limits of Polymorphism in Database Programming Languages.	EDBT	1990	DBLP DOI BibTeX RDF
40	Thomas Ball, Todd D. Millstein, Sriram K. Rajamani	Polymorphic predicate abstraction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	polymorphism, Software model checking, predicate abstraction
40	Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai	Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.	ECOOP	1994	DBLP DOI BibTeX RDF	semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
38	Daan Leijen	Flexible types: robust type inference for first-class polymorphism.	POPL	2009	DBLP DOI BibTeX RDF	first-class polymorphism, system f, mlf
38	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation for Parametric Polymorphism.	LICS	2008	DBLP DOI BibTeX RDF	LTS, bisimulation, parametric polymorphism, typed lambda calculus
38	Daan Leijen	HMF: simple type inference for first-class polymorphism.	ICFP	2008	DBLP DOI BibTeX RDF	first-class polymorphism, type inference
38	Huu-Duc Nguyen, Atsushi Ohori	Compiling ML polymorphism with explicit layout bitmap.	PPDP	2006	DBLP DOI BibTeX RDF	type-directed compilation, garbage collection, memory management, polymorphism
38	Joseph Bergin, Eugene Wallingford, Michael E. Caspersen, Michael Goldweber, Michael Kölling	Teaching polymorphism early.	ITiCSE	2005	DBLP DOI BibTeX RDF	first course, object-oriented programming, polymorphism
38	Jie S. Hu, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Hendra Saputra, Wei Zhang 0002	Compiler-directed cache polymorphism.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	cache polymorphism, compilers, energy consumption, embedded software, data reuse, cache locality
38	Andrzej S. Murawski, C.-H. Luke Ong	Evolving Games and Essential Nets for Affine Polymorphism.	TLCA	2001	DBLP DOI BibTeX RDF	Full Completeness, Polymorphism, Linear Logic, Game Semantics
38	Tse-Min Lin, John A. McDermid	(True) Polymorphism in SPARK2000.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Ada, Object-Oriented Programming, Polymorphism, SPARK
38	Karl-Filip Faxén	Polyvariance, Polymorphism and Flow Analysis.	LOMAPS	1996	DBLP DOI BibTeX RDF	polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms
37	Tetsuo Kamina, Tetsuo Tamai	Lightweight scalable components.	GPCE	2007	DBLP DOI BibTeX RDF	FGJ, pamily polymorphism, scalable java, type parameter members, parametric polymorphism
37	Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos	Constraint-set satisfiability for overloading.	PPDP	2004	DBLP DOI BibTeX RDF	constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism
37	Didier Le Botlan, Didier Rémy	MLF: raising ML to the power of system F.	ICFP	2003	DBLP DOI BibTeX RDF	first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F
37	A. V. Dzyabchenko, Valery N. Agafonov	Computer-aided design of crystalline drugs.	HICSS (5)	1995	DBLP DOI BibTeX RDF	crystal structure, crystalline drugs, crystal structure prediction, minimum-energy packings, observed space-group occurrence factors, crystal symmetry, multidimensional crystal-structure parameter space, cell parameters, rigid-body molecular parameters, accelerated convergence method, lattice energy, multi-step structure optimization technique, Packing of Molecules in Crystal, PMC program, implicit symmetry, CRYCOM, crystal comparison program, computational study, crystal structure polymorphism piracetam, metastable form, searching, CAD, computer-aided design, optimisation, polymorphism, chemistry, chemistry computing, search region
35	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
35	Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup	Minimizing dependencies within generic classes for faster and smaller programs.	OOPSLA	2009	DBLP DOI BibTeX RDF	generalized hoisting, scary assignments and initializations, generics, templates
35	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation
35	Tiejun Wang, Scott F. Smith 0001	Precise Constraint-Based Type Inference for Java.	ECOOP	2001	DBLP DOI BibTeX RDF
35	Byron Weber Becker, Richard Rasala, Joseph Bergin, Christine Shannon, Eugene Wallingford	Polymorphic panelists.	SIGCSE	2001	DBLP DOI BibTeX RDF
35	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
35	Hanne Riis Nielson, Flemming Nielson, Torben Amtoft	Polymorphic Subtyping for Effect Analysis: The Static Semantics.	LOMAPS	1996	DBLP DOI BibTeX RDF
35	Ryan Stansifer	Type Inference with Subtypes.	POPL	1988	DBLP DOI BibTeX RDF
35	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
33	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
33	Anjum Iqbal, Mohd Aizaini Maarof	Polymorphism and Danger Susceptibility of System Call DASTONs.	ICARIS	2005	DBLP DOI BibTeX RDF
33	Atanas Rountev, Ana L. Milanova, Barbara G. Ryder	Fragment Class Analysis for Testing of Polymorphism in Java Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
33	Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft	Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models.	DATE	2004	DBLP DOI BibTeX RDF
33	Jun Furuse	Extensional Polymorphism by Flow Graph Dispatching.	APLAS	2003	DBLP DOI BibTeX RDF
33	Atanas Rountev, Ana L. Milanova, Barbara G. Ryder	Fragment Class Analysis for Testing of Polymorphism in Java Software.	ICSE	2003	DBLP DOI BibTeX RDF
33	David Byers, Mariam Kamkar	Static Slicing and Parametric Polymorphism.	SCAM	2001	DBLP DOI BibTeX RDF
33	Jörgen Gustavsson, Josef Svenningsson	A Usage Analysis with Bounded Usage Polymorphism and Subtyping.	IFL	2000	DBLP DOI BibTeX RDF
33	Vassily Litvinov	Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System.	OOPSLA	1998	DBLP DOI BibTeX RDF
33	Stefan Kahrs	First-Class Polymorphism for ML.	ESOP	1994	DBLP DOI BibTeX RDF
31	Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers	Row and Bounded Polymorphism via Disjoint Polymorphism.	ECOOP	2020	DBLP DOI BibTeX RDF
31	Evgeniy Vodolazskiy	Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism.	CoRR	2017	DBLP BibTeX RDF
31	Jean-Philippe Bernardy	A Theory of Parametric Polymorphism and an Application ; A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing.		2011	RDF
31	Adriaan Moors	Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) ; Type Constructor Polymorphism for Scala: Theory and Practice.		2009	RDF
31	Sabine Glesner, Karl Stroetmann 0001	Combining Inclusion Polymorphism and Parametric Polymorphism	CoRR	1999	DBLP BibTeX RDF
31	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
31	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Relational parametricity for references and recursive types.	TLDI	2009	DBLP DOI BibTeX RDF	general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics
31	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
31	James H. Cross II, T. Dean Hendrix, David A. Umphress, Larry A. Barowski	Exploring accessibility and visibility relationships in java.	ITiCSE	2008	DBLP DOI BibTeX RDF	jGRASP, object viewers, visualization, object-oriented programming, inheritance, polymorphism
31	Giuseppe Castagna, Kim Nguyen 0001	Typed iterators for XML.	ICFP	2008	DBLP DOI BibTeX RDF	XML, polymorphism, iterators, subtyping
31	Thomas VanDrunen	Java interfaces in CS 1 textbooks.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	interfaces, polymorphism, CS 1
31	Swaroop Sridhar, Jonathan S. Shapiro	Type inference for unboxed types and first class mutability.	PLOS	2006	DBLP DOI BibTeX RDF	BitC, polymorphism, type inference, mutability
31	Daan Leijen, Andres Löh	Qualified types for MLF.	ICFP	2005	DBLP DOI BibTeX RDF	higher-rank polymorphism, impredicativity, qualified types, MLF
31	Axel Schmolitzky	"Objects first, interfaces next" or interfaces before inheritance.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	type abstraction, java, interfaces, pedagogy, inheritance, polymorphism, subtyping, objects-first
31	Brian P. Dunphy, Uday S. Reddy	Parametric Limits.	LICS	2004	DBLP DOI BibTeX RDF	Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
31	Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August	Facilitating reuse in hardware models with enhanced type inference.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	component overloading, polymorphism, type inference, component reuse, liberty simulation environment (LSE)
31	Atsushi Ohori, Kiyoshi Yamatodani	An interoperable calculus for external object access.	ICFP	2002	DBLP DOI BibTeX RDF	record polymorphism, Java, interoperability, ML, type inference, object-oriented language
31	Stephanie Weirich	Type-safe cast: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism
31	Suad Alagic, Jose Solorzano, David Gitchell	Orthogonal to the Java Imperative.	ECOOP	1998	DBLP DOI BibTeX RDF	F-bounded polymorphism, Java Virtual Machine, Declarative languages, orthogonal persistence
31	Lei Zhou, Elke A. Rundensteiner, Kang G. Shin	Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	envelope/letter classes, letter-class hierarchy, performance polymorphism, real-time, database, object oriented, Data model, schema evolution
31	Simon Stobart, Norman Parrington, Bor-Yuan Tsai	Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	General Statechart, Extended General Statechart, Polymorphism, Statechart, Overloaded, State-Base Testing
30	Saïda Benlarbi, Walcélio L. Melo	Polymorphism Measures for Early Risk Prediction.	ICSE	1999	DBLP DOI BibTeX RDF	C++ programming language, software risk prediction, C++, metrics, object-oriented design, polymorphism
30	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing.	ICSE	1997	DBLP DOI BibTeX RDF	reverse engineering, C++, C++, program understanding, polymorphism, slicing, points-to analysis, flow analysis
30	Peter Buneman, Atsushi Ohori	Polymorphism and Type Inference in Database Programming.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	generalized relational algebra, record calculus, object-oriented databases, inheritance, polymorphism, type inference
30	Pascale Louvet, Olivier Ridoux	Parametric Polymorphism for Typed Prolog and lambda-Prolog.	PLILP	1996	DBLP DOI BibTeX RDF	second-order -Calculus, Logic programming, polymorphism, typing
30	Sylvia L. Osborn	The Role of Polymorphism in Schema Evolution in an Object-Oriented Database.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	polymorphic object algebra, model, object-oriented programming, database management systems, object-oriented database, database theory, polymorphism, schema evolution
26	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
26	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	ICFP	2009	DBLP DOI BibTeX RDF	intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
26	Eleazar Eskin	Increasing Power in Association Studies by Using Linkage Disequilibrium Structure and Molecular Function as Prior Information.	RECOMB	2008	DBLP DOI BibTeX RDF
26	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
26	Axel Schmolitzky	Teaching inheritance concepts with Java.	PPPJ	2006	DBLP DOI BibTeX RDF	pedagogy
26	C. Barry Jay, Delia Kesner	Pure Pattern Calculus.	ESOP	2006	DBLP DOI BibTeX RDF
26	Ling Liu, Huaikou Miao	A Specification-Based Approach to Testing Polymorphic Attributes.	ICFEM	2004	DBLP DOI BibTeX RDF