2722 search results - page 335 / 545 » Automating Language Evolution |
125
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
112
click to vote
WIDM
1999
ACM
15 years 8 months ago
1999
ACM
In order to provide database-like features for files, particularly for searching in Web data, one solution is to migrate file data into a relational database. Having stored the da...
127
click to vote
WCRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
178
click to vote
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
124
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...