4722 search results - page 152 / 945 » Representation-independent program analysis |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
ICDAR
2009
IEEE
13 years 7 months ago
2009
IEEE
We present a user interface design for labeling elements in document images at a pixel level. Labels are represented by overlay color, which might map to such terms as "handw...
ESORICS
2012
Springer
11 years 11 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...