See AlgebraicMethodologyAndSoftwareTechnology Conference: Submission in January Conference in May Proceedings in LNCS http://www.cs.uiowa.edu/amast2000/ http://www ...

by ChuckLiang In S. Krishnamurthi, C.R. Ramakrishnan (Eds.) Aspects of Declarative Languages (LNCS http://link.springer.de/link/service/series/0558/tocs/t2257.htm ...

This page contains links to projects peripherally related to decompilation. TOC Binary files Information on the internal format of binary files at the Wotsit's File ...

History of Decompilation (1980-1999) See also On the Inverse of Compiling, April 1980. #TopicZebra Zebra, 1981 The Zebra prototype was developed at the Naval Underwater ...

History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ...

Industrial Applications of ASF SDF MarkVanDenBrand, ArieVanDeursen, PaulKlint, S. Klusener and E. A. van der Meulen. Industrial Applications of ASF+SDF. I n M. Wirsing ...

LNCS LectureNotesInComputerScience http://www.springer.de/comp/lncs/index.html

Lecture Notes in Computer Science (LNCS) is a series of conferenc proceedings published by SpringerVerlag. See http://www.springer.de/comp/lncs/index.html for details ...

Model refactoring is the equivalent of ProgramRefactoring at model level. Instead of refactoring programs, models are being refactored. Model refactoring is a special ...

Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ...

OpenJava: A Class-Based Macro System for Java (pdf) Additional resources: OpenJava website OpenJava tutorial Master thesis on OpenJava: An Extension Mechanism for ...

A Term Pattern-Match Compiler Inspired by Finite Automata Theory by MikaelPettersson In International Workshop on Compiler Construction (CC'92) LNCS 641, SpringerVerlag ...