Search results for "Subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Martin Steffen, Benjamin C. Pierce	Higher-Order Subtyping.	PROCOMET	1994	DBLP BibTeX RDF
16	Kevin Lano, Stephen J. Goldsack	Refinement, Subtyping and Subclassing in VDM++.	Theory and Formal Methods	1994	DBLP BibTeX RDF
16	Flemming M. Damm	Subtyping with Union Types, Intersection Types and Recursive Types.	TACS	1994	DBLP DOI BibTeX RDF
16	Hideki Tsuiki	A Normalizing Calculus with Overloading and Subtyping.	TACS	1994	DBLP DOI BibTeX RDF
16	Dinesh Katiyar, David C. Luckham, John C. Mitchell	Polymorphism and Subtyping in Interfaces.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
16	Erik Poll, C. Hemerik, Huub M. M. ten Eikelder	CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.	RAIRO Theor. Informatics Appl.	1993	DBLP DOI BibTeX RDF
16	David J. Lillie	Conjunctive Subtyping.	FPCA	1993	DBLP DOI BibTeX RDF
16	Olga De Troyer, René Janssen	On Modularity for Conceptual Data Models and the Consequences for Subtyping, Inheritance & Overriding.	ICDE	1993	DBLP DOI BibTeX RDF
16	Benjamin C. Pierce, Davide Sangiorgi	Typing and Subtyping for Mobile Processes	LICS	1993	DBLP DOI BibTeX RDF
16	Xuequn Wu	Correctly typing objects through subtyping and type inference.	SAC	1992	DBLP DOI BibTeX RDF
16	Kim B. Bruce, John C. Mitchell	PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.	POPL	1992	DBLP DOI BibTeX RDF
16	Herman Balsters, Maarten M. Fokkinga	Subtyping Can Have a Simple Semantics.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
16	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	POPL	1991	DBLP DOI BibTeX RDF
16	John C. Mitchell, Sigurd Meldal, Neel Madhav	An Extension of Standard ML Modules with Subtyping and Inheritance.	POPL	1991	DBLP DOI BibTeX RDF
16	Francesco Parisi-Presicce, Alfonso Pierantonio	An Algebraic View of Inheritance and Subtyping in Object Oriented Programming.	ESEC	1991	DBLP DOI BibTeX RDF
16	Catriel Beeri, Tova Milo	Subtyping in OODB's.	PODS	1991	DBLP DOI BibTeX RDF
16	Luca Cardelli, Simone Martini 0001, John C. Mitchell, Andre Scedrov	An Extension of System F with Subtyping.	TACS	1991	DBLP DOI BibTeX RDF
16	Pierre-Louis Curien, Giorgio Ghelli	Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=.	TACS	1991	DBLP DOI BibTeX RDF
16	Luca Cardelli	A Pure Calculus of Subtyping, and Applications (Outline).	DBPL	1991	DBLP BibTeX RDF
16	Richard C. H. Connor, David J. McNally, Ronald Morrison	Subtyping and Assignment in Database Programming Languages.	DBPL	1991	DBLP BibTeX RDF
16	Geoffrey Smith	Polymorphic Type Inference for Languages with Overloading and Subtyping.		1991	RDF
16	William Gareth James Howells	Data modelling, subtyping and functional programming.		1991	RDF
16	Pierre America, Frank van der Linden 0001	A Parallel Object-Oriented Language with Inheritance and Subtyping.	OOPSLA/ECOOP	1990	DBLP DOI BibTeX RDF
16	William R. Cook, Walter L. Hill, Peter S. Canning	Inheritance Is Not Subtyping.	POPL	1990	DBLP DOI BibTeX RDF	Smalltalk
16	Surajit Chaudhuri	Database Types: A Plea for Simplicity (A Naive Semantics of Subtyping).	DS-4	1990	DBLP BibTeX RDF
16	Luca Cardelli	Structural Subtyping and the Notion of Power Type.	POPL	1988	DBLP DOI BibTeX RDF
10	Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi	Type-based specialization of xml transformations.	PEPM	2009	DBLP DOI BibTeX RDF	types, xml, tree automata, program specialization
10	Donna Malayeri, Jonathan Aldrich	CZ: multiple inheritance without diamonds.	OOPSLA	2009	DBLP DOI BibTeX RDF	diamond problem, modularity, multiple inheritance, multimethods
10	Luciano Vieira de Araújo, Sabri S. Sanabani, Ester C. Sabino, João Eduardo Ferreira	HIVSetSubtype: software for subtype classification of HIV-1 sequences.	SAC	2009	DBLP DOI BibTeX RDF	HIV subtype, HIV
10	Luís Dominguez	Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.	LICS	2009	DBLP DOI BibTeX RDF
10	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
10	Kenneth L. Knowles, Cormac Flanagan	Compositional reasoning and decidable checking for dependent contract types.	PLPV	2009	DBLP DOI BibTeX RDF	refinement types, abstraction, dependent types, compositional reasoning
10	Jeremy G. Siek, Ronald Garcia, Walid Taha	Exploring the Design Space of Higher-Order Casts.	ESOP	2009	DBLP DOI BibTeX RDF
10	Ciera Jaspan, Jonathan Aldrich	Checking Framework Interactions with Relationships.	ECOOP	2009	DBLP DOI BibTeX RDF
10	Bruno C. d. S. Oliveira	Modular Visitor Components.	ECOOP	2009	DBLP DOI BibTeX RDF
10	Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman	A theory of typed coercions and its applications.	ICFP	2009	DBLP DOI BibTeX RDF	coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance
10	Sheng-Lung Peng, Yu-Wei Tsay	Verification of Pathotyping by Quasispecies Model.	ICIC (1)	2009	DBLP DOI BibTeX RDF
10	Vasco Thudichum Vasconcelos	Fundamentals of Session Types.	SFM	2009	DBLP DOI BibTeX RDF
10	Dario Colazzo, Giorgio Ghelli, Carlo Sartiani	Efficient asymmetric inclusion between regular expression types.	ICDT	2009	DBLP DOI BibTeX RDF	language inclusion, XML, regular expressions
10	Martin Hofmann 0001, Dulma Rodriguez	Efficient Type-Checking for Amortised Heap-Space Analysis.	CSL	2009	DBLP DOI BibTeX RDF	Resource analysis, Semantics, OOP, Type systems
10	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
10	Donna Malayeri	CZ: multiple inheritance without diamonds.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	diamond problem, multiple inheritance
10	Federico Ambrogi, Elena Raimondi, Daniele Soria, Patrizia Boracchi, Elia Biganzoli	Cancer Profiles by Affinity Propagation.	ICMLA	2008	DBLP DOI BibTeX RDF
10	Matthew J. Parkinson, Gavin M. Bierman	Separation logic, abstraction and inheritance.	POPL	2008	DBLP DOI BibTeX RDF	modularity, classes, separation logic
10	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Enhancing modular OO verification with separation logic.	POPL	2008	DBLP DOI BibTeX RDF	enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification
10	Sam Tobin-Hochstadt, Matthias Felleisen	The design and implementation of typed scheme.	POPL	2008	DBLP DOI BibTeX RDF	type systems, scheme
10	Sylvain Lebresne	A System F with Call-by-Name Exceptions.	ICALP (2)	2008	DBLP DOI BibTeX RDF
10	Cosimo Laneve, Luca Padovani	The Pairing of Contracts and Session Types.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
10	Simon Denier, Yann-Gaël Guéhéneuc	Mendel: A Model, Metrics, and Rules to Understand Class Hierarchies.	ICPC	2008	DBLP DOI BibTeX RDF
10	Albert Cohen 0001, Louis Mandel, Florence Plateau, Marc Pouzet	Abstraction of Clocks in Synchronous Data-Flow Systems.	APLAS	2008	DBLP DOI BibTeX RDF	Real-time systems, Compilation, Semantics, Type-systems, Synchronous languages, Kahn Process Networks
10	Raymond Hu, Nobuko Yoshida, Kohei Honda 0001	Session-Based Distributed Programming in Java.	ECOOP	2008	DBLP DOI BibTeX RDF
10	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
10	Jindian Su, Shanshan Yu, Heqing Guo	Analysis of Web Service Substitutability Based on Typed Pi-Calculus.	EUC (2)	2008	DBLP DOI BibTeX RDF
10	Michael Lutz 0001	Ontology-Based Descriptions for Semantic Discovery and Composition of Geoprocessing Services.	GeoInformatica	2007	DBLP DOI BibTeX RDF	GI service discovery, GI service composition, Spatial data infrastractures, Ontologies, Matchmaking
10	Robert Bruce Findler, Shu-yu Guo, Anne Rogers	Lazy Contract Checking for Immutable Data Structures.	IFL	2007	DBLP DOI BibTeX RDF
10	Martin Sulzmann, Kenny Zhuo Ming Lu	XHaskell - Adding Regular Expression Types to Haskell.	IFL	2007	DBLP DOI BibTeX RDF
10	Nabil Hameurlain	Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.	CEEMAS	2007	DBLP DOI BibTeX RDF
10	Maurizio Cimadamore, Mirko Viroli	Reifying wildcards in Java using the EGO approach.	SAC	2007	DBLP DOI BibTeX RDF	java wildcards, variant parametric types, java generics
10	Audrey Tang	Perl 6: reconciling the irreconcilable.	POPL	2007	DBLP DOI BibTeX RDF
10	Claudio Sacerdoti Coen, Enrico Tassi	Working with Mathematical Structures in Type Theory.	TYPES	2007	DBLP DOI BibTeX RDF
10	Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr	Tracking Linear and Affine Resources with Java(X).	ECOOP	2007	DBLP DOI BibTeX RDF
10	John H. Reppy, Aaron Turon	Metaprogramming with Traits.	ECOOP	2007	DBLP DOI BibTeX RDF
10	Jeremy G. Siek, Walid Taha	Gradual Typing for Objects.	ECOOP	2007	DBLP DOI BibTeX RDF
10	Stefan Wehr, Ralf Lämmel, Peter Thiemann 0001	JavaGI : Generalized Interfaces for Java.	ECOOP	2007	DBLP DOI BibTeX RDF
10	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
10	Alex Lohfink, Tom W. Carnduff, Nathan Thomas, J. Mark Ware	An object-oriented approach to the representation of spatiotemporal geographic features.	GIS	2007	DBLP DOI BibTeX RDF	geographic data modeling spatial and spatio-temporal data modeling, object-orientation
10	Kathleen Fisher	Typing ad hoc data.	TLDI	2007	DBLP DOI BibTeX RDF	ad hoc data, domain-specific languages, dependent types, data description languages
10	Friedrich Steimann, Thomas Kühne 0001	Piecewise Modelling with State Subtypes.	MoDELS	2007	DBLP DOI BibTeX RDF
10	Tien N. Nguyen	Multi-level Architectural Evolution Management.	HICSS	2007	DBLP DOI BibTeX RDF
10	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
10	Gary T. Leavens	Tutorial on JML, the java modeling language.	ASE	2007	DBLP DOI BibTeX RDF	java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking
10	Luís Caires	Logical Semantics of Types for Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF
10	Nabil Hameurlain	Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.	ESAW	2007	DBLP DOI BibTeX RDF
10	Cong-Cong Xing	An Object Type Graph System.	TASE	2007	DBLP DOI BibTeX RDF
10	Nabil Hameurlain	Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.	SEFM	2007	DBLP DOI BibTeX RDF
10	Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko	Streaming Networks for Coordinating Data-Parallel Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
10	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson	Uniqueness Typing Redefined.	IFL	2006	DBLP DOI BibTeX RDF
10	DeLesley Hutchins	Eliminating distinctions of class: using prototypes to model virtual classes.	OOPSLA	2006	DBLP DOI BibTeX RDF	virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types
10	Thomas VanDrunen	Java interfaces in CS 1 textbooks.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	interfaces, polymorphism, CS 1
10	Nabil Hameurlain	A Formal Framework for Component Pr otocols Behavioural Compatibility.	APSEC	2006	DBLP DOI BibTeX RDF
10	Zhenyue Deng, Geoffrey Smith 0001	Type inference and informative error reporting for secure information flow.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
10	Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio	Object-Orientation in the UTP.	UTP	2006	DBLP DOI BibTeX RDF
10	Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky	A Core Calculus for Scala Type Checking.	MFCS	2006	DBLP DOI BibTeX RDF
10	Matthieu Sozeau	Subset Coercions in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
10	Franz Puntigam	Internal and External Token-Based Synchronization in Object-Oriented Languages.	JMLC	2006	DBLP DOI BibTeX RDF
10	Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient type inference for secure information flow.	PLAS	2006	DBLP DOI BibTeX RDF	security, algorithm, information flow, time complexity, type inference
10	Alexander V. Shafarenko	Streaming Networks for Coordinating Data-Parallel Programs (Position Statement).	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
10	Suad Alagic, Mark Royer, David Briggs	Verification Theories for XML Schema.	BNCOD	2006	DBLP DOI BibTeX RDF
10	Premysl Brada, Lukas Valenta	Practical Verification of Component Substitutability Using Subtype Relation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
10	Brian Henderson-Sellers, Cesar Gonzalez-Perez	Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0.	MoDELS	2006	DBLP DOI BibTeX RDF
10	Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca	Encoding CDuce in the Cpi-Calculus.	CONCUR	2006	DBLP DOI BibTeX RDF
10	Simon Marlow	An extensible dynamically-typed hierarchy of exceptions.	Haskell	2006	DBLP DOI BibTeX RDF	Haskell, exceptions
10	Robert Harper 0001, Frank Pfenning	On equivalence and canonical forms in the LF type theory.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	type theory, Logical frameworks
10	Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic	Mechanized Metatheory for the Masses: The PoplMark Challenge.	TPHOLs	2005	DBLP DOI BibTeX RDF
10	Nabil Hameurlain	Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems.	CEEMAS	2005	DBLP DOI BibTeX RDF
10	Haruo Hosoya	Type Systems for XML.	APLAS	2005	DBLP DOI BibTeX RDF
10	Peter Thiemann 0001	Towards a Type System for Analyzing JavaScript Programs.	ESOP	2005	DBLP DOI BibTeX RDF
10	Stephen Tse, Steve Zdancewic	A Design for a Security-Typed Language with Certificate-Based Declassification.	ESOP	2005	DBLP DOI BibTeX RDF
10	Joachim Niehren, Tim Priesnitz, Zhendong Su 0001	Complexity of Subtype Satisfiability over Posets.	ESOP	2005	DBLP DOI BibTeX RDF
10	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