Search results for "subtype"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Dominic Duggan	Finite subtype inference with explicit polymorphism.	Sci. Comput. Program.	2001	DBLP DOI BibTeX RDF
18	Richard E. Biehl	Practical Guidelines for Suptertype and Subtype Modeling.	High-Performance Web Databases	2001	DBLP BibTeX RDF
18	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
18	Marcin Benke	Some Complexity Bounds for Subtype Inequalities.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
18	Joachim Niehren, Tim Priesnitz	Entailment of Non-structural Subtype Constraints.	ASIAN	1999	DBLP DOI BibTeX RDF
18	Alexandre Frey	Satisfying Subtype Inequalities in Polynomial Space.	SAS	1997	DBLP DOI BibTeX RDF
18	Jan-Bon Chen, Samuel C. Lee	Generation and Reorganization of Subtype Hierarchies.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
18	Gerald Baumgartner, Vincent F. Russo	Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++.	Softw. Pract. Exp.	1995	DBLP DOI BibTeX RDF
18	Alexander Aiken, Manuel Fähndrich	Dynamic Typing and Subtype Inference.	FPCA	1995	DBLP DOI BibTeX RDF
18	Dirk Dussart, Fritz Henglein, Christian Mossin	Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time	SAS	1995	DBLP DOI BibTeX RDF
18	Zhenyu Qian, Tobias Nipkow	Reduction and Unification in Lambda Calculi with a General Notion of Subtype.	J. Autom. Reason.	1994	DBLP DOI BibTeX RDF
18	Jerzy Tiuryn	Subtype Inequalities	LICS	1992	DBLP DOI BibTeX RDF
18	Wolfgang Ecker, Sabine März	Subtype concept of VHDL for synthesis constraints.	EURO-DAC	1992	DBLP DOI BibTeX RDF
18	Markku Sakkinen	On embedding Boolean as a subtype of integer.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
18	You-Chin Fuh, Prateek Mishra	Polymorphic Subtype Inference: Closing the Theory-Practice Gap.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
18	Kim B. Bruce, Peter Wegner	An Algebraic Model of Subtype and Inheritance.	DBPL	1987	DBLP DOI BibTeX RDF
18	Kim Bruce 0001, Peter Wegner	An algebraic model of subtype in object-oriented languages (abstract only).	OOPWORK	1986	DBLP DOI BibTeX RDF
18	Asao Fujiyama, Atsushi Miyanohara, Chikateru Nozaki, Tetsuo Yoneyama, Tetsuo Ohtomo, K. Matsubara	Cloning and structural analyses of hepatitis B virus DNAs, subtype adr.	Nucleic Acids Res.	1983	DBLP DOI BibTeX RDF
18	I. R. Palmer	Record Subtype Facilities in Database Systems.	VLDB	1978	DBLP BibTeX RDF
12	Seda Postalcioglu, Kadir Erkan	Soft computing and signal processing based active fault tolerant control for benchmark process.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Fault detection and identification, Self-organizing map, Wavelet analysis, Fuzzy logic controller, Fault tolerant control
12	Elizabeth Black, Anthony Hunter	An inquiry dialogue system.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Cooperation, Argumentation, Dialogue, Agent interaction, Inquiry
12	Thomas W. H. Lui, David K. Y. Chiu	Multi-value Association Patterns and Data Mining.	Foundations of Computational Intelligence (6)	2009	DBLP DOI BibTeX RDF
12	David Lievens, William Harrison	Symmetric encapsulated multi-methods to abstract over application structure.	SAC	2009	DBLP DOI BibTeX RDF	symmetric methods, software evolution, type system, language design, multiple dispatch
12	Marzena Kryszkiewicz	Compressed Disjunction-Free Pattern Representation versus Essential Pattern Representation.	IDEAL	2009	DBLP DOI BibTeX RDF
12	Kyung-Goo Doh, David A. Schmidt	An Action Semantics Based on Two Combinators.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin	An Interval-Based Inference of Variant Parametric Types.	ESOP	2009	DBLP DOI BibTeX RDF
12	Nicholas Cameron 0001, Sophia Drossopoulou	Existential Quantification for Variant Ownership.	ESOP	2009	DBLP DOI BibTeX RDF
12	Philip Wadler, Robert Bruce Findler	Well-Typed Programs Can't Be Blamed.	ESOP	2009	DBLP DOI BibTeX RDF
12	Giovanni Lagorio, Marco Servetto, Elena Zucca	Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.	ECOOP	2009	DBLP DOI BibTeX RDF
12	Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. van Rooden, Martine Visser, Johan Marinus, Edward O. Cannon, Andreas Bender 0002, Jacobus J. van Hilten, P. Eline Slagboom, Joost N. Kok	A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data.	ISoLA	2008	DBLP DOI BibTeX RDF
12	Yuyu Yin, Jianwei Yin, Ying Li 0001, ShuiGuang Deng	Verifying Consistency of Web Services Behavior Using Type Theory.	APSCC	2008	DBLP DOI BibTeX RDF
12	Ding Chen, Chee Yong Chan	Minimization of tree pattern queries with constraints.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	query minimization, tree pattern queries, simulation, xpath, xml, integrity constraints, chase
12	Annarita D'Addabbo, Massimo Papale, Salvatore Di Paolo, Simona Magaldi, Roberto Colella, Valentina d'Onofrio, Annamaria Di Palma, Elena Ranieri, Loreto Gesualdo, Nicola Ancona	SVD Based Feature Selection and Sample Classification of Proteomic Data.	KES (3)	2008	DBLP DOI BibTeX RDF	proteomic data, Feature selection, SVD
12	Salvador Lucas, José Meseguer 0001	Order-sorted dependency pairs.	PPDP	2008	DBLP DOI BibTeX RDF	program analysis, termination, term rewriting
12	Fabian Büttner, Mirco Kuhlmann	Shortcomings of the Embedding of OCL into QVT ImperativeOCL.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
12	Limsoon Wong	Guilt by association as a search principle.	SIGIR	2008	DBLP DOI BibTeX RDF	search principle
12	Hannes Kegel, Friedrich Steimann	Systematically refactoring inheritance to delegation in java.	ICSE	2008	DBLP DOI BibTeX RDF	open recursion, evaluation, design, refactoring, inheritance, delegation, forwarding
12	Wonhong Nam, Hyunyoung Kil, Dongwon Lee 0001	Type-Aware Web Service Composition Using Boolean Satisfiability Solver.	CEC/EEE	2008	DBLP DOI BibTeX RDF
12	Premysl Brada	Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
12	Robert Bruce Findler, Shu-yu Guo, Anne Rogers	Lazy Contract Checking for Immutable Data Structures.	IFL	2007	DBLP DOI BibTeX RDF
12	Brigitte Pientka	Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF.	TPHOLs	2007	DBLP DOI BibTeX RDF
12	Misha L. Rajaram, Vladimir N. Minin, Marc A. Suchard, Karin S. Dorman	Hot and Cold: Spatial Fluctuation in HIV-1 Recombination Rates.	BIBE	2007	DBLP DOI BibTeX RDF
12	Pete G. Thomas, Neil Smith, Kevin G. Waugh	Computer assisted assessment of diagrams.	ITiCSE	2007	DBLP DOI BibTeX RDF	feedback, diagrams, automatic marking
12	Andre Oboler, Charles Twardy, David W. Albrecht	Super Iterator A design pattern for Algorithm and Data structure collections.	ITNG	2007	DBLP DOI BibTeX RDF
12	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
12	Frank Tip	Refactoring Using Type Constraints.	SAS	2007	DBLP DOI BibTeX RDF
12	Adrian Popescu 0001, Christophe Millet, Pierre-Alain Moëllic	Ontology driven content based image retrieval.	CIVR	2007	DBLP DOI BibTeX RDF	ontology, semantics, content based image retrieval, WordNet
12	Shan Shan Huang, David Zook, Yannis Smaragdakis	cJ: enhancing java with safe type conditions.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, meta-programming, language extensions
12	Xiangfeng Luo, Zhian Yu	Building Knowledge Flow of Textual Topics for the e-Science Knowledge Grid.	GCC	2007	DBLP DOI BibTeX RDF
12	C. Maria Keet	Granulation with Indistinguishability, Equivalence, or Similarity.	GrC	2007	DBLP DOI BibTeX RDF
12	Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan	Semantic Inconsistency Errors in Ontology.	GrC	2007	DBLP DOI BibTeX RDF
12	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
12	Thomas VanDrunen	Java interfaces in CS 1 textbooks.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	interfaces, polymorphism, CS 1
12	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
12	Jerome Vouillon	Polymorphic regular tree types and patterns.	POPL	2006	DBLP DOI BibTeX RDF	polymorphism, subtyping, tree automata
12	Ting Wang 0009, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham, Ji Wang 0001	Automatic Extraction of Hierarchical Relations from Text.	ESWC	2006	DBLP DOI BibTeX RDF
12	Pritha Mahata, Wagner Costa, Carlos Cotta, Pablo Moscato	Hierarchical Clustering, Languages and Cancer.	EvoWorkshops	2006	DBLP DOI BibTeX RDF
12	Hung-Ming Wang, Ji-Kun Lin, Jar-Ferr Yang	Fast Inter Mode Decision Based on Hierarchical Homogeneous Detection and Cost Analysis for H.264/AVC Coders.	ICME	2006	DBLP DOI BibTeX RDF
12	George Forman	Tackling concept drift by temporal inductive transfer.	SIGIR	2006	DBLP DOI BibTeX RDF	machine learning, support vector machine, time series, text classification, concept drift, topic identification, inductive transfer
12	Xiao Huang, Sharon L. Oviatt, Rebecca Lunsford	Combining User Modeling and Machine Learning to Predict Users' Multimodal Integration Patterns.	MLMI	2006	DBLP DOI BibTeX RDF
12	Sonja Zillner, Werner Winiwarter	EMMA - A Formal Basis for Querying Enhanced Multimedia Meta Objects.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
12	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce	Regular expression types for XML.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	XML, Type systems, subtyping
12	Jeff Stark, Kim Binsted, Ben Bergen 0003	Disjunctor Selection for One-Line Jokes.	INTETAIN	2005	DBLP DOI BibTeX RDF
12	Jinyan Li 0001, Huiqing Liu, Ling Li	Diagnostic Rules Induced by an Ensemble Method for Childhood Leukemia.	BIBE	2005	DBLP DOI BibTeX RDF
12	Hideki Tsuiki, Keiji Sugihara	Streams with a Bottom in Functional Languages.	ESOP	2005	DBLP DOI BibTeX RDF
12	Andrés Cano, Francisco Javier García Castellano, Andrés R. Masegosa, Serafín Moral	Selective Gaussian Naïve Bayes Model for Diffuse Large-B-Cell Lymphoma Classification: Some Improvements in Preprocessing and Variable Elimination.	ECSQARU	2005	DBLP DOI BibTeX RDF
12	Zoltán Porkoláb, István Zólyomi	A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming.	GTTSE	2005	DBLP DOI BibTeX RDF
12	Peter Thiemann 0001	Grammar-based analysis of string expressions.	TLDI	2005	DBLP DOI BibTeX RDF	string expression analysis, constraints, type inference
12	Haiyun Wang, Qingpu Zhang, Yadong Wang, Xia Li 0004, Shaoqi Rao, Zuquan Ding	A Novel Feature Ensemble Technology to Improve Prediction Performance of Multiple Heterogeneous Phenotypes Based on Microarray Data.	FSKD (2)	2005	DBLP DOI BibTeX RDF
12	Tobias Lindahl, Konstantinos Sagonas	TypEr: a type annotator of Erlang code.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, principal typings, constraint-based type inference
12	Alexander V. Shafarenko, Sven-Bodo Scholz	General Homomorphic Overloading.	IFL	2004	DBLP DOI BibTeX RDF
12	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
12	Andy McKay-Hubbard, Ann Macintosh	Models of Trust for Knowledge-Based Government Services.	EGOV	2003	DBLP DOI BibTeX RDF
12	Vladimir Gapeyev, Benjamin C. Pierce	Regular Object Types.	ECOOP	2003	DBLP DOI BibTeX RDF
12	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
12	Mark Utting, Shaochun Wang	Object Orientation without Extending Z.	ZB	2003	DBLP DOI BibTeX RDF
12	Erik Ernst, David H. Lorenz	Aspects and polymorphism in AspectJ.	AOSD	2003	DBLP DOI BibTeX RDF
12	Anupriya Ankolekar, Frank Huch, Katia P. Sycara	Concurrent Execution Semantics of DAML-S with Subtypes.	ISWC	2002	DBLP DOI BibTeX RDF	Languages and Infrastructure, Ontologies, Agents, Services
12	Andrew D. Gordon 0001, Alan Jeffrey	Types and Effects for Asymmetric Cryptographic Protocols.	CSFW	2002	DBLP DOI BibTeX RDF
12	Li Chen 0016, Elke A. Rundensteiner, Song Wang 0001	XCache: a semantic caching system for XML queries.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	XML
12	Prakash Ramanan	Efficient algorithms for minimizing tree pattern queries.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	LDAP queries, graph simulation, query minimization, tree pattern queries, XML, integrity constraints, XML queries
12	Michel Allemand, Jean-Claude Royer	Mixed Formal Specifications with PVS.	IPDPS	2002	DBLP DOI BibTeX RDF
12	Atsushi Igarashi, Mirko Viroli	On Variance-Based Subtyping for Parametric Types.	ECOOP	2002	DBLP DOI BibTeX RDF
12	Klaus Ostermann	Dynamically Composable Collaborations with Delegation Layers.	ECOOP	2002	DBLP DOI BibTeX RDF
12	Ernesto J. Sallés, James Bret Michael, Michael V. Capps, Don McGregor, Andrzej Kapolka	Security of runtime extensible virtual environments.	CVE	2002	DBLP DOI BibTeX RDF	runtime extensible virtual environment, security, virtual reality, virtual environment, taxonomy, computer security, collaborative environment, information assurance
12	Maurice Bruynooghe, Wim Vanhoof, Michael Codish	Pos(T): Analyzing Dependencies in Typed Logic Programs.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
12	Manuel Montes-y-Gómez, Alexander F. Gelbukh, Aurelio López-López, Ricardo A. Baeza-Yates	Flexible Comparison of Conceptual GraphsWork done under partial support of CONACyT, CGEPI-IPN, and SNI, Mexico.	DEXA	2001	DBLP DOI BibTeX RDF
12	Jakob Rehof, Manuel Fähndrich	Type-base flow analysis: from polymorphic subtyping to CFL-reachability.	POPL	2001	DBLP DOI BibTeX RDF
12	Olivier Raynaud, Eric Thierry	A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.	ECOOP	2001	DBLP DOI BibTeX RDF
12	Wim Vanhoof, Maurice Bruynooghe	When Size Does Matter.	LOPSTR	2001	DBLP DOI BibTeX RDF
12	Gilles Barthe, Femke van Raamsdonk	Constructor Subtyping in the Calculus of Inductive Constructions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
12	Martin Büchi, Wolfgang Weck	Generic Wrappers.	ECOOP	2000	DBLP DOI BibTeX RDF
12	João Costa Seco, Luís Caires	A Basic Model of Typed Components.	ECOOP	2000	DBLP DOI BibTeX RDF
12	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce	Regular expression types for XML.	ICFP	2000	DBLP DOI BibTeX RDF	UML
12	Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young	Compiler and tool support for debugging object protocols.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	protocols, debugging, sequencing constraints
12	Ran Rinat, Menachem Magidor, Scott F. Smith 0001	Correspondence Polymorphism for Object-Oriented Languages.	OOPSLA	1999	DBLP DOI BibTeX RDF
12	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
12	Jerzy Tiuryn	Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.	MFCS	1999	DBLP DOI BibTeX RDF
12	Vassily Litvinov	Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System.	OOPSLA	1998	DBLP DOI BibTeX RDF
12	Didier Rémy	From Classes to Objects via Subtyping.	ESOP	1998	DBLP DOI BibTeX RDF