4731 search results - page 763 / 947 » Securing Interactive Programs |
179
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
157
click to vote
WCRE
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
150
click to vote
ICDE
1993
IEEE
15 years 10 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
178
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
175
click to vote
EDBT
1992
ACM
15 years 10 months ago
1992
ACM
A general technique for merging database schemas is developed that has a number of advantages over existing techniques, the most important of which is that schemas are placed in a...