Search results for "polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
14	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
14	Ralf Lämmel, Klaus Ostermann	Software extension and integration with type classes.	GPCE	2006	DBLP DOI BibTeX RDF	family polymorphism, framework integration, object adapter, software extension, tyranny of the dominant decomposition, haskell, type classes, software integration, multiple dispatch, expression problem
14	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
14	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
14	Frederik Eaton	Statically typed linear algebra in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
14	Fernando Berzal Galiano, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda	Lazy Types: Automating Dynamic Strategy Selection.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	lazy types, metadata, reflection, polymorphism, strategies, adaptable code
14	Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie	High-level views on low-level representations.	ICFP	2005	DBLP DOI BibTeX RDF	bitdata, bitfields, pattern matching, polymorphism, views, data representation, qualified types, bit manipulation
14	G. Michael Barnes, John Noga, Peter D. Smith, Jeff Wiegley	Experiments with balanced-sample binary trees.	SIGCSE	2005	DBLP DOI BibTeX RDF	hybrid data structures, random binary tree, temporary construction, pedagogy, polymorphism, random sample, binary tree
14	Jeremy G. Siek, Andrew Lumsdaine	Essential language support for generic programming.	PLDI	2005	DBLP DOI BibTeX RDF	C++, Haskell, polymorphism, generic programming, standard ML
14	Noritaka Osawa	Application of Jigsaw-Puzzle-Like 3D Glyph to Visualizing Grammatical Constraints.	VL/HCC	2005	DBLP DOI BibTeX RDF	inclusive match, grammatical constraints, jigsaw puzzle, polymorphism, 3D visualization
14	Siros Supavita, Taratip Suwannasart	Testing Polymorphic Interactions in UML Sequence Diagrams.	ITCC (2)	2005	DBLP DOI BibTeX RDF	UML, Software Testing, Object-Oriented, Polymorphism, Sequence Diagram
14	Derek Messie, Jae C. Oh	Polymorphic self-* agents for stigmergic fault mitigation in large-scale real-time embedded systems.	AAMAS	2005	DBLP DOI BibTeX RDF	self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy
14	Derek Messie	Polymorphic self-* agents using game theory for large-scale complex systems.	AAMAS	2005	DBLP DOI BibTeX RDF	self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy
14	Rémi Forax, Étienne Duris, Gilles Roussel 0001	A Reflective Implementation of Java Multi-Methods.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	dynamic class loading, Java, reflection, polymorphism
14	Richard Gault, Peter Jeavons 0001	Implementing a Test for Tractability.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	Polyanna, complexity, polymorphism, symmetry, constraint language
14	Lawrence C. Paulson	Organizing Numerical Theories Using Axiomatic Type Classes.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
14	Daniel von Dincklage, Amer Diwan	Converting Java classes to use generics.	OOPSLA	2004	DBLP DOI BibTeX RDF	generics, type inference, parametric polymorphism
14	Jeremy G. Siek	Modular generics.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	C++, modularity, generics, haskell, polymorphism, generic programming, standard ML
14	David Wolber, Christopher H. Brooks	Associative sources and agents for zero-input publishing.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	web services, agents, context, aggregation, polymorphism, associativity, reconnaissance
14	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization.	POPL	2004	DBLP DOI BibTeX RDF	type preservation, polymorphism, defunctionalization, closure conversion
14	Jerome Vouillon, Paul-André Melliès	Semantic types: a fresh look at the ideal model for types.	POPL	2004	DBLP DOI BibTeX RDF	ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types
14	Dachuan Yu, Andrew Kennedy, Don Syme	Formalization of generics for the .NET common language runtime.	POPL	2004	DBLP DOI BibTeX RDF	CLR, run-time types, generics, polymorphism, NET
14	Nadji Gauthier, François Pottier	Numbering matters: first-order canonical forms for second-order recursive types.	ICFP	2004	DBLP DOI BibTeX RDF	polymorphism, unification, equality, recursive types
14	Stephen Tse, Steve Zdancewic	Translating dependency into parametricity.	ICFP	2004	DBLP DOI BibTeX RDF	DCC, protection contexts, security, dependency, Haskell, information flow, translation, polymorphism, lambda calculus, monads, parametricity, noninterference, logical relations
14	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Conservative approximations for heterogeneous design.	EMSOFT	2004	DBLP DOI BibTeX RDF	verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation
14	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Extending sized type with collection analysis.	PEPM	2003	DBLP DOI BibTeX RDF	collection analysis, mixed constraints, sized type, polymorphism, fix-point
14	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
14	Rachel Or-Bach, Ilana Lavy	Students' understanding of object orientation.	ITiCSE	2003	DBLP DOI BibTeX RDF	object oriented programming, abstraction, object oriented design, inheritance, polymorphism, task analysis
14	David B. MacQueen	Should ML be Object-Oriented?	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Object-oriented programming, Functional programming, Inheritance, ML, Polymorphism, Modules, Subtypes
14	Richard Cardone, Adam Brown, Sean McDirmid, Calvin Lin	Using mixins to build flexible widgets.	AOSD	2002	DBLP DOI BibTeX RDF	design pattern, GUI, embedded software, layers, parametric polymorphism, mixin
14	Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss	Using types to analyze and optimize object-oriented programs.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	classes and objects, method invocation, object orientation, polymorphism, alias analysis, redundancy elimination
14	Peter W. O'Hearn, John C. Reynolds	From Algol to polymorphic linear lambda-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	local state, linear logic, parametric polymorphism, logical relations
14	Xavier Leroy, François Pessaux	Type-based analysis of uncaught exceptions.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml
14	Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand	Testing levels for object-oriented software.	ICSE	2000	DBLP DOI BibTeX RDF	abstract classes, object-oriented oftware, test order, tool, polymorphism, integration strategy
14	C. Barry Jay	Programming in FISh.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Shape error detection, Program optimisation, Shape, Polymorphism, Data independence
14	Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke	Region Analysis and the Polymorphic Lambda Calculus.	LICS	1999	DBLP DOI BibTeX RDF	semantics, program analysis, garbage collection, memory management, polymorphism
14	Dimitrios Theotokis, Georgios-Dimitrios Kapos, Costas Vassilakis, Anya Sotiropoulou, Georgios Gyftodimos	Distributed Information Systems Tailorability: A Component Approach.	FTDCS	1999	DBLP DOI BibTeX RDF	remote request, security, agents, Information systems, components, profiling, rules, polymorphism, tailorability, behavioral changes
14	Bernd Holzmüller, Erhard Plödereder	Finite Unions for Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Finite Unions, Polymorphism, Language Extension, Dispatching, Multi-Methods
14	Stefan Kahrs	Limits of ML-Definability.	PLILP	1996	DBLP DOI BibTeX RDF	completeness, ML, polymorphism, recursion, definability
14	Giorgio Ghelli	Complexity of Kernel Fun Subtype Checking.	ICFP	1996	DBLP DOI BibTeX RDF	polymorphism, subtyping, type theory, type checking
14	Bernd Holzmüller	Extending the Object-Orientedness of Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF	flexible type concepts, tagged types, language evaluation, polymorphism, object-oriented languages, Ada 95, dispatching, multi-methods
14	Atsushi Ohori	A Polymorphic Record Calculus and Its Compilation.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	record calculus, compilation, polymorphism, type inference, type theory
14	H. Becht, John Staples	Soft Typing of General First-Order Languages.	APSEC	1995	DBLP DOI BibTeX RDF	soft typing, many-sorted logics, type theory, type checking, parametric polymorphism
14	Xue-Miao Lu, Tharam S. Dillon	An Algebraic Theory of Object-Oriented Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	net objects, complex database models, formal specification, object-oriented programming, object-oriented programming, object-oriented databases, polymorphism, abstract data types, abstract data types, algebraic specification, object-oriented systems, multiple inheritance, object-oriented paradigms, nested relations, hierarchical approach, algebraic theory
14	Fritz Henglein, Jesper Jørgensen	Formally Optimal Boxing.	POPL	1994	DBLP DOI BibTeX RDF	representation analysis, polymorphism, type inference
14	Fritz Henglein	Type Inference with Polymorphic Recursion.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	semiunification, polymorphism, type inference, recursion
14	Ralf Hartmut Güting	Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	optimization, query processing, functional programming, data model, type system, polymorphism, signature, extensibility, algebra
14	Thom W. Frühwirth	Polymorphic Type Checking with Subtypes in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF	Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
9	Raphaël Hoarau	Augmenting the SCOPE of interactions with implicit and explicit graphical structures.	UIST (Adjunct Volume)	2011	DBLP DOI BibTeX RDF
9	Nabil El Boustani, Jurriaan Hage	Corrective hints for type incorrect generic Java programs.	PEPM	2010	DBLP DOI BibTeX RDF	compilers, heuristics, error correcting, type checking, java generics, error reporting
9	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
9	Jan Christiansen, Daniel Seidel, Janis Voigtländer	Free theorems for functional logic programs.	PLPV	2010	DBLP DOI BibTeX RDF	haskell, relational parametricity, curry
9	Kuljit Kaur Chahal, Hardeep Singh	Metrics to study symptoms of bad software designs.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
9	Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer	Classes and inheritance in actor-oriented design.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors
9	Pavel V. Zbitskiy	Code mutation techniques by means of formal grammars and automatons.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
9	Mehdi Talbi, Mohamed Mejri, Adel Bouhoula	Specification and evaluation of polymorphic shellcode properties using a new temporal logic.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
9	Grégoire Jacob, Eric Filiol, Hervé Debar	Functional polymorphic engines: formalisation, implementation and use cases.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
9	Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu	Graph transformations for object-oriented refinement.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph
9	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	interoperability, Operational semantics
9	Paola M. V. Rancoita, Marcus Hutter, Francesco Bertoni, Ivo Kwee	Bayesian Joint Estimation of CN and LOH Aberrations.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Bayesian regression, piecewise constant function, change point problem, DNA copy number estimation, LOH estimation
9	Suzanne S. Sindi, Benjamin J. Raphael	Identification and Frequency Estimation of Inversion Polymorphisms from Haplotype Data.	RECOMB	2009	DBLP DOI BibTeX RDF
9	Andrew Phillips	@composite: macro annotations for Java C.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	oo principles, java, frameworks, annotations, composition
9	William R. Cook	On understanding data abstraction, revisited.	OOPSLA	2009	DBLP DOI BibTeX RDF	ADT, object, abstract data type, class
9	Hyung Moo Kim, Jae Soo Yoo	An efficient design pattern algorithm for the environmental and hydrologic/hydraulic ubiquitous model developments.	ICHIT	2009	DBLP DOI BibTeX RDF	composite design pattern, environmental, hydrologic/hydraulic, pattern names, pattern
9	Alex Simpson	Linear types for computational effects.	POPL	2009	DBLP DOI BibTeX RDF	computational monads, linear logic, computational effects
9	Ben Lippmeier	Witnessing Purity, Constancy and Mutability.	APLAS	2009	DBLP DOI BibTeX RDF
9	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
9	Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin	An Interval-Based Inference of Variant Parametric Types.	ESOP	2009	DBLP DOI BibTeX RDF
9	Christian Haack, Erik Poll	Type-Based Object Immutability with Flexible Initialization.	ECOOP	2009	DBLP DOI BibTeX RDF
9	Satish Chandra 0001, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
9	Zhiling Wang, Zonghai Chen, Hui-Yong Chen	A novel robust background modeling algorithm for complex natural scenes.	GEC Summit	2009	DBLP DOI BibTeX RDF	multi-RANSAC, multiple-structural data, robust estimation, background model
9	Javier Ferrer, Francisco Chicano, Enrique Alba 0001	Dealing with inheritance in OO evolutionary testing.	GECCO	2009	DBLP DOI BibTeX RDF	instanceof, oo evolutionary testing, evolutionary algorithm, software testing, object-oriented, search based software engineering
9	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
9	Zhiqiang Lin, Ryan D. Riley, Dongyan Xu	Polymorphing Software by Randomizing Data Structure Layout.	DIMVA	2009	DBLP DOI BibTeX RDF
9	Adarsha Rao, Mythri Alle, Sainath V, Reyaz Shaik, Rajashekhar Chowhan, Sreeramula Sankaraiah, Sravanthi Mantha, S. K. Nandy 0001, Ranjani Narayan	An Input Triggered Polymorphic ASIC for H.264 Decoding.	ASAP	2009	DBLP DOI BibTeX RDF
9	David Röthlisberger, Marcel Harry, Alex Villazón, Danilo Ansaloni, Walter Binder, Oscar Nierstrasz, Philippe Moret	Augmenting static source views in IDEs with dynamic metrics.	ICSM	2009	DBLP DOI BibTeX RDF
9	David Röthlisberger, Marcel Harry, Alex Villazón, Danilo Ansaloni, Walter Binder, Oscar Nierstrasz, Philippe Moret	Senseo: Enriching Eclipse's static source views with dynamic metrics.	ICSM	2009	DBLP DOI BibTeX RDF
9	Loredana M. Genovese, Filippo Geraci, Marco Pellegrini 0001	SpeedHap: An Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Algorithms, Biology and genetics
9	Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel	Set based logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99
9	Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain	Proving operational termination of membership equational programs.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic
9	Murat Kantarcioglu, Wei Jiang, Ying Liu 0007, Bradley A. Malin	A Cryptographic Approach to Securely Share and Query Genomic Sequences.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
9	Yoshiteru Ishida	The Next Generation of Immunity-Based Systems: From Specific Recognition to Computational Intelligence.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
9	Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang	Certified Development Tools Implementation in Objective Caml.	PADL	2008	DBLP DOI BibTeX RDF	Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
9	Jorge Amigo, Christopher Phillips, Antonio Salas	Viability of in-house datamarting approaches for population genetics analysis of snp genotypes.	DTMBIO	2008	DBLP DOI BibTeX RDF	ceph, hapmap, perlegen, snps, genotypes, population genetics, data mart
9	Russ B. Altman	Text mining for pharmacogenomics.	DTMBIO	2008	DBLP DOI BibTeX RDF	literature curation, pharmacogenomics, text mining
9	Manuel Bodirsky	Constraint Satisfaction Problems with Infinite Templates.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
9	Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001	Calculating Invariants as Coreflexive Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF	coalgebraic reasoning, pointfree transform, proof obligations, program calculation
9	Zheng Wang 0005, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He 0001	Execution Semantics for rCOS.	APSEC	2008	DBLP DOI BibTeX RDF
9	Peter Rosner, Srikumar Viswanathan	Visualization of Coupling and Programming to Interface for Object-Oriented Systems.	IV	2008	DBLP DOI BibTeX RDF
9	Sam Tobin-Hochstadt, Matthias Felleisen	The design and implementation of typed scheme.	POPL	2008	DBLP DOI BibTeX RDF	type systems, scheme
9	Nikolaos Tsantalis, Theodoros Chaikalis, Alexander Chatzigeorgiou	JDeodorant: Identification and Removal of Type-Checking Bad Smells.	CSMR	2008	DBLP DOI BibTeX RDF
9	Simon Denier, Yann-Gaël Guéhéneuc	Mendel: A Model, Metrics, and Rules to Understand Class Hierarchies.	ICPC	2008	DBLP DOI BibTeX RDF
9	M-Hossein Moeinzadeh, Ehsan Asgarian, Sara Sharifian-R, Amir Najafi-Ardabili, Javad Mohammadzadeh	Neural Network Based Approaches, Solving Haplotype Reconstruction in MEC and MEC/GI Models.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	biology and genomics, haplotype reconstruction, SNP fragments, genotype information, reconstruction rate, clustering, Bioinformatics, haplotype, unsupervised neural network
9	Matthias Blume, Umut A. Acar, Wonseok Chae	Exception Handlers as Extensible Cases.	APLAS	2008	DBLP DOI BibTeX RDF
9	Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith 0001	Sound and Complete Type Inference for a Systems Programming Language.	APLAS	2008	DBLP DOI BibTeX RDF
9	Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett	A Realizability Model for Impredicative Hoare Type Theory.	ESOP	2008	DBLP DOI BibTeX RDF
9	Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely	Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).	ESOP	2008	DBLP DOI BibTeX RDF
9	Vipul Kashyap	From the Bench to the Bedside: The Role of Semantic Web and Translational Medicine for Enabling the Next Generation Healthcare Enterprise.	BIOSTEC (Selected Papers)	2008	DBLP DOI BibTeX RDF	Translational Medicine, Knowledge Maintenance and Provenance, Eligibility Criteria, Molecular Diagnostic Tests, Genetic Variants, Hypertrophic Cardiomyopathy, Family History, Business Object Models, Ontologies, Data Integration, Web Ontology Language (OWL), Business Rules, Electronic Medical Record, Clinical Trials, Semantic Web technologies, Resource Description Framework (RDF), Clinical Decision Support
9	Erik Ernst	First-Class Object Sets.	TYPES	2008	DBLP DOI BibTeX RDF	Object sets, multi-object method calls, composition, types