Abstract analysis with aspect
Author:
Open Access
- 1 July 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 18 (3) , 19-27
Abstract
Aspect is a static analysis technique for detecting bugs in code based on three forms of abstraction: declarative specification, data abstraction and partiality (ignoring some behavioural details). Together, they bring efficiency (the checker runs almost as fast as a type checker), modularity (a procedure can be analysed independently of the procedures it calls) and incrementality (allowing the checking of incomplete programs). Aspect can detect errors that are not detectable by other static means, especially errors of omission, which are pervasive but usually hard to detect.Keywords
This publication has 6 references indexed in Scilit:
- Interprocedural static analysis of sequencing constraintsACM Transactions on Software Engineering and Methodology, 1992
- Using program slicing in software maintenanceIEEE Transactions on Software Engineering, 1991
- Comments analysis and programming errorsIEEE Transactions on Software Engineering, 1990
- The logic of propagation in the inscape environment1989
- Polymorphic effect systems1988
- Mechanisms for compile-time enforcement of security1983