scholarly journals Ownership Object Graphs with Dataflow Edges

2012 ◽  
Author(s):  
Radu Vanciu ◽  
Marwan Abi-Antoun
Keyword(s):  
Object Graphs

scholarly journals ON THE PARALLEL MARKING OF HEAP OBJECT GRAPHS

2014 ◽  
Author(s):  
Vitaly Mikheev ◽  
◽  
Svyatoslav Shcherbina ◽  
Keyword(s):  
Object Graphs

Type-based confinement

2005 ◽  
Vol 16 (1) ◽  
pp. 83-128 ◽  
Author(s):  
TIAN ZHAO ◽  
JENS PALSBERG ◽  
JAN VITEK
Keyword(s):  
Data Structures ◽  
Type System ◽  
Object Oriented ◽  
Point Of View ◽  
Generic Extension ◽  
Practical Point ◽  
Related Research ◽  
Language Based Security ◽  
Object Graphs ◽  
Object Oriented Systems

Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for building secure object-oriented systems as security requires that the interface between trusted and untrusted components of a system be clearly delineated and restricted to the smallest possible set of operations and data structures. This paper investigates the notion of package-level confinement and proposes a type system that enforces this notion for a call-by-value object calculus as well as a generic extension thereof. We give a proof of soundness of this type system, and establish links between this work and related research in language-based security.

SMT-based enumeration of object graphs from UML class diagrams

2012 ◽  
Vol 37 (4) ◽  
pp. 1-8 ◽  
Author(s):  
Kenro Yatake ◽  
Toshiaki Aoki
Keyword(s):  
Class Diagrams ◽  
Object Graphs

scholarly journals Automatic segmentation of colon glands using object-graphs

2010 ◽  
Vol 14 (1) ◽  
pp. 1-12 ◽  
Author(s):  
Cigdem Gunduz-Demir ◽  
Melih Kandemir ◽  
Akif Burak Tosun ◽  
Cenk Sokmensuer
Keyword(s):  
Automatic Segmentation ◽  
Object Graphs

scholarly journals On-the-fly extraction of hierarchical object graphs

2012 ◽  
Vol 19 (1) ◽  
pp. 15-27 ◽  
Author(s):  
Hugo de Brito ◽  
Humberto Torres Marques-Neto ◽  
Ricardo Terra ◽  
Henrique Rocha ◽  
Marco Tulio Valente
Keyword(s):  
Object Graphs

scholarly journals Pattern Matching Based on Object Graphs

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Wei Ke ◽  
Ka-Hou Chan
Keyword(s):  
Pattern Matching ◽  
Object Graphs
Sign in / Sign up

Export Citation Format

Share Document