Search results for "Subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Norman Ramsey, Kathleen Fisher, Paul Govereau	An expressive language of signatures.	ICFP	2005	DBLP DOI BibTeX RDF	signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large
10	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
10	Martin Giese	A Calculus for Type Predicates and Type Coercion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	François Bry, Bernhard Lorenz, Stephanie Spranger	Calendars and Topologies as Types.	KES (4)	2005	DBLP DOI BibTeX RDF
10	Christian Skalka	Trace effects and object orientation.	PPDP	2005	DBLP DOI BibTeX RDF	temporal program logic, type and effect, type constraints
10	Michael Lutz 0001	Ontology-based service discovery in spatial data infrastructures.	GIR	2005	DBLP DOI BibTeX RDF	ontologies, service discovery, spatial data infrastructures
10	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
10	Gul Agha, Prasanna Thati	An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
10	Jinghai Rao, Peep Küngas, Mihhail Matskin	Logic-based Web Services Composition: From Service Description to Process Model.	ICWS	2004	DBLP DOI BibTeX RDF
10	Jonathan Edwards, Daniel Jackson 0001, Emina Torlak	A type system for object models.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy
10	Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard	Region inference for an object-oriented language.	PLDI	2004	DBLP DOI BibTeX RDF	downcasts, method overriding, region inference, type systems, memory management, object-oriented languages
10	Jacques Garrigue	Relaxing the Value Restriction.	FLOPS	2004	DBLP DOI BibTeX RDF
10	Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung	Faster constraint solving with subtypes.	ISSTA	2004	DBLP DOI BibTeX RDF	relational logic, verification, constraints, analysis, SAT, subtypes
10	Augusto Sampaio, Paulo Borba	Transformation Laws for Sequential Object-Oriented Programming.	PSSE	2004	DBLP DOI BibTeX RDF
10	Michele Bugliesi, Dario Colazzo, Silvia Crafa	Type Based Discretionary Access Control.	CONCUR	2004	DBLP DOI BibTeX RDF
10	Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe	Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.	FoIKS	2004	DBLP DOI BibTeX RDF
10	Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech	PolyTOIL: A type-safe polymorphic object-oriented language.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	hash type, Matching
10	Mark Sifer, Yardena Peres, Yoëlle S. Maarek	Browsing and Editing XML Schema Documents with an Interactive Editor.	DNIS	2003	DBLP DOI BibTeX RDF
10	Thierry Coquand, Randy Pollack, Makoto Takeyama	A Logical Framework with Dependently Typed Records.	TLCA	2003	DBLP DOI BibTeX RDF
10	Christophe Raffalli	System ST \beta-reduction and completeness.	LICS	2003	DBLP DOI BibTeX RDF	lambda-calcul, type, subtype
10	Luca de Alfaro	Game Models for Open Systems.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
10	Martín Abadi, K. Rustan M. Leino	A Logic of Object-Oriented Programs.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
10	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Compositional Operational Semantics for JavaMT.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
10	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving
10	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
10	Didier Buchs, Stanislav Chachkov, David Hurzeler	Modelling a Secure, Mobile, and Transactional System with CO-OPN.	ACSD	2003	DBLP DOI BibTeX RDF
10	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
10	Mark Utting, Shaochun Wang	Object Orientation without Extending Z.	ZB	2003	DBLP DOI BibTeX RDF
10	Libin Wang, Kefei Chen	A Typed Theory for Access Control and Information Flow Control in Mobile Systems.	ACISP	2003	DBLP DOI BibTeX RDF
10	Cees Pierik, Frank S. de Boer	A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.	FMOODS	2003	DBLP DOI BibTeX RDF
10	Jinghai Rao, Xiaomeng Su	Toward the Composition of Semantic Web Services.	GCC (2)	2003	DBLP DOI BibTeX RDF
10	Eckhard Bick	A Constraint Grammar Based Question Answering System for Portuguese.	EPIA	2003	DBLP DOI BibTeX RDF	Constraint Grammar (CG), Named Entity Recognition (NER), Information Extraction (IE), Question Answering (QA)
10	Alexandre Miquel	A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.	CSL	2003	DBLP DOI BibTeX RDF
10	Suad Alagic, Jeremy Logan	Consistency of Java Transactions.	DBPL	2003	DBLP DOI BibTeX RDF
10	Eckhard Bick	Multi-level NER for Portuguese in a CG Framework.	PROPOR	2003	DBLP DOI BibTeX RDF
10	Jan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz	Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	consistency in document engineering, temporal logic, document management
10	Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman	An inheritance-based technique for building simulation proofs incrementally.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements
10	Robert Pollack	Dependently Typed Records in Type Theory.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble
10	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
10	Riccardo Pucella	Towards a formalization for COM part i: the primitive calculus.	OOPSLA	2002	DBLP DOI BibTeX RDF	components, interfaces, type system, formalism, calculus, COM
10	Sagar Chaki, Sriram K. Rajamani, Jakob Rehof	Types as models: model checking message-passing programs.	POPL	2002	DBLP DOI BibTeX RDF
10	Somesh Jha, Jens Palsberg, Tian Zhao 0002	Efficient Type Matching.	FoSSaCS	2002	DBLP DOI BibTeX RDF
10	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Verification for Java's Reentrant Multithreading Concept.	FoSSaCS	2002	DBLP DOI BibTeX RDF
10	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
10	Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney	Region-Based Memory Management in Cyclone.	PLDI	2002	DBLP DOI BibTeX RDF
10	Ernst-Rüdiger Olderog, Heike Wehrheim	Specification and Inheritance in CSP-OZ.	FMCO	2002	DBLP DOI BibTeX RDF	failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR
10	Emil Sekerinski	Concurrent Object-Oriented Programs: From Specification to Code.	FMCO	2002	DBLP DOI BibTeX RDF
10	Lorenzo Bettini, Viviana Bono, Betti Venneri	Coordinating Mobile Object-Oriented Code.	COORDINATION	2002	DBLP DOI BibTeX RDF
10	Jean-Yves Vion-Dury, Veronika Lux, Emmanuel Pietriga	Experimenting with the circus language for XML modeling and transformation.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	typed document transformation, XML, programming language, XSLT, document model, circus
10	Satyam Tyagi, Paul Tarau	A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.	PADL	2001	DBLP DOI BibTeX RDF
10	Barbara G. Ryder, Frank Tip	Change impact analysis for object-oriented programs.	PASTE	2001	DBLP DOI BibTeX RDF
10	Alexandre Miquel	The Implicit Calculus of Constructions.	TLCA	2001	DBLP DOI BibTeX RDF
10	Vivek K. Shanbhag, K. Gopinath	A SPIN-Based Model Checker for Telecommunication Protocols.	SPIN	2001	DBLP DOI BibTeX RDF
10	Zhendong Su 0001, Alexander Aiken	Entailment with Conditional Equality Constraints.	ESOP	2001	DBLP DOI BibTeX RDF
10	Gregory T. Sullivan	Dynamic Partial Evaluation.	PADO	2001	DBLP DOI BibTeX RDF
10	Daniel Jackson 0001, Ilya Shlyakhter, Manu Sridharan	A micromodularity mechanism.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language
10	Mario Coppo, Daniel Hirschkoff	Incremental Inference of Partial Types.	ICTCS	2001	DBLP DOI BibTeX RDF
10	Edward A. Lee, Yuhong Xiong	System-Level Types for Component-Based Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
10	Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof	Estimating the Impact of Scalable Pointer Analysis on Optimization.	SAS	2001	DBLP DOI BibTeX RDF
10	Gabriel M. Kuper, Jérôme Siméon	Subsumption for XML types.	ICDT	2001	DBLP DOI BibTeX RDF
10	Jeannette M. Wing, John Ockerbloom	Respectful Type Converters.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Type converters, object repository, abstraction function, type evolution, semantics, interoperability, specifications, object-oriented design, subtype, distributed objects, Larch
10	Michael Hanus, Frank Huch, Philipp Niederau	ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.	IFL	2000	DBLP DOI BibTeX RDF
10	Yolande Ahronovitz, Marianne Huchard	Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
10	Jens Palsberg, Tian Zhao 0002	Efficient and Flexible Matching of Recursive Types.	LICS	2000	DBLP DOI BibTeX RDF	Multi-language systems, algorithms, types
10	Giuliano Antoniol, Gerardo Casazza, Ettore Merlo	Identification of Lower-Level Artifacts.	IWPC	2000	DBLP DOI BibTeX RDF
10	François Pottier	A 3-Part Type Inference Engine.	ESOP	2000	DBLP DOI BibTeX RDF
10	Kohei Honda 0001, Vasco Thudichum Vasconcelos, Nobuko Yoshida	Secure Information Flow as Typed Process Behaviour.	ESOP	2000	DBLP DOI BibTeX RDF
10	Hans Schuster, Dimitrios Georgakopoulos 0001, Andrzej Cichocki, Donald Baker	Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes.	CAiSE	2000	DBLP DOI BibTeX RDF
10	Yannis Papakonstantinou, Victor Vianu	DTD Inference for Views of XML Data.	PODS	2000	DBLP DOI BibTeX RDF
10	Rowan Davies, Frank Pfenning	Intersection types and computational effects.	ICFP	2000	DBLP DOI BibTeX RDF	UML
10	Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman	An inheritance-based technique for building simulation proofs incrementally.	ICSE	2000	DBLP DOI BibTeX RDF	interface extension, specialization by inheritance, system modeling/verification, simulation, refinement
10	Nils Klarlund, Michael I. Schwartzbach	A Domain-Specific Language for Regular Sets of Strings and Trees.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	regular sets, trees, Domain-specific languages, logic, strings
10	Leslie Lamport, Lawrence C. Paulson	Should your specification language be typed.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	specification, types, set theory
10	Martin Plümicke	Polymorphism in OBJ-P.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
10	Ran Rinat, Menachem Magidor, Scott F. Smith 0001	Correspondence Polymorphism for Object-Oriented Languages.	OOPSLA	1999	DBLP DOI BibTeX RDF
10	Arie van Deursen, Leon Moonen	Understanding COBOL Systems using Inferred Types.	IWPC	1999	DBLP DOI BibTeX RDF
10	Simon J. Gay, Malcolm Hole	Types and Subtypes for Client-Server Interactions.	ESOP	1999	DBLP DOI BibTeX RDF
10	Arnd Poetzsch-Heffter, Peter Müller 0001	A Programming Logic for Sequential Java.	ESOP	1999	DBLP DOI BibTeX RDF
10	Viviana Bono, Amit Patel 0001, Vitaly Shmatikov	A Core Calculus of Classes and Mixins.	ECOOP	1999	DBLP DOI BibTeX RDF	type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin
10	Atsushi Igarashi, Benjamin C. Pierce	Foundations for Virtual Types.	ECOOP	1999	DBLP DOI BibTeX RDF
10	Christopher League, Zhong Shao, Valery Trifonov	Representing Java Classes in a Typed Intermediate Language.	ICFP	1999	DBLP DOI BibTeX RDF
10	Gérard Boudol, Silvano Dal-Zilio	An Interpretation of Extensible Objects.	FCT	1999	DBLP DOI BibTeX RDF
10	Frédéric Prost	A formalization of Static Analyses in System F.	CADE	1999	DBLP DOI BibTeX RDF
10	Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken	A Theory of Type Qualifiers.	PLDI	1999	DBLP DOI BibTeX RDF
10	Mike Spreitzer, Andrew Begel	More Flexible Data Types.	WETICE	1999	DBLP DOI BibTeX RDF
10	Peter Buneman, Benjamin C. Pierce	Union Types for Semistructured Data.	DBPL	1999	DBLP DOI BibTeX RDF
10	Davide Ancona	An Algebraic Framework for Separate Type-Checking.	WADT	1998	DBLP DOI BibTeX RDF
10	Pietro Di Gianantonio, Furio Honsell, Luigi Liquori	A Lambda Calculus of Objects with Self-Inflicted Extension.	OOPSLA	1998	DBLP DOI BibTeX RDF
10	Robert Cartwright, Guy L. Steele Jr.	Compatible Genericity with Run-Time Types for the Java Programming Language.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
10	François Puitg, Jean-François Dufourd	Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling.	TPHOLs	1998	DBLP DOI BibTeX RDF
10	François Puitg, Jean-François Dufourd	Formal Program Development in Geometric Modeling.	FM-Trends	1998	DBLP DOI BibTeX RDF
10	Benjamin C. Pierce	Type Systems for Concurrent Calculi (Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
10	Mohammed Benattou, Lotfi Lakhal	Incremental Inheritance Model for an OODBMS.	DEXA	1997	DBLP DOI BibTeX RDF
10	Martín Abadi, K. Rustan M. Leino	A Logic of Object-Oriented Programs.	TAPSOFT	1997	DBLP DOI BibTeX RDF
10	Luigi Liquori	An Extended Theory of Primitive Objects: FIrst Order System.	ECOOP	1997	DBLP DOI BibTeX RDF	design and semantics of object-oriented languages, Type systems
10	Lihui Xu, Alexandra Poulovassilis	A Method for Integrating Deductive Databases.	BNCOD	1997	DBLP DOI BibTeX RDF
10	Tom Holvoet, Thilo Kielmann	Behaviour Specification of Active Objects in Open Generative Communication Environments.	HICSS (1)	1997	DBLP DOI BibTeX RDF
10	J. Hoffman	A Practical Notation for Object Oriented Analysis with a Formal Meaning.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	formal methods, information modeling, object oriented analysis
10	Martin Hofmann 0001	A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion.	CSL	1997	DBLP DOI BibTeX RDF
10	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++