1760 search results - page 185 / 352 » Program Analysis Using Weighted Pushdown Systems |
115
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
101
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
140
click to vote
ECRTS
2005
IEEE
15 years 6 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
100
click to vote
AAAI
1998
15 years 2 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
144
click to vote
VEE
2005
ACM
15 years 6 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...