The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Polymorphism with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1986 (16) 1987-1988 (20) 1989 (17) 1990 (24) 1991 (40) 1992-1993 (38) 1994 (24) 1995 (32) 1996 (32) 1997 (28) 1998 (30) 1999 (55) 2000 (47) 2001 (41) 2002 (39) 2003 (60) 2004 (78) 2005 (76) 2006 (75) 2007 (75) 2008 (91) 2009 (65) 2010 (37) 2011 (30) 2012 (17) 2013 (28) 2014 (27) 2015 (27) 2016 (27) 2017 (25) 2018 (20) 2019 (25) 2020 (20) 2021 (26) 2022 (20) 2023 (24) 2024 (5)
Publication types (Num. hits)
article(451) incollection(3) inproceedings(888) phdthesis(19)
Venues (Conferences, Journals, ...)
POPL(52) ICFP(49) Nucleic Acids Res.(41) NeuroImage(37) CoRR(33) ESOP(29) ACM Trans. Program. Lang. Syst...(28) OOPSLA(24) Bioinform.(21) ECOOP(21) BMC Bioinform.(17) LICS(16) OOPSLA Companion(15) APLAS(14) ACM SIGPLAN Notices(12) PLDI(12) More (+10 of total 520)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1365 occurrences of 650 keywords

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