Search results for "Polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Jacques Garrigue	Relaxing the Value Restriction.	FLOPS	2004	DBLP DOI BibTeX RDF
26	Suad Alagic, Jeremy Logan	Consistency of Java Transactions.	DBPL	2003	DBLP DOI BibTeX RDF
26	Ying Wang, Bruce Rannala	Simulating a Coalescent Process with Recombination and Ascertainment.	Computational Methods for SNPs and Haplotype Inference	2002	DBLP DOI BibTeX RDF
26	Roger T. Alexander, Jeff Offutt, James M. Bieman	Fault Detection Capabilities of Coupling-based OO Testing.	ISSRE	2002	DBLP DOI BibTeX RDF
26	Benjamin C. Pierce, Davide Sangiorgi	Behavioral equivalence in the polymorphic pi-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	abstract data types, pi-calculus
26	Brian McNamara, Yannis Smaragdakis	Functional programming in C++.	ICFP	2000	DBLP DOI BibTeX RDF	C++
26	Stéphane Barbey	Working with Ada 9X Classes.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
26	Kim B. Bruce, Jon G. Riecke	The Semantics of Miranda's Algebraic Types.	MFPS	1987	DBLP DOI BibTeX RDF
24	Ryan Wisnesky, Mauricio A. Hernández, Lucian Popa 0001	Mapping polymorphism.	ICDT	2010	DBLP DOI BibTeX RDF	Clio, nested relational model, schema mapping
24	M. Angélica Pinninghoff Junemann, A. Ricardo Contreras, Luis Rueda 0001	An Evolutionary Approach for Correcting Random Amplified Polymorphism DNA Images.	IWINAC (2)	2009	DBLP DOI BibTeX RDF	RAPD Images, Genetic algorithms, Image processing
24	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.	FoSSaCS	2009	DBLP DOI BibTeX RDF
24	Ieng-Fat Lam, Wei-Cheng Xiao, Szu-Chi Wang, Kuan-Ta Chen	Counteracting Phishing Page Polymorphism: An Image Layout Analysis Approach.	ISA	2009	DBLP DOI BibTeX RDF
24	Nathan Mishra-Linger, Tim Sheard	Erasure and Polymorphism in Pure Type Systems.	FoSSaCS	2008	DBLP DOI BibTeX RDF
24	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
24	Chengyun Li, Lin Liu 0001, Jing Yang, Jinbin Li, Yue Zhang, Yunyue Wang, Yong Xie, Youyong Zhu	Polymorphism of Microsatellite Sequence within Protein Kinase ORFs in Phytopathogenic Fungus, Magnaporthe Grisea.	CCTA	2007	DBLP DOI BibTeX RDF	Magnaporthe grisea, protein kinase, microsatellite
24	Lin Liu 0001, Chengyun Li, Jing Yang 0001, Jinbin Li, Yuan Su, Yunyue Wang, Yong Xie, Youyong Zhu	Polymorphism of Microsatellite Sequence within ABC Transporter Genes in Phytopathogenic Fungus, Magnaporthe Grisea.	CCTA	2007	DBLP DOI BibTeX RDF	Magnaporthe grisea, ABC transporter, microsatellite
24	Rasmus Ejlers Møgelberg, Alex Simpson	A Logic for Parametric Polymorphism with Effects.	TYPES	2007	DBLP DOI BibTeX RDF
24	Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson	Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.	APLAS	2006	DBLP DOI BibTeX RDF
24	Derek Messie, Jae C. Oh	Environment Organization of Roles Using Polymorphism.	E4MAS	2005	DBLP DOI BibTeX RDF
24	Zemin Ning, Mario Cáccamo, James C. Mullikin	ssahaSNP A Polymorphism Detection Tool on a Whole Genome Scale.	CSB Workshops	2005	DBLP DOI BibTeX RDF
24	Stuart A. Hansen	The game of set®: an ideal example for introducing polymorphism and design patterns.	SIGCSE	2004	DBLP DOI BibTeX RDF	design patterns
24	Samson Abramsky, Radha Jagadeesan	A Game Semantics for Generic Polymorphism.	FoSSaCS	2003	DBLP DOI BibTeX RDF
24	Rui Da Silva Neves, Eric Raufaste	Polymorphism of Human Judgment under Uncertainty.	ECSQARU	2001	DBLP DOI BibTeX RDF
24	Jeff Offutt, Roger T. Alexander, Ye Wu, Quansheng Xiao, Chuck Hutchinson	A Fault Model for Subtype Inheritance and Polymorphism.	ISSRE	2001	DBLP DOI BibTeX RDF
24	Mirko Viroli, Antonio Natali	Parametric polymorphism in Java: an approach to translation based on reflective features.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
24	Oliver Lewis, Mike Mannion, Barry Keepence	Performance Concerns of Polymorphism in Modelling Domain Variability in Real-Time Systems.	ECBS	1999	DBLP DOI BibTeX RDF
24	Dominic Duggan	Finite Subtype Inference with Explicit Polymorphism.	SAS	1998	DBLP DOI BibTeX RDF
24	Wen-Ke Chen, Jia-Su Sun, Zhi-Min Tang	Consummating Virtuality to Support More Polymorphism in C++.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	C++
24	Charles Lakos	The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
24	John C. Mitchell, Ramesh Viswanathan	Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).	ICALP	1996	DBLP DOI BibTeX RDF
24	Ran Rinat, Menachem Magidor	Metaphoric Polymorphism: Taking Code Reuse One Step Further.	ECOOP	1996	DBLP DOI BibTeX RDF
24	Simon Courtenage, Alexandra Poulovassilis	Combining Inheritance and Parametric Polymorphism in a Functional Database Language.	BNCOD	1995	DBLP DOI BibTeX RDF
24	Ryu Hasegawa	A Logical Aspect of Parametric Polymorphism.	CSL	1995	DBLP DOI BibTeX RDF
24	C. Barry Jay, J. Robin B. Cockett	Shapely Types and Shape Polymorphism.	ESOP	1994	DBLP DOI BibTeX RDF
24	Peter W. O'Hearn, Jon G. Riecke	Fully Abstract Translations and Parametric Polymorphism.	ESOP	1994	DBLP DOI BibTeX RDF
24	Robert Harper 0001, Mark Lillibridge	Explicit Polymorphism and CPS Conversion.	POPL	1993	DBLP DOI BibTeX RDF
24	QingMing Ma, John C. Reynolds	Types, Abstractions, and Parametric Polymorphism, Part 2.	MFPS	1991	DBLP DOI BibTeX RDF
24	Jacek Leszczylowski, Martin Wirsing	Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.	STACS	1991	DBLP DOI BibTeX RDF
24	Robert Harper 0001, Robert Pollack	Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft).	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
24	Frank Pfenning, Peter Lee 0001	LEAP: A Language with Eval And Polymorphism.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
24	Philip Wadler, Stephen Blott	How to Make ad-hoc Polymorphism Less ad-hoc.	POPL	1989	DBLP DOI BibTeX RDF	ML
24	Thierry Coquand, Carl A. Gunter, Glynn Winskel	DI-Domains as a Model of Polymorphism.	MFPS	1987	DBLP DOI BibTeX RDF
24	Mitchell Wand	A Types-as-Sets Semantics for Milner-Style Polymorphism.	POPL	1984	DBLP DOI BibTeX RDF
23	E. S. F. Najumudheen, Rajib Mall, Debasis Samanta	A dependence graph-based representation for test coverage analysis of object-oriented programs.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	object-oriented program, inheritance, polymorphism, dependence graph, coverage analysis
23	Rui Wang 0010, Yong Fuga Li, XiaoFeng Wang 0001, Haixu Tang, Xiao-yong Zhou	Learning your identity and disease from research papers: information leaks in genome wide association study.	CCS	2009	DBLP DOI BibTeX RDF	genome wide association study, test statistics, integer programming, markov model, single nucleotide polymorphism
23	Jeffery E. Bryson	Polymorphic system architecture summary.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	architecture, abstraction, systems architecture, polymorphism
23	Chieri Saito, Atsushi Igarashi	Self type constructors.	OOPSLA	2009	DBLP DOI BibTeX RDF	MyType, type constructor polymorphism, generics, binary methods
23	Alexander Gusev, Ion I. Mandoiu, Bogdan Pasaniuc	Highly Scalable Genotype Phasing by Entropy Minimization.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	genotype phasing, algorithm, Single Nucleotide Polymorphism, haplotype
23	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
23	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
23	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
23	Tamar Benaya, Ela Zur	Understanding Object Oriented Programming Concepts in an Advanced Programming Course.	ISSEP	2008	DBLP DOI BibTeX RDF	Object Oriented Programming, Inheritance, Polymorphism, Encapsulation
23	Jong Hyun Kim, Michael S. Waterman, Lei M. Li	Accuracy Assessment of Diploid Consensus Sequences.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	shotgun sequencing, diploid, polymorphism, Haplotype
23	YuZhong Zhao, Yun Xu, Qiangfeng Zhang, Guoliang Chen 0001	An overview of the haplotype problems and algorithms.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	algorithm, complexity, bioinformatics, single nucleotide polymorphism (SNP), haplotype
23	Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo	On the infeasibility of modeling polymorphic shellcode.	CCS	2007	DBLP DOI BibTeX RDF	shellcode, polymorphism, statistical models, signature generation
23	Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi	Relationally-parametric polymorphic contracts.	DLS	2007	DBLP DOI BibTeX RDF	contracts, polymorphism, parametricity
23	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
23	Jaakko Järvi, Matthew A. Marcus, Jacob N. Smith	Library composition and adaptation using c++ concepts.	GPCE	2007	DBLP DOI BibTeX RDF	C++, polymorphism, generic programming, software libraries
23	Daan Leijen	A type directed translation of MLF to system F.	ICFP	2007	DBLP DOI BibTeX RDF	first-class polymorphism, system F, MLF
23	Franck Binard, Amy P. Felty	An abstraction-based genetic programming system.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
23	Dan Grossman	Quantified types in an imperative language.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type variables, polymorphism, existential types, Cyclone
23	Peter Tabeling, Rasmus Hofmann	A Prototypical Platform for Architecture Oriented Development.	ECBS	2006	DBLP DOI BibTeX RDF	FundamentalModeling Concepts, Software architecture, transactions, inheritance, polymorphism, encapsulation, data consistency, STAGE, FMC
23	Andrés Valloud	Writing truly efficient smalltalk.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	VisualWorks, optimization, performance, polymorphism, smalltalk
23	Jerome Vouillon	Polymorphic regular tree types and patterns.	POPL	2006	DBLP DOI BibTeX RDF	polymorphism, subtyping, tree automata
23	Caroline Appert, Michel Beaudouin-Lafon	SMCanvas: augmenter la boîte à outils Java Swing pour prototyper des techniques d'interaction avancées.	IHM	2006	DBLP DOI BibTeX RDF	java swing, polymorphism, toolkit, state machine, widget, reification
23	Jie S. Hu, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin	Analyzing data reuse for cache reconfiguration.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	cache polymorphism, compilers, energy consumption, Embedded software, data reuse, cache locality
23	Jedidiah R. Crandall, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong	On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits.	CCS	2005	DBLP DOI BibTeX RDF	metamorphism, polymorphism, symbolic execution, worms, honeypots, polymorphic worms
23	Didier Rémy	Simple, partial type-inference for System F based on type-containment.	ICFP	2005	DBLP DOI BibTeX RDF	type containment, type reconstruction, polymorphism, type inference, System F, elaboration
23	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	PolyAML: a polymorphic aspect-oriented functional programming language.	ICFP	2005	DBLP DOI BibTeX RDF	aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
23	Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich	An open and shut typecase.	TLDI	2005	DBLP DOI BibTeX RDF	intensional type analysis, generativity, reflexivity, ad-hoc polymorphism
23	Haeng-Kon Kim	A Study on Evaluation of Component Metric Suites.	ICCSA (2)	2005	DBLP DOI BibTeX RDF	CK Suite, MOOD Metrics, Polymorphism, Coupling, Component Based Development, Cohesion, Object Oriented Paradigm
23	Edward A. Lee, Yuhong Xiong	A behavioral type system and its application in Ptolemy II.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping
23	Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst	Converting java programs to use generic libraries.	OOPSLA	2004	DBLP DOI BibTeX RDF	JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
23	Matthew Fluet, J. Gregory Morrisett	Monadic regions.	ICFP	2004	DBLP DOI BibTeX RDF	type system, effect, monad, region, parametric polymorphism, region-based memory management
23	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
23	Hayo Thielecke	From control effects to typed continuation passing.	POPL	2003	DBLP DOI BibTeX RDF	control effects, polymorphism, continuations, type and effect systems
23	Matthias Neubauer, Peter Thiemann 0001	Discriminative sum types locate the source of type errors.	ICFP	2003	DBLP DOI BibTeX RDF	polymorphism, type inference, type errors
23	Benjamin C. Pierce, David N. Turner	Local type inference.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	polymorphism, type inference, subtyping
23	Rémi Forax, Étienne Duris, Gilles Roussel 0001	Java Multi-Method Framework.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	Java Multi-Method Framework, method resolution, multi-polymorphism, reflection mechanism, Java, algorithms, data structures, data structures, object-oriented programming, software reusability, object-oriented languages, late-binding
23	Kim B. Bruce, Martin Odersky, Philip Wadler	A Statically Safe Alternative to Virtual Types.	ECOOP	1998	DBLP DOI BibTeX RDF	virtual types, static type checking, Language design, parametric polymorphism
23	Neelam Soundarajan, Stephen Fridella	Reasoning About Polymorphic Behavior.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Enriching Behavior, Polymorphism, Specification and Verification, Behavioral Subtyping
23	Gerald Baumgartner, Vincent F. Russo	Implementing Signatures for C++.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	dispatch tables, opject interfaces, C++, C++, inheritance, polymorphism, subtyping
23	Christian Mossin	Higher-Order Value Flow Graphs.	PLILP	1997	DBLP DOI BibTeX RDF	polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
23	Sahng-Mann Han	Is OO Working as It Promised?	COMPSAC	1996	DBLP DOI BibTeX RDF	OO software development paradigm, operator polymorphism, reusable component libraries, software development time, business organisations, software engineering, data structures, object-oriented programming, software maintenance, software development, abstraction, requirements, inheritance, inheritance, reusability, object-oriented methods, encapsulation, business data processing, object-oriented paradigm, code size, data encapsulation, software applications
23	Peter W. O'Hearn, Robert D. Tennent	Parametricity and Local Variables.	J. ACM	1995	DBLP DOI BibTeX RDF	algol-like languages, local state, parametric polymorphism, logical relations
23	Konstantin Läufer, Martin Odersky	Polymorphic Type Inference and Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
23	Christian Prehofer	An Efficient Constraint Language for Polymorphic Order-sorted Resoluton.	JELIA	1992	DBLP DOI BibTeX RDF	Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification
23	Warwick B. Mugridge, John Hamer, John G. Hosking	Multi-Methods in a Statically-Typed Programming Language.	ECOOP	1991	DBLP DOI BibTeX RDF	contravariance, object-oriented, polymorphism, static-typing, multi-methods
17	Keehyung Kim, Byung Ro Moon	Malware detection based on dependency graph using hybrid genetic algorithm.	GECCO	2010	DBLP DOI BibTeX RDF	genetic algorithm, dependency graph, malware detection, subgraph isomorphism
17	Martin E. Dyer, David Richerby	On the complexity of #CSP.	STOC	2010	DBLP DOI BibTeX RDF	complexity dichotomy, constraint satisfaction problem, counting problems
17	Robert Atkey	Syntax for Free: Representing Syntax with Binding Using Parametricity.	TLCA	2009	DBLP DOI BibTeX RDF
17	Janis Voigtländer	Free theorems involving type constructor classes: functional pearl.	ICFP	2009	DBLP DOI BibTeX RDF	relational parametricity
17	Ming-Chang Chiang, Christina Avedissian, Marina Barysheva, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Margaret J. Wright, Paul M. Thompson	Extending Genetic Linkage Analysis to Diffusion Tensor Images to Map Single Gene Effects on Brain Fiber Architecture.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
17	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science
17	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
17	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
17	Yogesh Singh, Anju Saha	A Metric-Based Approach to Assess Class Testability.	XP	2008	DBLP DOI BibTeX RDF
17	Lei Wang, Daniel O'Connor, Ying Wang, Guoyin Feng, Lin He 0007	A pharmacogenomic study on the polymorphic gene response to risperidone in schizophrenia patients.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
17	Ehsan Asgarian, M-Hossein Moeinzadeh, Sara Sharifian-R, Amir Najafi-Ardabili, Amin Ramezani, Jafar Habibi, Javad Mohammadzadeh	Solving MEC model of haplotype reconstruction using information fusion, single greedy and parallel clustering approaches.	AICCSA	2008	DBLP DOI BibTeX RDF
17	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