4880 search results - page 435 / 976 » Manuals as Structured Programs |
182
click to vote
OORASE
1999
Springer
15 years 11 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...
169
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
181
click to vote
LCTRTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
169
click to vote
WFLP
2000
Springer
15 years 10 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
174
click to vote
FPCA
1995
15 years 10 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...