Abstract

We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a specific kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate definitions in an economical manner, allowing important features to be highlighted and irrelevant details to be disregarded. This formalisation of programming techniques is employed in the definition of a program development framework which supports the preparation of individual predicates, and additionally provides a supervising facility which checks inter-procedural relations for possible efficiency improvements. 1 Introduction In this work we propose a formalisation for a specific kind of programming knowledge, the programming techniques. Programming techniques are common code patterns of a programming language, independent of algorithms and problem do...

Citations