861 search results - page 116 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
238
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
123
click to vote
DOCENG
2009
ACM
15 years 9 months ago
2009
ACM
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
243
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
129
click to vote
ALGORITHMICA
2006
15 years 3 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
123
click to vote
SIGSOFT
1995
ACM
15 years 6 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...