Search Sciweavers | Sciweavers

677 search results - page 9 / 136

» Rigorous Object-Oriented Analysis

click to vote

OOPSLA
1993
Springer

77views Security Privacy» more OOPSLA 1993»

On the Purpose of Object-Oriented Analysis

13 years 11 months ago

Download www.idi.ntnu.no

Geir Magne Høydalsvik, Guttorm Sindre

claim paper

Read More »

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

13 years 11 months ago

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

click to vote

DOOD
1995
Springer

128views Database» more DOOD 1995»

Authorization Analysis of Queries in Object-Oriented Databases

13 years 11 months ago

Download www-infosec.ist.osaka-u.ac.jp

Abstract. A simple model for method-based authorization is deﬁned and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...

Hiroyuki Seki, Yasunori Ishihara, Minoru Ito

claim paper

Read More »

click to vote

ECOOP
1991
Springer

108views Programming Languages» more ECOOP 1991»

Object-Oriented Analysis and Top-Down Software Development

13 years 11 months ago

Download www.hpl.hp.com

Dennis de Champeaux

claim paper

Read More »

click to vote

APSEC
2006
IEEE

92views Software Engineering» more APSEC 2006»

Safety Analysis for Dynamic Update of Object Oriented Programs

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers