Sciweavers

3107 search results - page 446 / 622
» Error-Correcting Source Code
Sort
View
120
Voted
ECOOPW
1999
Springer
15 years 7 months ago
Black-Box Program Specialization
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
Ulrik Pagh Schultz
107
Voted
WCRE
1999
IEEE
15 years 7 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
Gerald C. Gannod, Betty H. C. Cheng
ICCL
1998
IEEE
15 years 7 months ago
Modular Compilers Based on Monad Transformers
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
William L. Harrison, Samuel N. Kamin
VLDB
1999
ACM
113views Database» more  VLDB 1999»
15 years 7 months ago
Hyper-Programming in Java
Hyper-programming is a technology only available in persistent systems, since hyper-program source code contains both text and links to persistent objects. A hyper-programming sys...
Evangelos Zirintsis, Graham N. C. Kirby, Ronald Mo...
POS
1998
Springer
15 years 7 months ago
Porting a Distributed System to PJama: Orthogonal Persistence for Java?
This paper describes the experience of porting a 25,000 line distributed Java [GJS97] program to version 0.3.5.1 of the orthogonally persistent programming environment PJama. The ...
Huw Evans, Susan Spence