Program plan matching: experiments with a constraint-based approach

Citation
A. Quilici et al., Program plan matching: experiments with a constraint-based approach, SCI COMP PR, 36(2-3), 2000, pp. 285-302
Citations number
20
Categorie Soggetti
Computer Science & Engineering
Journal title
SCIENCE OF COMPUTER PROGRAMMING
ISSN journal
01676423 → ACNP
Volume
36
Issue
2-3
Year of publication
2000
Pages
285 - 302
Database
ISI
SICI code
0167-6423(200003)36:2-3<285:PPMEWA>2.0.ZU;2-F
Abstract
The plan matching problem is to determine whether a program plan is present in a program. This problem has been shown to be NP-hard, which makes it an open question whether plan matching algorithms can be developed that scale sufficiently well to be useful in practice. This paper discusses experimen ts in the scalability of a series of constraint-based program plan matching algorithms we have developed. These empirical studies have led to signific ant improvements in the scalability of our plan matching algorithm, and the y suggest that this algorithm can be successfully applied to large, real-wo rld programs. (C) 2000 Elsevier Science B.V. All rights reserved.