4257 search results - page 41 / 852 » The Logical Modularity of Programs |
LOPSTR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
ASIAN
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
IWFM
1998
13 years 10 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
APIN
1998
13 years 8 months ago
1998
Evolutionary design of neural networks has shown a great potential as a powerful optimization tool. However, most evolutionary neural networks have not taken advantage of the fact ...
RTA
2011
Springer
12 years 12 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...