Sciweavers

4725 search results - page 138 / 945
» Dependence-Based Program Analysis
Sort
View

Book
604views
17 years 3 months ago
Prolog and Natural-Language Analysis
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
Fernando C. N. Pereira and Stuart M. Shieber
SIGSOFT
2008
ACM
16 years 5 months ago
Finding programming errors earlier by evaluating runtime monitors ahead-of-time
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
Eric Bodden, Patrick Lam, Laurie J. Hendren
ESORICS
2012
Springer
13 years 7 months ago
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing
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...
Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld
ISSTA
2012
ACM
13 years 7 months ago
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazz...
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 7 months ago
Horizontal Aggregations in SQL to Prepare Data Sets for Data Mining Analysis
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
Carlos Ordonez, Zhibo Chen 0002