Search results for "subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Dimitris Mostrous, Nobuko Yoshida, Kohei Honda 0001	Global Principal Typing in Partially Commutative Asynchronous Sessions.	ESOP	2009	DBLP DOI BibTeX RDF
29	Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin	An Interval-Based Inference of Variant Parametric Types.	ESOP	2009	DBLP DOI BibTeX RDF
29	Flemming Nielson, Hanne Riis Nielson	Types from Control Flow Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Betti Venneri, Viviana Bono	MOMI: a calculus for mobile mixins.	Acta Informatica	2005	DBLP DOI BibTeX RDF
29	Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine	Associated types and constraint propagation for mainstream object-oriented generics.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C#
29	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
29	Yong Luo 0001, Zhaohui Luo	Combining Incoherent Coercions for Sigma-Types.	TYPES	2003	DBLP DOI BibTeX RDF
29	Yoav Zibin, Joseph Gil	Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching.	OOPSLA	2002	DBLP DOI BibTeX RDF
29	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Points-To Analysis of Java in the Presence of Exceptions.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Java, complexity, exceptions, Points-to analysis
29	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
29	Michael Siff, Satish Chandra 0001, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps	Coping with Type Casts in C.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
29	Neal Glew	Type Dispatch for Named Hierarchical Types.	ICFP	1999	DBLP DOI BibTeX RDF
29	Nobuko Yoshida, Matthew Hennessy	Suptyping and Locality in Distributed Higher Order Processes (extended abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
29	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Concrete Type-Inference in the Presence of Exceptions.	ESOP	1998	DBLP DOI BibTeX RDF
29	Benjamin C. Pierce	Bounded Quantification is Undecidable.	POPL	1992	DBLP DOI BibTeX RDF
29	Satish Thatté	Type Inference and Implicit Scaling.	ESOP	1990	DBLP DOI BibTeX RDF
29	Silvia Clerici, Fernando Orejas	GSBL: An Algebraic Specification Language Based on Inheritance.	ECOOP	1988	DBLP DOI BibTeX RDF	genericity, specification languages, inheritance, Algebraic specification
26	Michael Pedersen, Gordon D. Plotkin	A Language for Biochemical Systems.	CMSB	2008	DBLP DOI BibTeX RDF	parametrised modules, subtyping, coloured Petri nets, Large-scale
26	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
26	Atsushi Igarashi, Mirko Viroli	Variant path types for scalable extensibility.	OOPSLA	2007	DBLP DOI BibTeX RDF	scalable extensibility, variant path types, subtyping, variance
26	Marina Polishchuk, Ben Liblit, Chloë W. Schulze	Dynamic heap type inference for program understanding and debugging.	POPL	2007	DBLP DOI BibTeX RDF	dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
26	Sonia Fagorzi, Elena Zucca	A Framework for Type Safe Exchange of Mobile Code.	TGC	2006	DBLP DOI BibTeX RDF	parametric calculus, static and dynamic typechecking, subtyping, mobile code
26	Atsushi Igarashi, Hideshi Nagira	Union types for object-oriented programming.	SAC	2006	DBLP DOI BibTeX RDF	java, subtyping, language design, language semantics, union types
26	Jerome Vouillon	Polymorphic regular tree types and patterns.	POPL	2006	DBLP DOI BibTeX RDF	polymorphism, subtyping, tree automata
26	Tobias Lindahl, Konstantinos Sagonas	Practical type inference based on success typings.	PPDP	2006	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, constraint-based type inference
26	George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer qualifier, libraries, subtyping, Memory safety
26	Giovanni Rimassa, Mirko Viroli	Understanding access restriction of variant parametric types and Java wildcards.	SAC	2005	DBLP DOI BibTeX RDF	java wildcards, use-site variance, variant parametric types, subtyping, java generics
26	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
26	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
26	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
26	Jean-Louis Colaço, Marc Pouzet	Type-based initialization analysis of a synchronous dataflow language.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre
26	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
26	Viviana Bono, Michele Bugliesi, Silvia Crafa	Typed interpretations of extensible objects.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
26	Benjamin C. Pierce, David N. Turner	Local type inference.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	polymorphism, type inference, subtyping
26	Dominique Colnet, Luigi Liquori	Match-O, A Dialect of Eiffel with Match-Types.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
26	Flemming Nielson, Hanne Riis Nielson	Type and Effect Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF	Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
26	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
26	Derek Coleman, Fiona Hayes, Stephen Bear	Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods
26	Steffen van Bakel, Ugo de'Liguoro	Logical Equivalence for Subtyping Object and Recursive Types.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Object calculi, Type theory, Program logic
26	J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.	Integrating coercion with subtyping and multiple dispatch.	SAC	2008	DBLP DOI BibTeX RDF
26	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
26	Dominique Colnet, Guillem Marpons-Ucero, Frederic Merizen	Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler.	ICSR	2006	DBLP DOI BibTeX RDF
26	Simon J. Gay, Malcolm Hole	Subtyping for session types in the pi calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
26	Steffen van Bakel, Ugo de'Liguoro	Subtyping Object and Recursive Types Logically.	ICTCS	2005	DBLP DOI BibTeX RDF
26	Lorenzo Bettini, Viviana Bono, Silvia Likavec	Safe Object Composition in the Presence of Subtyping.	ICTCS	2005	DBLP DOI BibTeX RDF
26	Kenny Zhuo Ming Lu, Martin Sulzmann	An Implementation of Subtyping Among Regular Expression Types.	APLAS	2004	DBLP DOI BibTeX RDF
26	Vincent Simonet	Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.	APLAS	2003	DBLP DOI BibTeX RDF
26	Emmanuel Coquery, François Fages	Subtyping Constraints in Quasi-lattices.	FSTTCS	2003	DBLP DOI BibTeX RDF
26	Atsushi Igarashi, Mirko Viroli	On Variance-Based Subtyping for Parametric Types.	ECOOP	2002	DBLP DOI BibTeX RDF
26	Alexander V. Shafarenko	A symmetry-based formalism for array subtyping.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF
26	Joe Hurd	Predicate Subtyping with Predicate Sets.	TPHOLs	2001	DBLP DOI BibTeX RDF
26	Robert Bruce Findler, Mario Latendresse, Matthias Felleisen	Behavioral contracts and behavioral subtyping.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
26	Jörgen Gustavsson, Josef Svenningsson	A Usage Analysis with Bounded Usage Polymorphism and Subtyping.	IFL	2000	DBLP DOI BibTeX RDF
26	Alexandre Miquel	A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF
26	Pascal Zimmer	Subtyping and Typing Algorithms for Mobile Ambients.	FoSSaCS	2000	DBLP DOI BibTeX RDF
26	Neelam Soundarajan, Stephen Fridella	Behavioral Subtyping and Behavioral Enrichment of Multimethods.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
26	John M. Rushby, Sam Owre, Natarajan Shankar	Subtypes for Specifications: Predicate Subtyping in PVS.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	typechecking, Formal methods, consistency, type systems, specification languages, subtypes, PVS
26	Peter Sewell	Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.	ICALP	1998	DBLP DOI BibTeX RDF
26	Michael Hollins, John Rosenberg, Michael Hitchens	Subtyping and Protection in Persistent Programming Languages.	HICSS (1)	1997	DBLP DOI BibTeX RDF
26	Jerzy Tiuryn	A Sequent Calculus for Subtyping Polymorphic Types.	MFCS	1996	DBLP DOI BibTeX RDF
26	François Pottier	Simplifying Subtyping Constraints.	ICFP	1996	DBLP DOI BibTeX RDF
26	Flemming Nielson, Hanne Riis Nielson, Torben Amtoft	Polymorphic Subtyping for Effect Analysis: The Algorithm.	LOMAPS	1996	DBLP DOI BibTeX RDF
26	Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann	Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.	LOMAPS	1996	DBLP DOI BibTeX RDF
26	Viviana Bono, Luigi Liquori	A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.	CSL	1994	DBLP DOI BibTeX RDF
26	Jerzy Tiuryn, Mitchell Wand	Type Reconstruction with Recursive Types and Atomic Subtyping.	TAPSOFT	1993	DBLP DOI BibTeX RDF
26	Geoffrey Smith 0001	Polymorphic Type Inference with Overloading and Subtyping.	TAPSOFT	1993	DBLP DOI BibTeX RDF
26	Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach	Efficient Recursive Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
26	QingMing Ma	Parametricity as Subtyping.	POPL	1992	DBLP DOI BibTeX RDF
26	Stefan Kaes	Type Inference in the Presence of Overloading, Subtyping and Recursive Types.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
26	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Calculus for Overloaded Functions with Subtyping.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
20	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
20	Nicholas Cameron 0001, Sophia Drossopoulou	Existential Quantification for Variant Ownership.	ESOP	2009	DBLP DOI BibTeX RDF
20	Christopher A. Stone, Robert Harper 0001	Extensional equivalence and singleton types.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	equivalence algorithms, logical relations, Singleton types
20	Gary T. Leavens	JML's Rich, Inherited Specifications for Behavioral Subtypes.	ICFEM	2006	DBLP DOI BibTeX RDF
20	Cong-Cong Xing	Enhancing program verifications by restricting object types.	SAC	2006	DBLP DOI BibTeX RDF	object types, OOP, program verification
20	Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu	Variance and Generalized Constraints for C# Generics.	ECOOP	2006	DBLP DOI BibTeX RDF
20	Alain Frisch	OCaml + XDuce.	ICFP	2006	DBLP DOI BibTeX RDF	CDuce, XDuce, regular expression types, XML, type inference, OCaml
20	Jens Palsberg, Tian Zhao 0002, Trevor Jim	Automatic discovery of covariant read-only fields.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	constraints, Types
20	Nam Tran II, David Abramson 0001, Christine Mingins	Call-Ordering Constraints.	APSEC	2005	DBLP DOI BibTeX RDF
20	Juan Chen, David Tarditi	A simple typed intermediate language for object-oriented languages.	POPL	2005	DBLP DOI BibTeX RDF	class and object encoding, typed intermediate language
20	Juan Chen	Decidable subclassing-bounded quantification.	TLDI	2005	DBLP DOI BibTeX RDF	bounded quantification, class and object encoding, decidability, typed intermediate language
20	Nabil Hameurlain	On Compatibility and Behavioural Substitutability of Component Protocols.	SEFM	2005	DBLP DOI BibTeX RDF
20	Heike Wehrheim	Refinement and Consistency in Component Models with Multiple Views.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
20	James Leslie Keedy, Christian Heinlein, Gisela Menger	Reuse Variables: Reusing Code and State in Timor.	ICSR	2004	DBLP DOI BibTeX RDF
20	Lorenzo Bettini, Viviana Bono, Betti Venneri	O'Klaim: A Coordination Language with Mobile Mixins.	COORDINATION	2004	DBLP DOI BibTeX RDF
20	Robert Kießling, Zhaohui Luo	Coercions in Hindley-Milner Systems.	TYPES	2003	DBLP DOI BibTeX RDF
20	Franz Puntigam	Flexible Types for a Concurrent Model.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
20	O. Biberstein, Didier Buchs, Nicolas Guelfi	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
20	Jörgen Gustavsson, Josef Svenningsson	Constraint Abstractions.	PADO	2001	DBLP DOI BibTeX RDF
20	Anna Mikhailova, Alexander B. Romanovsky	Supporting Evolution of Interface Exceptions.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
20	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce	Regular expression types for XML.	ICFP	2000	DBLP DOI BibTeX RDF	UML
20	Manuvir Das	Unification-based pointer analysis with directional assignments.	PLDI	2000	DBLP DOI BibTeX RDF
20	Viviana Bono, Michele Bugliesi	Interpretations of Extensible Objects and Types.	FCT	1999	DBLP DOI BibTeX RDF
20	Jens Palsberg	Equality-based flow analysis versus recursive types.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type systems, flow analysis
20	Jonathan G. Rossie Jr.	Logical Observable Entities.	OOPSLA	1998	DBLP DOI BibTeX RDF
20	Fritz Henglein, Jakob Rehof	Constraint Automata and the Complexity of Recursive Subtype Entailment.	ICALP	1998	DBLP DOI BibTeX RDF
20	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
20	Andreas Krall, Jan Vitek, R. Nigel Horspool	Near Optimal Hierarchical Encoding of Types.	ECOOP	1997	DBLP DOI BibTeX RDF
20	Jens Palsberg, Scott F. Smith 0001	Constrained Types and Their Expressiveness.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	constraints
20	My Hoang, John C. Mitchell	Lower Bounds on Type Inference with Subtypes.	POPL	1995	DBLP DOI BibTeX RDF