1760 search results - page 117 / 352 » Program Analysis Using Weighted Pushdown Systems |
118
click to vote
SIGMOD
2003
ACM
16 years 23 days ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
104
Voted
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
117
Voted
IIS
2001
15 years 2 months ago
2001
The paper presents computer system, named Stock Market Electronic Expert (SMEE), for Stock Market Analysis. It is developed as friendly, useful and credible computer program giving...
92
Voted
IRREGULAR
1997
Springer
15 years 4 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
214
Voted
POPL
2004
ACM
16 years 28 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...