|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 59 occurrences of 45 keywords
|
|
|
Results
Found 79 publication records. Showing 79 according to the selection in the facets
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 |
|
Displaying result #1 - #79 of 79 (100 per page; Change: )
|
|