Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The automatic restructuring of COBOL
The Institute of Electrical and Electronics Engineers, Inc on Conference on software maintenance--1985
Common LISP: the language
Experience with the SETL Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
A perspective on machine translation: theory and practice
Communications of the ACM
On the translation of machine language programs
Communications of the ACM
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
PASCAL user manual and report
Inspection Methods in Programming: Cliches and Plans
Inspection Methods in Programming: Cliches and Plans
An Algorithm for Parsing Flow Graphs
An Algorithm for Parsing Flow Graphs
SEMIAUTOMATIC TRANSLATION OF COBOL INTO HIBOL
SEMIAUTOMATIC TRANSLATION OF COBOL INTO HIBOL
Reverse engineering and system renovation—an annotated bibliography
ACM SIGSOFT Software Engineering Notes
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
Program transformation to enhance the reuse potential of procedural software
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Using transformation systems for software maintenance and reengineering
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The Realities of Language Conversions
IEEE Software
Identifying object-oriented features from procedural software
Nordic Journal of Computing
Towards Building a Smarter Domain Knowledge Recovery Assistant1
COMPSAC '00 24th International Computer Software and Applications Conference
ACM Transactions on Software Engineering and Methodology (TOSEM)
Aligning development tools with the way programmers think about code changes
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Migrating legacy data structures based on variable overlay to Java
Journal of Software Maintenance and Evolution: Research and Practice - Working Conference on Reverse Engineering (WCRE 2008)
Mining API mapping for language migration
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
A framework for analyzing programs written in proprietary languages
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Lexical statistical machine translation for language migration
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
| Hi-index | 0.00 |
An abstraction-and-reimplementation paradigm is presented in which the source program is first analyzed in order to obtain a programming-language-independent abstract understanding of the computation performed by the program as a whole. The program is then reimplemented in the target language based on this understanding. The key to this approach is the abstract understanding obtained. It allows the translator to benefit from an appreciation of the global features of the source program without being distracted by what are considered irrelevant details. Knowledge-based translation via abstraction and reimplementation is described as one of the goals of the Programmer's Apprentice project. A translator which translates Cobol programs into Hibol (a very-high-level business data processing language) has been constructed. A computer which generates extremely efficient PDP-11 object code for Pascal programs has been designed.