Sciweavers

550 search results - page 55 / 110
» Object Oriented Programming with ANSI-C
Sort
View
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
14 years 3 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
ADAEUROPE
2001
Springer
14 years 2 months ago
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...
Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier
PEPM
1994
ACM
14 years 2 months ago
Identifying Profitable Specialization in Object-Oriented Languages
The performance of object-oriented languages can be greatly improved if methods can be specialized for particular classes of arguments. Such specialization can provide the compile...
Jeffrey Dean, Craig Chambers, David Grove
VLDB
1993
ACM
181views Database» more  VLDB 1993»
14 years 2 months ago
Object-Oriented Database Systems: Promises, Reality, and Future
During the pastdecade,object-oriented technology has found its way into programming languages,userinterfaces, databases,operating systems,expert systems,etc. Products labeledasobj...
Won Kim

Book
231views
15 years 8 months ago
Object-Oriented Software Composition
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
Oscar Nierstrasz, Dennis Tsichritzis