Homepage: http://faculty.ist.unomaha.edu/winter/hats-uno/HATSWEB/index.html A framework for doing higher-order strategic programming. Supports rules and strategies ...

Homepage: http://www.cas.mcmaster.ca/~kahl/HOPS/ HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation ...

HTML (Hypertext Markup Language) is the DataFormat used to specify the content of WWW pages. CategoryLanguage Transformation tools that can be applied to HTML: DMSSoftwareReengineeringToolkit ...

Homepage: http://www.cs.york.ac.uk/fp/HaXml/ HaXml is a domain-specific language for transforming XML documents embedded in HaskellLanguage.

Hacker Disassembling Uncovered, Kris Kaspersky. A-List Publishing, 2003. ISBN: 1931769222, 584pp, soft cover. The book is divided into two parts. Part 1 is "Getting ...

Haskell is a general purpose lazy programming language. The language is a grateful subject of transformation. Program transformations play a prime role in GHC, the ...

The purpose of the Haskell Workshop is to discuss experience with Haskell, and possible future developments for the language. The scope of the workshop includes all ...

Hausi M ller http://webhome.cs.uvic.ca/~hausi/ CategoryPeople

One of the implementors of the Tools.ATermLibrary. CategoryPeople

HeVeA is a translator for LaTeX to HTML written in CAML. CategorySystem

Homepage: http://njutov.warande.net/~pretzel/ hhwestra@cs.uu.nl CobolX

Homepage: http://www.loria.fr/~hkirchne/ ELAN CategoryPeople

http://www.informatik.uni-ulm.de/pm/ CategoryPeople

Homepage: http://www.cs.uu.nl/people/henkp/ System administrator at Utrecht University CategoryPeople

Homepage: http://danae.uni-muenster.de/lehre/kuchen/ WorkshopOnRuleBasedProgramming CategoryPeople

http://www.hex-rays.com BR http://hexblog.com/2007/04/decompilation gets real.html BR http://www.hexblog.com/hexrays/manual Hex-Rays is a decompiler plug-in for the ...

by MichaelWolfe. Addison-Wesley, 1995. From the author: http://www.pgroup.com/~mwolfe/book/ From the publisher: http://www.awl-he.com/titles/0805327304.html http: ...

Generation of code for the FastFourierTransform DigitalSignalProcessors OctaveLanguage SAGA, Stratego.CodeBoost TAMPR http://www.netlib.org/ http://www.nhse.org/ ...

An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by ChuckLiang http://cs.hofstra.edu/~cscccl/hocompiler ...

History of Decompilation (1960-1979) Decompilers have been written for a variety of applications since the development of the first compilers. The very first decompiler ...

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

Home page: http://holgerkienle.wikispaces.com/ Topics: ExtractorBenchmarks DomainSpecificLanguages ExchangeFormatBibliography RigiSystem CategoryPeople

Homepage: http://www.loria.fr/~cirstea/ ELAN RewritingCalculus CategoryPeople

htmlrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup, docu is located at $RIGI/doc/rigiutils/htmlrsf.html executable ...