339 search results - page 41 / 68 » Basic concepts of abstract interpretation |
104
click to vote
IFL
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
ICAISC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Short range excitation, long range inhibition sometimes referred to as mexican hat connectivity seems to play important role in organization of the cortex, leading to fai...
ISPW
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
SIGIR
1998
ACM
15 years 4 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...