4211 search results - page 718 / 843 » Types as Abstract Interpretations |
155
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The Internet has engendered a new type of commerce, commonly referred to as electronic commerce, or eCommerce. But despite the phenomenal growth of eCommerce, the vast ma...
105
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
164
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
147
click to vote
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...
148
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...