890 search results - page 93 / 178 » software 1998 |
UIST
1998
ACM
14 years 1 months ago
1998
ACM
This paper describes a programming-by-demonstration system, called Internet Scrapbook, which allows users with little programming skill to automate repetitive browsing tasks. With...
FOSSACS
1998
Springer
14 years 1 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...
LCTRTS
1998
Springer
14 years 1 months ago
1998
Springer
Instruction scheduling is a necessary step in compiling for many modern microprocessors. Traditionally, global instruction scheduling techniques have outperformed local techniques....
FASE
1998
Springer
14 years 1 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
SIGSOFT
1998
ACM
14 years 1 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...