Search results for "Object-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Horatiu Cirstea, Luigi Liquori, Benjamin Wack	Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.	TYPES	2003	DBLP DOI BibTeX RDF	Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
40	Eduardo Bonelli	Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting.	CSL	1999	DBLP DOI BibTeX RDF
39	Guillaume Gillard	A Formalization of a Concurrent Object Calculus up to alpha-Conversion.	CADE	2000	DBLP DOI BibTeX RDF
39	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Matching Power.	RTA	2001	DBLP DOI BibTeX RDF
31	Dave D. Straube, M. Tamer Özsu	Queries and Query Processing in Object-Oriented Database Systems.	ACM Trans. Inf. Syst.	1990	DBLP DOI BibTeX RDF	object calculus, query transformation rules, object-oriented databases, object algebra
30	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
27	Christopher A. Stone	Extensible objects without labels.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible objects, object calculi
27	Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen	Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.	ICTAC	2004	DBLP DOI BibTeX RDF
26	Richard Hull 0001, Jianwen Su	On the Expressive Power of Database Queries with Intermediate Types.	PODS	1988	DBLP DOI BibTeX RDF
26	Pawel T. Wojciechowski	A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.	SC@ETAPS	2006	DBLP DOI BibTeX RDF	lambda and object calculi, atomicity, dynamic binding
23	Radha Jagadeesan, Alan Jeffrey, James Riely	A Calculus of Untyped Aspect-Oriented Programs.	ECOOP	2003	DBLP DOI BibTeX RDF
23	Paolo Di Blasio, Kathleen Fisher	A Calculus for Concurrent Objects.	CONCUR	1996	DBLP DOI BibTeX RDF
22	Luigi Liquori	On Object Extension.	ECOOP	1998	DBLP DOI BibTeX RDF
22	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Asynchronous and deterministic objects.	POPL	2004	DBLP DOI BibTeX RDF	object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures
22	Maribel Fernández, Fabien Fleutot	A historic functional and object-oriented calculus.	PPDP	2006	DBLP DOI BibTeX RDF	functional programming, pattern-matching, objects, types
20	Jan Schwinghammer	On Normalization by Evaluation for Object Calculi.	TYPES	2007	DBLP DOI BibTeX RDF
20	Ugo de'Liguoro	Characterizing Convergent Terms in Object Calculi via Intersection Types.	TLCA	2001	DBLP DOI BibTeX RDF
19	Silvano Dal-Zilio	An Interpretation of Typed Concurrent Objects in the Blue Calculus.	IFIP TCS	2000	DBLP DOI BibTeX RDF
18	Avik Chaudhuri	Dynamic Access Control in a Concurrent Object Calculus.	CONCUR	2006	DBLP DOI BibTeX RDF
16	Matt Duckham	Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS.	GeoInformatica	2001	DBLP DOI BibTeX RDF
16	Juan Bicarregui, Kevin Lano, T. S. E. Maibaum	Formalizing Object-Oriented Models in the Object Calculus.	ECOOP Workshops	1997	DBLP BibTeX RDF
16	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
16	Richard Hull 0001, Jianwen Su	Untyped Sets, Invention, and Computable Queries.	PODS	1989	DBLP DOI BibTeX RDF
15	Michael Anthony Smith, Jeremy Gibbons	Unifying Theories of Objects.	IFM	2007	DBLP DOI BibTeX RDF
14	Gérard Boudol, Silvano Dal-Zilio	An Interpretation of Extensible Objects.	FCT	1999	DBLP DOI BibTeX RDF
14	Viviana Bono, Kathleen Fisher	An Imperative, First-Order Calculus with Object Extension.	ECOOP	1998	DBLP DOI BibTeX RDF
14	M. Tamer Özsu, Randal J. Peters, Boman Irani, Anna Lipka, Adriana Muñoz, Duane Szafron	TIGUKAT object management system: initial design and current directions.	CASCON	1993	DBLP BibTeX RDF
13	Bernhard Reus, Thomas Streicher	Semantics and Logic of Object Calculi.	LICS	2002	DBLP DOI BibTeX RDF
13	Cormac Flanagan, Martín Abadi	Object Types against Races.	CONCUR	1999	DBLP DOI BibTeX RDF
13	Luigi Liquori	Bounded Polymorphism for Extensible Objects.	TYPES	1998	DBLP DOI BibTeX RDF
12	David G. Clarke, James Noble 0001, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
12	Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr	Evolution of Object Behavior Using Context Relations.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C++
12	Elias Castegren, Tobias Wrigstad	OOlong: an extensible concurrent object calculus.	SAC	2018	DBLP DOI BibTeX RDF
12	Ludovic Henrio, Florian Kammüller, Bianca Lutz	ASPfun : A typed functional active object calculus.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
12	Michael Anthony Smith	Embedding an object calculus in the unifying theories of programming.		2010	RDF
12	Luís Dominguez	Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.	LICS	2009	DBLP DOI BibTeX RDF
12	Johan Glimming	Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus.		2007	RDF
12	Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori	Addressed term rewriting systems: application to a typed object calculus.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
12	Roberto Barbuti, Stefano Cataudella 0001	Abstract Interpretation of an Object Calculus for Synchronization Optimizations.	Fundam. Informaticae	2005	DBLP BibTeX RDF
12	Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking	A transactional object calculus.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
12	Johan Glimming, Neil Ghani	Difunctorial Semantics of Object Calculus.	WOOD	2004	DBLP DOI BibTeX RDF
12	Fabien Fleutot	Encoding an Object Calculus into Interaction Nets.	TERMGRAPH	2004	DBLP DOI BibTeX RDF
12	Luís Dominguez	A Bisimilarity Logical Relation for the Object Calculus S.	FICS	2003	DBLP BibTeX RDF
12	Ludovic Henrio	Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy).		2003	RDF
12	Zineb Habbas, Francine Herrmann, Michaël Krajecki	A Fast Parallel Tree Contraction for the Ray-object Calculus Using Open-MP.	Comput. Artif. Intell.	2001	DBLP BibTeX RDF
12	Jerome Vouillon	Combining subsumption and binary methods: an object calculus with views.	POPL	2001	DBLP DOI BibTeX RDF
12	Christof Peter, Franz Puntigam	A Concurrent Object Calculus with Types that Express Sequences.	ECOOP Workshops	1999	DBLP BibTeX RDF
12	Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani	Guaranteeing liveness in an object calculus through behavioural typing.	FORTE	1999	DBLP BibTeX RDF
12	Andrew D. Gordon 0001, Paul D. Hankin	A Concurrent Object Calculus: Reduction and Typing.	HLCL	1998	DBLP DOI BibTeX RDF
12	Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist	Relating semantic models for the object calculus.	EXPRESS	1997	DBLP DOI BibTeX RDF
12	Adriana B. Compagnoni, Maribel Fernández	On Object Calculus with Algebraic Rewriting.	PLILP	1997	DBLP DOI BibTeX RDF	Object calculi, Combined calculi, Type systems, Rewriting
12	Martín Abadi, Luca Cardelli	An Imperative Object Calculus (Invited Paper).	Theory Pract. Object Syst.	1995	DBLP BibTeX RDF
12	Martín Abadi, Luca Cardelli	An Imperative Object Calculus.	TAPSOFT	1995	DBLP DOI BibTeX RDF
12	Kathleen Fisher, John C. Mitchell	A Delegation-based Object Calculus with Subtying.	FCT	1995	DBLP DOI BibTeX RDF
12	Nabil Kamel, Ping Wu, Stanley Y. W. Su	A Pattern-Based Object Calculus	VLDB J.	1994	DBLP BibTeX RDF
12	Eliseo Clementini, Paolino Di Felice	An Object Calculus for Geographic Databases.	SAC	1993	DBLP DOI BibTeX RDF
12	Oscar Nierstrasz	Towards and Object Calculus.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
12	Kohei Honda 0001, Mario Tokoro	An Object Calculus for Asynchronous Communication.	ECOOP	1991	DBLP DOI BibTeX RDF
12	Kathryn E. Gray	Safe Cross-Language Inheritance.	ECOOP	2008	DBLP DOI BibTeX RDF
12	Andrew D. Gordon 0001, Riccardo Pucella	Validating a web service security abstraction by typing.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Web services, Authentication, Type systems, Remote procedure call
12	Andrew D. Gordon 0001, Riccardo Pucella	Validating a Web service security abstraction by typing.	XML Security	2002	DBLP DOI BibTeX RDF	Web services, authentication, type systems, remote procedure call
12	Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott	A Control-Flow Analysis for a Calculus of Concurrent Objects.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	prototype-based, Concurrency, object-oriented, soundness, control-flow analysis
12	Viviana Bono, Michele Bugliesi	Interpretations of Extensible Objects and Types.	FCT	1999	DBLP DOI BibTeX RDF
11	Andrew D. Gordon 0001, Paul D. Hankin, Søren B. Lassen	Compilation and Equivalence of Imperative Objects.	FSTTCS	1997	DBLP DOI BibTeX RDF
10	Mitchell Wand, Galen B. Williamson	A Modular, Extensible Proof Method for Small-Step Flow Analyses.	ESOP	2002	DBLP DOI BibTeX RDF
9	Xin Qi 0012, Andrew C. Myers	Masked types for sound object initialization.	POPL	2009	DBLP DOI BibTeX RDF	conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction
9	Susanne Jucknath, Jan Wloka, Eric Jul, Sari R. Eldadah, Ademar Aguiar	The Combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium.	ECOOP Workshops	2004	DBLP DOI BibTeX RDF
9	Alan Jeffrey, Julian Rathke	A Fully Abstract May Testing Semantics for Concurrent Objects.	LICS	2002	DBLP DOI BibTeX RDF
9	Jens Palsberg, Tian Zhao 0002	Efficient Type Inference for Record Concatenation and Subtyping.	LICS	2002	DBLP DOI BibTeX RDF
9	Li Yang	A Hypertext Query Language for Images.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
7	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Thread-based concurrency, Observable interface behavior, Monitors, Open systems, Object oriented languages, Formal semantics
7	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	FMOODS	2006	DBLP DOI BibTeX RDF	oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics
6	Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek	Integrating typed and untyped code in a scripting language.	POPL	2010	DBLP DOI BibTeX RDF	compilers, semantics, object-orientation, types
6	Johan Glimming	Parametric (Co)Iteration vs. Primitive Direcursion.	CALCO	2007	DBLP DOI BibTeX RDF
6	Luís Caires	Spatial-Behavioral Types, Distributed Services, and Resources.	TGC	2006	DBLP DOI BibTeX RDF
6	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
6	Vasileios Koutavas, Mitchell Wand	Bisimulations for Untyped Imperative Objects.	ESOP	2006	DBLP DOI BibTeX RDF
6	António Ravara, Vasco Thudichum Vasconcelos	Typing Non-uniform Concurrent Objects.	CONCUR	2000	DBLP DOI BibTeX RDF
6	Flemming Nielson, Hanne Riis Nielson	Flow Logic for Imperative Objects.	MFCS	1998	DBLP DOI BibTeX RDF