Access Restriction

Author Peralta, M. ♦ Mukhopadhyay, S.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2011
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Calculus ♦ Context ♦ Semantics ♦ Grammar ♦ Cognition ♦ Context modeling ♦ Optimization ♦ software engineering ♦ formal verification ♦ proof theory ♦ theorem proving
Abstract In this paper we present a framework for what-if analysis of programs based on Lewis' theory of counterfactuals. The framework can be used to statically perform change impact analysis for source code. It enables us to verify assertions about a changed version of the program without actually incorporating the changes. We present a logical calculus that precisely characterizes structural modifications to source code and their impact on the behavior of the program.
ISBN 9781457705441
ISSN 07303157
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2011-07-18
Publisher Place Germany
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
e-ISBN 9780769544397
Size (in Bytes) 511.81 kB
Page Count 6
Starting Page 694
Ending Page 699

Source: IEEE Xplore Digital Library