Foundation for program understanding

Authors:
Erkki Laitila
Affiliations:
erkki.laitila@swmaster.fi, Jyväskylä University & SwMaster Oy, Säääksmäentie 14, 40520 JKL, Finland
Venue:
Proceedings of the 2008 conference on Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008
Year:
2008

Citing 10
Cited 0

The symbol grounding problem

CNLS '89 Proceedings of the ninth annual international conference of the Center for Nonlinear Studies on Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks on Emergent computation
Maintenance Support for Object-Oriented Programs

IEEE Transactions on Software Engineering - Special issue on software maintenance
Different roles and mutual dependencies of data, information, and knowledge—an AI perspective on their integration

Data & Knowledge Engineering
Precise interprocedural chopping

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Program understanding behavior during corrective maintenance of large-scale software

International Journal of Human-Computer Studies - Best of empirical studies of programmers 7
Reverse engineering: a roadmap

Proceedings of the Conference on The Future of Software Engineering
An axiomatic basis for computer programming

Communications of the ACM
Toward an engineering discipline for grammarware

ACM Transactions on Software Engineering and Methodology (TOSEM)
Source Code Analysis: A Road Map

FOSE '07 2007 Future of Software Engineering
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a symbolic framework for program understanding. The framework makes use of three approaches, each of which has the following conceptual spaces: syntax, semantics, simulation, and pragmatics. The paper starts by focusing on grammars and then progresses via semantics and the automaton theory to program proving, which goal is typical for maintainers. The captured argumentative information helps them to create new logic-based knowledge, in which abstract program concepts are used to connect lower-level representations. A tool, JavaMaster, is used for simulating Java and for proving the results.