Description MAG is a small transformation system for a subset of Haskell developed by OegeDeMoor and GaneshSittampalam. Homepage http://web.comlab.ox.ac.uk/oucl/research ...

The make tool is a tool to make software development easier. It gives the developer the possibility to define targets, with additional commands for compilation. Unfortunately ...

See MAPTransformationSystem

Homepage: http://www.iasi.rm.cnr.it/~proietti/system.html The MAP Transformation System is a tool which is designed to support the interactive transformation of logic ...

See ModelDrivenArchitecture. CategoryTransformation Main.MichaelLawley 29 Sep 2004

Homepage: http://www.mcs.le.ac.uk/merlin/ Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001) Deadline: March Conference: June

I have gathered a few tests for machine code decompilers. It's nowhere near as comprehensive as the JavaDecompilerTests. dcc tests REC tests Exe-2-c tests Boomerang ...

Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...

Homepage: http://www.ii.uib.no/~magne/ Stratego.CodeBoost SAGA CategoryPeople

Homepage: http://www.iit.demokritos.gr/~manolis CategoryPeople

Homepage: http://www.cs.indiana.edu/~mleone/ CategoryPeople

Homepage: http://www2.informatik.uni-erlangen.de/IMMD-II/Persons/Researchers/minas/ WorkshopOnRuleBasedProgramming CategoryPeople

Homepage: http://www.cs.yale.edu/homes/tullsen/ Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant ...

Homepage: http://www.cwi.nl/~markvdb/ ASFandSDF CategoryPeople

for Details see Main.MarkusVoelter Main.MarkusVoelter 22 Sep 2002

Homepage: http://www.cs.uu.nl/staff/martijn.html CategoryPeople

See Main.MartinBravenboer CategoryPeople

Homepage: http://www.martinfowler.com/ ProgramRefactoring RefactoringImprovingTheDesignOfExistingPrograms http://www.refactoring.com/ CategoryPeople

Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ...

Homepage: http://maude.csl.sri.com/ Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming ...

Homepage: http://www.iasi.rm.cnr.it/~proietti/ MAPTransformationSystem CategoryPeople

Publications Maya: multiple-dispatch syntax extension in Java download Main.MartinBravenboer 08 May 2005

McCabe Associates http://www.mccabe.com Offers McCabe IQ2 tool suite for SoftwareTesting, ReEngineering, and quality assurance for LegacySystems. Founded by TomMcCabe ...

The MEMPHIS Tree Builder Tree Walker Tool http://www.combo.org/memphis/index.html

Merant ''MERANT Micro Focus provides the most comprehensive and scalable suite of COBOL application analysis, development, integration and testing, and deployment ...

Homepage: http://www.cs.mu.oz.au/research/mercury Mercury is a logic programming language with a high-performance compiler. CategoryLanguage

Contact information Homepage: http://www.cwi.nl/~mdejonge GenericPrettyPrinter XT GrammarTools GrammarBase XTSoftwareDevelopment ContributionToGB CategoryPeople ...

Meta-AspectJ (MAJ) allows the generation of AspectJ code in concrete syntax of AspectJ. Since AspectJ is a superset of Java, it can also be used for Java code generation ...

MetaEdit+ is a multi-user, multi-platform metaCASE tool that allows you to build your own development environment — without having to write a single line of code. ...

Homepage: http://www.cse.ogi.edu/PacSoft/projects/metaml/ MetaML is an extension of SMLofNJ with MetaProgramming features that support the construction, manipulation ...

MetaOCaml is a compiled, type-safe, multi-stage programming language. It is a multi-stage extension of the OCaml programming language, and provides three basic constructs ...

Staged Meta Programming Staged languages distinguish stages of execution. Many compile-time meta-programming systems distinguish only a run-time and a compile-time ...

MetaTool® is a specification-driven tool builder for creating tools that read textual languages and generate a variety of products such as programs, test tools, and ...

Homepage: http://www.ecs.soton.ac.uk/~mal/ Transformation of Logic Programs LOGEN CategoryPeople

Homepage: http://www.cs.wustl.edu/~plezbert/ ContinuousCompilers

MicroAPL Ltd. offer a variety of innovative porting tools and services. Relogix is an advanced new software conversion tool which can take assembly-language source ...

MicroAPL Ltd. http://www.microapl.co.uk MicroAPL Ltd. offer a variety of innovative porting tools and services. Relogix is claimed to be an advanced software conversion ...

Obsolete

Homepage: http://www.docs.uu.se/~mikpe/ PatternMatching aTermPatternMatchCompilerInspiredByFiniteAutomataTheory CategoryPeople

INCLUDE{Main.MikeVanEmmerik}

An affordable and easy to use software modelling tool (previously known as minUML). EctoSet offers a range of diagrams in an easy to use interface. Projects are stored ...

Producers of the Mips Architecture http://www.mips.com Main.EelcoVisser 01 Nov 2001

MixedCC (Mixed Compiler Compiler) is a generic parsing engine and parser generator. It is LL(1) capable of parsing and handling of inner layer stacks in multi-layer ...

ModelDrivenArchitecture (MDA) is often presented as a particular approach to ProgramRefinement or, more generally, ProgramSynthesis. Models are usually UML models ...

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 ...

Textbook on Compiler Construction by AndrewAppel. Used in a course on High-Performance Compilers. See the HPC0102 web. Main.EelcoVisser 29 Oct 2001 I've written ...

Homepage: http://www.mondrian-script.org MondrianInStratego

Montages form a visual framework for the formal description of syntax and semantics of object-oriented programming languages. It has now been transformed into a framework ...

Montages Software Services is a group of software engineers specializing in generative technologies and focused on the financial industry to increase their productivity ...

by PhilippKutter and AlfonsoPierantonio. In Journal of Universal Computer Science, vol. 3, no. 5 (1997), 416--442 Abstract Montages are a new way of describing all ...

The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ...

The Mozart development environment (MozartDev) is a set of APIs that can be used to build user-extensible compilers. The APIs offer persistent and transient representation ...

Homepage: http://www.mozart-oz.org Announcement The Mozart Programming System 1.2.0 Available at: http://www.mozart-oz.org Systems supported: many Unix flavors, Windows ...

EelcoVisser. Multi-level specifications. In ArieVanDeursen, JanHeering, and PaulKlint, editors, LanguagePrototyping. An Algebraic Specification Approach , volume 5 ...