4917 search results - page 489 / 984 » Software Engineering is Not Computer Science |
128
Voted
OORASE
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
168
Voted
FOSSACS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
137
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
147
Voted
ICSE
1997
IEEE-ACM
15 years 9 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
121
Voted
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...