| Topics in Transform web: | Changed: now 10:21 | Changed by: |
| 5ESS | 29 Mar 2001 - 16:32 - NEW | EelcoVisser |
| Telephone switch from Lucent. For a while the biggest software system in the world (10M loc?). Used in many research experiments by Lucent dealing with, e.g., DomainSpecificLanguages ... | ||
| ACM | 07 May 2001 - 09:50 - NEW | ArieVanDeursen |
| Association for Computing Machinery http://www.acm.org/ The ACM Computing Classification System 1998 Version : http://info.acm.org/class/1998/ | ||
| ADATE | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www-ia.hiof.no/~rolando/adate intro.html Automatic Design of Algorithms Through Evolution (ADATE) is a system for automatic programming i.e., inductive ... | ||
| AMAST | 10 Oct 2001 - 14:44 - r1.3 | TWikiGuest |
| See AlgebraicMethodologyAndSoftwareTechnology Conference: Submission in January Conference in May Proceedings in LNCS http://www.cs.uiowa.edu/amast2000/ http://www ... | ||
| ANGIEGenerationNow | 17 Oct 2003 - 16:46 - NEW | ReengineeringGuest |
| The generator development platform ANGIE provides a script language, a compiler for this language and a runtime system. The freeware version of ANGIE is named "ANGIE ... | ||
| ANT | 13 Dec 2001 - 01:57 - r1.3 | MartinBravenboer |
| ANT is a Java based tool for `making' software. It is described as ``make without makes' wrinkles''. Although it is meant for more languages than just Java, its main ... | ||
| ANTLR | 09 Mar 2004 - 10:55 - r1.3 | MartinBravenboer |
| ANTLR: ANother Tool for Language Recognition Features ANTLR is a parser generator. Generates Java, C#, or C++ code. Accepts the class of LL(k) grammars Produces recursive ... | ||
| AOOP | 02 Apr 2002 - 19:48 - r1.2 | ArieVanDeursen |
| AOOP is short for: AdaptiveObjectOrientedProgramming | ||
| AOOPForPresentationPage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| java Source 1 C++ Source 2 | ||
| API | 20 Mar 2001 - 17:02 - NEW | EelcoVisser |
| API is the acronym of ApplicationProgrammersInterface | ||
| APTS | 28 Apr 2005 - 22:24 - r1.2 | Main.wiki |
| Homepage: http://cs.nyu.edu/~jessie/apts.html APTS is a the Abstract Program Transformation System developed by RobertPaige. CategorySystem Contributions by Main ... | ||
| ARefactoringToolForSmalltalk | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| A Refactoring Tool for Smalltalk by DonRoberts, JohnBrant, and RalphJohnson Available online: http://st-www.cs.uiuc.edu/~droberts/tapos/TAPOS.htm This article introduces ... | ||
| ASE | 13 Mar 2001 - 17:17 - NEW | EelcoVisser |
| Homepage: http://ase.informatik.uni-essen.de Conference on Automated Software Engineering Deadline: June Conference: November Description (from the call for papers ... | ||
| ASF | 25 Apr 2001 - 10:59 - r1.2 | ArieVanDeursen |
| ASF is the abbreviation of the Algebraic Specification Formalism developed at Transform.CWI and the University of Amsterdam. The formalism is used in combination ... | ||
| ASFandSDF | 18 May 2001 - 11:10 - r1.5 | TWikiGuest |
| ASF+SDF is rewriting language with user-defined term syntax and support for tree traversals. It is used for SoftwareRenovation and rapid prototyping of DomainSpecificLanguages ... | ||
| ASFandSDFMetaEnvironment | 02 Jan 2002 - 13:57 - r1.7 | EelcoVisser |
| A tool suite to support the development of specifications written in the ASFandSDF formalism. It includes parser and parser generator a structure editor an interpreter ... | ||
| AST2001 | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.reengineer.org/wcre2001/ast/ Analysis, Slicing, and Transformation Deadline: May Conference: October | ||
| ASTLOG | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| ASTLOG is A language for examining abstract syntax trees. Homepage: http://www.research.microsoft.com/~rfc/astlog/ | ||
| ASurveyOfRewritingStrategiesInProgramTransformationSystems | 12 Mar 2004 - 10:40 - r1.5 | EelcoVisser |
| A new revision of this paper is available under the title Survey of Strategies in Rule Based Program Transformation Systems. Main.EelcoVisser 12 Mar 2004 Main.EelcoVisser ... | ||
| ASurveyOfStrategiesInRuleBasedProgramTransformationSystems | 02 Sep 2005 - 12:11 - r1.6 | EelcoVisser |
| E. Visser. A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation, 40(1):831--873, 2005. Special issue on Reduction Strategies ... | ||
| ATXSoftwareIntegrationArchitecture | 06 Jul 2005 - 17:34 - r1.2 | KarlTrygveKalleberg |
| ATX Software Integration Architecture (ASIA) is a system for legacy interoperation. It can be used to wrap legacy code (the Source Layer) behind a compatibility layer ... | ||
| ATXSoftwareSA | 13 Nov 2004 - 00:41 - NEW | JoseLuizFiadeiro |
| ATX Software SA offers an integrated set of architectural and re-engineering technologies that includes the ATXSoftwareIntegrationArchitecture ASIA , LegacyCare L ... | ||
| ATermFormat | 30 Aug 2001 - 00:03 - NEW | TWikiGuest |
| See also EfficientAnnotatedTerms. | ||
| ATypedPatternCalculus | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| A Typed Pattern Calculus by Val Breazu-Tannen, Delia Kesner and LaurencePuel Published in Information and Computation, 124(1):32-61, January 1996. Proceedings of ... | ||
| AboutDecompilation | 05 Sep 2007 - 23:44 - r1.5 | MikeVanEmmerik |
| The DeCompilation Wiki pages are a part of the program transformation Wiki. They are based on Cifuentes' decompilation pages (1998 2001), which were based on pages ... | ||
| AbsInt | 29 Jan 2002 - 14:11 - NEW | EelcoVisser |
| Homepage: http://www.absint.com which has tools for post-pass optimizations, e.g. code compression. http://www.absint.com/aisee/logos/absint40.gif CategoryCompany ... | ||
| AbsoftCompany | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.absoft.com/ Produces high performance Fortran toolsets. | ||
| AbstractSyntaxDescriptionLanguage | 26 Feb 2002 - 06:28 - NEW | MikeVanEmmerik |
| Abstract Syntax Description Language appears to be part of the Zephyr project at the University of Virginia (and other places). From their page: ASDL is designed to ... | ||
| AcaCia | 25 Sep 2004 - 01:04 - r1.4 | MikeVanEmmerik |
| Acacia, the C++ Information Abstraction System, is a collection of analysis and ReverseEngineering tools for CPP developed by AT T . CCia creates a program database ... | ||
| ActionSemantics | 09 May 2001 - 21:46 - NEW | Main.visser |
| Homepage: http://www.brics.dk/Projects/AS/ PeterMosses | ||
| AdaptiveObjectOrientedProgramming | 09 May 2001 - 21:55 - r1.3 | Main.visser |
| Description Objectoriented programs are easier to extend than programs which are not written in an objectoriented style, but objectoriented programs are still ... | ||
| AdaptivePatternMatching | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Adaptive Pattern Matching by R. C. Sekar, R. Ramesh and I. V. Ramakrishnan in SIAM Journal on Computing Volume 24, Number 6 pp. 1207-1234 http://epubs.siam.org/sam ... | ||
| AddingSubSites | 09 May 2001 - 21:48 - NEW | Main.visser |
| A sub-site of ProgramTransformationOrg gives a view of the pages in the XTWikiWiki high-lighting a specific subject. Such subsites have their own URL such that they ... | ||
| AlbertoPettorossi | 06 Dec 2001 - 13:05 - r1.2 | EelcoVisser |
| Homepage: http://www.iasi.rm.cnr.it/~adp/ MAPTransformationSystem CategoryPeople | ||
| AlexAiken | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.berkeley.edu/~aiken/ AlexAiken is the designer of BANE. CategoryPeople | ||
| AlfonsoPierantonio | 24 Jun 2005 - 16:23 - r1.3 | PhilippKutter |
| Homepage: http://www.di.univaq.it/alfonso MontagesFramework CategoryPeople | ||
| AlgebraicMethodologyAndSoftwareTechnology | 10 Oct 2001 - 14:43 - NEW | TWikiGuest |
| Homepage: http://www.loria.fr/conferences/amast2002 International Conference on Algebraic Methodology And Software Technology Goals The major goal of the AMAST Conferences ... | ||
| AllenSystemsGroup | 18 Jun 2001 - 13:11 - NEW | ArieVanDeursen |
| ASG. http://www.asg.com Acquired Viasoft, offering the Existing Systems Workbench for analysis and ReEngineering of COBOL systems. CategoryCompany | ||
| Amphion | 04 Nov 2003 - 20:22 - NEW | PinkuSurana |
| An attempt to automate software reuse at NASA, particularly for domain specialists who are unfamiliar with available software libraries. They implemented a system ... | ||
| AnAlgebraicProgrammingStyleForNumericalSoftwareAndItsOptimization | 02 Feb 2002 - 08:48 - NEW | EelcoVisser |
| T. B. Dinesh, MagneHaveraaen, and JanHeering, An algebraic programming style for numerical software and its optimization, Scientific Programming , 8(4), 2000. 247 ... | ||
| AnatomizerDecompiler | 03 Feb 2006 - 22:41 - r1.4 | MikeVanEmmerik |
| Web sites (all in Japanese): http://jdi.at.infoseek.co.jp/ "Anatomizer entrance" with legal matter http://jdi.at.infoseek.co.jp/japanese/index.plg Main page http: ... | ||
| AnatomizerDecompilerTest | 14 Apr 2007 - 07:15 - r1.3 | MikeVanEmmerik |
| TOC Hello release From Boomerang's test/windows/hello release.exe (I had to force the entry point): Original source code: LRESULT CALLBACK WndProc(HWND hWnd, UINT ... | ||
| AndresLoeh | 13 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.andres-loeh.de Also: http://www.cs.uu.nl/staff/andres.html Andres is a PhD student in the SoftwareTechnologyGroup at UtrechtUniversity. | ||
| AndrewAppel | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| http://www.cs.princeton.edu/~appel/ | ||
| AndrewCooke | 06 Dec 2001 - 12:51 - r1.2 | EelcoVisser |
| Homepage: http://www.andrewcooke.free-online.co.uk/andrew/index.html Author of PancitoLibrary (among other things). CategoryPeople | ||
| AndrewPitts | 06 Dec 2001 - 13:06 - r1.2 | EelcoVisser |
| Homepage: http://www.cl.cam.ac.uk/~amp12/ FreshML CategoryPeople | ||
| AndrewTolmach | 11 Dec 2001 - 12:19 - NEW | EelcoVisser |
| Homepage: http://www.cs.pdx.edu/~apt/ Stratego.BuildingProgramOptimizersWithRewritingStrategies by the Rules CategoryPeople | ||
| AndrewWalenstein | 04 May 2004 - 05:16 - NEW | AndrewWalenstein |
| I work at the Center for Advanced Computer Studies at the University of Louisiana at Lafayette. My home page is housed at http://www.cacs.louisiana.edu/~walenste I ... | ||
| AndromedaDecompiler | 24 Mar 2007 - 08:24 - r1.2 | MikeVanEmmerik |
| http://shulgaaa.at.tut.by The Andromeda Decompiler is still in development. At present, it will only run on Windows, and only decompile Windows-based programs to C ... | ||
| AnnotatedTerms | 09 Apr 2002 - 18:49 - r1.2 | ArieVanDeursen |
| ATerm (short for Annotated Term) is an abstract data type designed for the exchange of tree-like data structures between distributed applications. See Tools.ATerm ... | ||
| AnnotationProcessingTool | 08 Dec 2005 - 22:44 - r1.2 | MartinBravenboer |
| Annotations Official Documentation Java Guide: Annotations Online Articles JavaWorld: Taming Tiger, Part 3: Decorate your code with Java annotations IBM DeveloperWorks ... | ||
| ApplicationExtraction | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description Application extraction is a ProgramTransformation technique that aims at reducing the size of a program by removing (library) code that is not used in ... | ||
| AppliedComputingReview | 26 Nov 2001 - 19:36 - NEW | ArieVanDeursen |
| ACM Applied Computing Review http://www.acm.org/sigapp/acr/ CategoryJournal | ||
| ArchitectureExtraction | 24 Jan 2003 - 13:20 - r1.16 | ArieVanDeursen |
| ArchitectureExtraction is an attempt to recover SoftwareArchitecture from, for example, the source of a LegacySystem. ArchitectureExtraction typically starts with ... | ||
| ArieVanDeursen | 24 Apr 2002 - 14:21 - r1.14 | JoostVisser |
| I work at CWI, Amsterdam see http://www.cwi.nl/~arie/ Since this ProgramTransformation wiki covers many topics related to reverse and reengineering, and since these ... | ||
| ArneDeBruijn | 06 Dec 2001 - 12:49 - r1.2 | EelcoVisser |
| Homepage: http://www.students.cs.uu.nl/people/arbruijn/ Arne de Bruijn is a student at Universiteit Utrecht and works on InliningStrategies in general and the interaction ... | ||
| ArthurVanDam | 17 Sep 2003 - 14:55 - NEW | ArthurVanDam |
| See Main.ArthurVanDam Main.ArthurVanDam 17 Sep 2003 | ||
| ArvindArvind | 06 Dec 2001 - 12:43 - r1.2 | EelcoVisser |
| Homepage: http://foothill.lcs.mit.edu/~arvind/ Hardware synthesis via term rewriting Transform.CategoryPeople | ||
| Asm21ToC | 26 Aug 2004 - 01:30 - NEW | MikeVanEmmerik |
| http://www.cs.rhul.ac.uk/research/languages/projects/reverse compilation.shtml The above page describes an Analog Devices ADSP-21xx assembly language to ANSI-C translator ... | ||
| AspectBenchCompiler | 08 May 2005 - 19:41 - NEW | MartinBravenboer |
| Extensible Compiler for AspectJ Website: http://abc.comlab.ox.ac.uk Application of Framework and Framework Main.MartinBravenboer 08 May 2005 | ||
| AspectJ | 08 May 2005 - 20:16 - r1.3 | MartinBravenboer |
| AspectJ is a language for oriented programming with Java. There are at least two implementations of the language: ajc (fully integrated with Eclipse), and abc (an ... | ||
| AspectOrientedProgramming | 09 May 2005 - 12:07 - r1.8 | MartinBravenboer |
| Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ... | ||
| AspectOrientedProgrammingReview | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Aspect-Oriented Programming by GregorKiczales, JohnLamping, AnuragMendhekar, ChrisMaeda, ChristinaVideiraLopes, JeanMarcLoingtie and JohnIrwin. In Proceedings of ... | ||
| AssemblyDecompilers | 13 Aug 2007 - 10:19 - r1.6 | MikeVanEmmerik |
| Decompilation from assembly language is easier than decompiling native executable (machine code) programs, but harder than decompiling programs compiled to virtual ... | ||
| AttributeGrammar | 05 Mar 2004 - 20:21 - r1.2 | EelcoVisser |
| Attribute grammars were introduced by DonaldKnuth in 1968 for the definition of the semantics of (programming) languages. An attribute grammar is a specification that ... | ||
| AutomatedSoftwareEngineering | 29 Jan 2002 - 18:38 - NEW | ArieVanDeursen |
| Automated Software Engineering http://www.kluweronline.com/issn/0928-8910 CategoryJournal | ||
| AutomaticDecompiler | 20 Aug 2003 - 01:20 - NEW | MikeVanEmmerik |
| Every few months, I get an email asking where to find an automatic decompiler that will take a binary as input and produce good quality C or C++ code for maintaining ... | ||
| AutomaticRetargeting | 04 Aug 2002 - 19:58 - r1.2 | ArieVanDeursen |
| Automatic Retargeting http://www.cs.arizona.edu/~collberg/Research/AutomaticRetargeting/index.html Main.MaD 24 Jul 2002 Often includes BinaryTranslation techniques ... | ||
| BAKE | 29 May 2001 - 11:37 - NEW | TWikiGuest |
| BAKE is a replacement for MAKE. Its aim is to solve recursion in make and do more compiles in parallel. Development ceased in 1999. http://bake.werken.com/ | ||
| BANE | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.berkeley.edu/Research/Aiken/bane.html The Berkeley ANalysis Engine (BANE) is a toolkit for constructing program analyses such as dataflow ... | ||
| BAU | 02 Apr 2002 - 11:06 - r1.2 | ArieVanDeursen |
| BAU is a MAKE like tool, written in Scheme. According to the webpage it can do everything MAKE does, with a few features from Tools.AutoMake. Development seems to ... | ||
| BENEVOL | 20 Feb 2007 - 12:56 - r1.9 | TomMens |
| Belgisch-Nederlandse Evolution Workshop Editions BenevolTwoThousandThree BenevolTwoThousandFour BenevolTwoThousandFive Benevol 2006 Main.TomMens 20 Feb 2007 Main ... | ||
| BETA | 10 Apr 2001 - 16:17 - NEW | EelcoVisser |
| Homepage: http://www.daimi.aau.dk/~beta/ BETA is an ObjectOrientedProgrammingLanguage. It is the succesor of Simula67. CategoryLanguage | ||
| BUILD | 28 May 2001 - 11:54 - NEW | TWikiGuest |
| Build is an application aimed at making C/C++ development on Linux simpler. It scans code and creates a Makefile. It is only available for Linux. http://www.SiliconTao ... | ||
| BURG | 18 Sep 2001 - 06:27 - r1.2 | TWikiGuest |
| BURG is a system for CodeGeneration from IntermediateRepresentation expression trees developed by ChristopherFraser, ToddProebsting and others in the early 90's. Papers ... | ||
| BadHonnefReengineeringWorkshop | 19 Feb 2002 - 15:51 - r1.3 | ArieVanDeursen |
| Annual German Workshop on ReEngineering in Bad Honnef. Held in May. See http://www.uni-koblenz.de/ist/WSR2001/ CategoryConference CategoryReengineeringPages | ||
| BasLuttik | 11 Dec 2001 - 12:13 - NEW | EelcoVisser |
| Homepage: http://www.cwi.nl/~luttik/ Stratego.SpecificationOfRewritingStrategies CategoryPeople | ||
| BasicBlockPositioning | 04 Dec 2001 - 10:46 - r1.2 | EelcoVisser |
| The idea is to position the basic blocks of a procedure in such a way that most executions of the code will fall through branches (forward branches are typically predicted ... | ||
| BauHaus | 01 Jan 2002 - 14:51 - r1.5 | ArieVanDeursen |
| Software architecture, Software ReEngineering, and ProgramUnderstanding Research project at the University of Stuttgart, see http://www.informatik.uni-stuttgart.de ... | ||
| BayfrontTechnologies | 28 Apr 2001 - 13:19 - NEW | EelcoVisser |
| Homepage: http://www.bayfronttechnologies.com Provides CAPE tools for engineering communication protocols and other cooperating processes. (Provides documentation ... | ||
| BdasmDisassembler | 02 Jul 2005 - 17:30 - r1.4 | DHughRedelmeier |
| http://www.bdasm.com/bdasm features.html BDASM by Manuel Jiménez. This is a relatively new disassembler (as of 2003). At present it supports Intel and Power Pc cpu ... | ||
| BeNeVol2003 | 09 Jul 2004 - 13:29 - NEW | PieterVanGorp |
| Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software-evolutie ... | ||
| BeneloveTwoThousandFive | 24 Mar 2005 - 08:47 - r1.2 | TomTourwe |
| BENELove 2005 This page is deprecated. We decided to stick to the BENEvol name, instead of using BENELove. Please refer to the BenevolTwoThousandFive page. Main.TomTourwe ... | ||
| BenevolTwoThousandFive | 11 Aug 2005 - 12:46 - r1.16 | TomTourwe |
| 3rd BElgium Netherlands Workshop on software EVOLution Location: TU/e, Eindhoven (how to get there: maps and route) You need to go to the Auditorium building, and ... | ||
| BenevolTwoThousandFour | 30 Sep 2004 - 11:43 - r1.7 | PieterVanGorp |
| BENEVOL 2004 2nd BElgium Netherlands Workshop on software EVOLution Location: UA, Antwerpen Date: July 8-9, 2004 Sponsors: Lunch and dinner are sponsored by the two ... | ||
| BenevolTwoThousandThree | 09 Jul 2004 - 13:58 - NEW | PieterVanGorp |
| BENEVOL 2003 Location: CWI, Amsterdam Date: Thu 19 Fri 20 June, 2003 Sponsors: Partially financed by Wetenschappelijke Onderzoeksgemeenschap "Fundamenten van software ... | ||
| BerndFischer | 14 Jul 2014 - 08:36 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.sun.ac.za/~bfischer/ WorkshopOnRuleBasedProgramming CategoryPeople | ||
| BibTeX | 05 Nov 2003 - 21:17 - r1.2 | EelcoVisser |
| BibTeX is a DataFormat for bibliographical information that is used in conjunction with LaTeX. The Stratego.BibtexTools package provides a syntax definition for BibTeX ... | ||
| BigLeverSoftware | 25 Apr 2002 - 14:49 - NEW | JoostVisser |
| Homepage : http://www.biglever.com/ CategoryCompany | ||
| Bigwig | 08 May 2005 - 20:21 - NEW | MartinBravenboer |
| Bigwig combines several ideas: Domain specific language for web services Syntax macros Publications Growing Languages with Metamorphic Syntax Macros Related projects ... | ||
| BilyzKid | 03 Mar 2005 - 04:00 - r1.3 | MikeVanEmmerik |
| http://www.ni.bekkoame.ne.jp/bilyzkid/us/ (was http://www.bilyzkid.com) Bilyzkid Co has a disassembler and decompiler for Windows (Intel). It claims to support 8086 ... | ||
| BinaryOptimisers | 26 May 2005 - 03:15 - r1.5 | StephenCheng |
| Binary Optimisers are sometimes called "Post Link optimisers". These products can be viewed as "X to X binary translators". Another name is Binary Rewriting systems ... | ||
| BinaryTranslation | 24 Oct 2004 - 04:47 - r1.22 | MikeVanEmmerik |
| Binary Translation What is binary translation Binary tanslation is the process of automatically translating binary object code from one machine Mi to another. The ... | ||
| BinaryTranslationLinks | 11 Aug 2002 - 21:16 - r1.4 | MikeVanEmmerik |
| Links to pages containing mainly links to pages related to BinaryTranslation. http://www.codeonthefly.com/products.html Run time code generation: http://members.fortunecity ... | ||
| BinaryTranslationProcessors | 11 Jul 2003 - 00:38 - r1.4 | MikeVanEmmerik |
| Transmeta's first processor the Crusoe (see their white paper) implements the pentium architecture on a VLIW processor. They have a few hardware assists, and the ... | ||
| BinaryTranslationProducts | 08 Feb 2002 - 02:38 - r1.3 | MikeVanEmmerik |
| Commercial products related to Translation Dynamite from Transitive Technologies is a binary translation product with various front ends, back ends, and a "Dynamite ... | ||
| BinaryTranslationResearch | 07 Dec 2004 - 01:32 - r1.13 | MikeVanEmmerik |
| While concentrating on research, this is also a miscellaneous page. The novel Low Level Virtual Machine (LLVM) http://llvm.cs.uiuc.edu/ is a product of the Lifelong ... | ||
| BinaryTranslationWorkshops | 28 Mar 2003 - 12:54 - r1.5 | MikeVanEmmerik |
| The Workshop on Binary Translation (WBT) is usually held in conjunction with the International Conference on Parallel Architectures and Compilation Techniques (PACT ... | ||
| BirdMeertensFormalism | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The Bird-Meertens Formalism (also called Squiggol) is a calculus for deriving programs from specifications (in a functional program setting) devised by RichardBird ... | ||
| BobStoutOnDecompilation | 29 Dec 2005 - 22:24 - NEW | MikeVanEmmerik |
| This page was rescued from Google's cache of http://orion.planet.de/~jan/Snippets.9707/ g0311.html . G.3.17 decompil.txt Date last modified: 05-Jul-1997 Question: ... | ||
| BobStoutRefutation | 29 Dec 2005 - 22:47 - NEW | MikeVanEmmerik |
| This page is my refutation of a Frequently Asked Question answer on decompilation. The original page is difficult to find now in its complete form, so I have archived ... | ||
| BorgDisassembler | 24 Oct 2004 - 03:18 - NEW | MikeVanEmmerik |
| http://www.caesum.com/download.php Borg is a freeware disassembler for Windows 32-bit binaries (PE executables and DLLs), written to overcome some of the limitations ... | ||
| BranchCoverageForArbitraryLanguagesMadeEasy | 17 Mar 2002 - 04:31 - r1.4 | TWikiGuest |
| Branch Coverage For Arbitrary Languages Made Easy: Transformation Systems To The Rescue! by IraBaxter of SemanticDesigns, Inc. http://www.semdesigns.com Abstract ... | ||
| BrianMitchell | 18 Nov 2001 - 19:41 - r1.3 | ArieVanDeursen |
| HomePage: http://www.mcs.drexel.edu/~bmitchel Research Web Page: http://serg.mcs.drexel.edu email: bmitchel@mcs.drexel.edu Research Interests: ReverseEngineering ... | ||
| BroadwayCompiler | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.utexas.edu/users/less/broadway.html | ||
| BrueggeAndDutoit | 17 Mar 2001 - 20:35 - NEW | TWikiGuest |
| Bernd Bruegge and Allen H. Dutoit Object-Oriented Software Engineering: Conquering complex and changing systems Prentice-Hall, 2000. A textbook on software engineering ... | ||
| BuildFile | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description Buildfiles are used in combination with AutoBuild and define how to build particular software packages. See Also AutoBuild | ||
| BuildingDocumentationGenerators | 07 Nov 2001 - 11:10 - r1.2 | ArieVanDeursen |
| Building Documentation Generators ArieVanDeursen, TobiasKuipers. In Proceedings International Conference on Software Maintenance ( ICSM 99). IEEE Computer Society ... | ||
| BuildingProgramUnderstandingToolsUsingVisitorCombinators | 21 Feb 2002 - 14:25 - r1.2 | JoostVisser |
| Building Program Understanding Tools Using Visitor Combinators by Transform.ArieVanDeursen and Transform.JoostVisser This paper describes how Transform.VisitorCombinators ... | ||
| ByteCodes | 17 Jun 2005 - 13:15 - r1.2 | MikeVanEmmerik |
| "Bytecodes" is a name given to the instructions of a VirtualMachine, so called because the opcodes are 8 bits (one byte) in length, and instructions vary from one ... | ||
| CAML | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://caml.inria.fr/consortium/ CAML is a dialect of the FunctionalProgrammingLanguage ML. | ||
| CC | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| CC Compiler Construction, a series of conferences. The 2001 version is to be held as part of ETAPS'01 CategoryConference | ||
| CCSE | 26 Aug 2002 - 15:26 - r1.6 | ArieVanDeursen |
| IEEE-CS/ACM Computing Curricula: Software Engineering. Part of the IEEE/ACM Computer Curriculum activity, aimed at developing the software engineering volume. Computer ... | ||
| CCompilerHistory | 13 Feb 2003 - 22:28 - r1.2 | MikeVanEmmerik |
| History of PC based C-compilers Originally, there were Lattice C (the big gun), Wizard, Datalight, Ecosoft, DeSmet, Mix, Whitesmiths, BDS C, Manx Aztec C, and another ... | ||
| CDIF | 29 Aug 2001 - 22:42 - NEW | TWikiGuest |
| CDIF is an acronym that stands for CaseDataExchangeFormat. | ||
| CIAO | 02 Jan 2002 - 13:57 - r1.3 | EelcoVisser |
| CIAO is a customizable and extensible navigator developed by AT T . It allows users to query, analyze, visualize, and track structures of various software and document ... | ||
| CIP | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| CIP HelmutPartsch | ||
| CKIT | 02 Jan 2002 - 13:57 - NEW | EelcoVisser |
| ckit is a C front end written in SML that translates CProgrammingLanguage source code (after preprocessing) into abstract syntax represented as a set of SML datatypes ... | ||
| COBOL | 09 Feb 2004 - 13:31 - r1.8 | MartinBravenboer |
| COBOL stands for Common Business Oriented Language and is considered by many as a legacy language. It was designed by the CODASYL committee in 1957 and is the second ... | ||
| COMPSAC | 23 Dec 2001 - 11:41 - r1.2 | ArieVanDeursen |
| COMPSAC is the major international forum for researchers, practitioners, managers, and policy makers interested in computer software and applications. It was first ... | ||
| CONS | 29 May 2001 - 11:06 - r1.2 | TWikiGuest |
| CONS is a replacement for make, written in Perl. It is not compatible with make. http://www.dsmit.com/cons/ | ||
| COOK | 28 May 2001 - 11:38 - NEW | TWikiGuest |
| http://www.canb.auug.org.au/~millerp/cook/cook.html Cook is a replacement for make. | ||
| CPP | 13 Mar 2003 - 12:56 - r1.14 | MartinBravenboer |
| C++ is an object-oriented extension of CProgrammingLanguage. Transformation of C++ programs is supported by AcaCia / CIAO OpenCpp Stratego.CodeBoost DMSSoftwareReengineeringToolkit ... | ||
| CPPML | 20 Feb 2003 - 11:02 - NEW | RudolfFerenc |
| See http://www.frontendart.com and http://www.frontendart.com/cppml/cppml-2.0.dtd for details. Main.RudolfFerenc 20 Feb 2003 | ||
| CProgrammingLanguage | 13 Mar 2003 - 12:19 - r1.8 | MartinBravenboer |
| About the language The C Programming Language, Second Edition Brian Kernighan Dennis M. Ritchie Compilers http://gcc.gnu.org/ Tools for transformation of C programs ... | ||
| CSEET | 27 Aug 2002 - 20:04 - r1.2 | TWikiGuest |
| Conference on Software Engineering Education and Training 2002: http://www.site.uottawa.ca/cseet2002 Submission deadline: September Conference: February CategoryConference ... | ||
| CSL | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.lsv.ens-cachan.fr/csl01/ Annual Conference of the European Association for Computer Science Logic Deadline: March Conference: September | ||
| CSMR | 09 Aug 2004 - 13:33 - r1.7 | TomMens |
| European Conference on SoftwareMaintenance and ReEngineering Conference: 2005: http://www.rcost.unisannio.it/csmr2005/ 2004: http://www.cs.tut.fi/~csmr2004 2003: http ... | ||
| CUP | 03 Feb 2004 - 14:08 - NEW | MartinBravenboer |
| CUP (Constructor of Useful Parsers) is a LALR parser generator for Java. Website: http://www.cs.princeton.edu/~appel/modern/java/CUP/ | ||
| CVS | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description CVS, the Concurrent Versions System, is a collection of tools for software version control. Links http://www.gnu.org/software/cvs/cvs.html | ||
| CWI | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| CWI (Centrum voor Wiskunde en Informatica) is the Dutch national research center for mathematics and computer science. See http://www.cwi.nl/ http://www.cwi.nl/img ... | ||
| CaseDataExchangeFormat | 29 Aug 2001 - 22:41 - NEW | TWikiGuest |
| The CASE Data Exchange Format (CDIF), which seems to be no longer maintained, was defined to allow data exchange between different CASE tools and repositories. However ... | ||
| CastSoftware | 27 Feb 2002 - 13:55 - NEW | ArieVanDeursen |
| http://www.castsoftware.com/ CAST is a software company committed to simplifying the complexity of software engineering through Application Mining solutions. CategoryCompany ... | ||
| CataMorphism | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Catamorphism: a generalization of the fold function in FunctionalProgramming. A function on finite data structures having a tree-like data type is a catamorphism if ... | ||
| CategoryAnalysis | 19 Feb 2002 - 15:33 - r1.2 | ArieVanDeursen |
| The category of pages related to ProgramAnalysis. SEARCH{search "CategoryAnalysis" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ... | ||
| CategoryArchitecture | 19 Feb 2002 - 15:01 - r1.2 | ArieVanDeursen |
| Pages dealing with SoftwareArchitecture the title gives them all. SEARCH{search "CategoryArchitecture" nosummary "on" scope "text" noheader "on" nosearch "on" format ... | ||
| CategoryBinaryTranslation | 05 Mar 2002 - 15:54 - r1.2 | ArieVanDeursen |
| CategoryBinaryTranslation: pages devoted to BinaryTranslation. SEARCH{search "CategoryBinaryTranslation" nosummary "on" scope "text" header "" nosearch "on" web "Transform ... | ||
| CategoryBook | 25 Apr 2002 - 16:30 - r1.3 | JoostVisser |
| The category of books discussed at this wiki Click on the title to see them all. SEARCH{search "CategoryBook" nosummary "on" scope "text" noheader "on" nosearch "on ... | ||
| CategoryCategory | 30 Jan 2006 - 21:56 - r1.9 | MikeVanEmmerik |
| The category of all categories. Categories are a way to organize Wiki pages: see Wiki:CategoryCategory SEARCH{search "Category" nosummary "on" scope "topic" header ... | ||
| CategoryCollection | 05 Mar 2002 - 14:41 - r1.3 | EelcoVisser |
| The category of all collections. Click on the title to see them all. SEARCH{search "CategoryCollection" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ... | ||
| CategoryCompany | 11 May 2002 - 11:42 - r1.3 | ArieVanDeursen |
| The category of companies offering ProgramTransformation products or services. Click on the title to get them. SEARCH{search "CategoryCompany" nosummary "on" scope ... | ||
| CategoryConference | 07 Dec 2001 - 10:53 - r1.3 | EelcoVisser |
| The category of conferences in the area of ProgramTransformation. TransformationConferences has conferences ordered by submission deadline. SEARCH{search "CategoryConference ... | ||
| CategoryDSL | 03 Dec 2001 - 12:42 - r1.2 | ArieVanDeursen |
| Category of pages related to DomainSpecificLanguages. SEARCH{search "CategoryDSL" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic ... | ||
| CategoryDataFormat | 31 Oct 2001 - 22:42 - NEW | EelcoVisser |
| The Category of data formats. Click on the title. CategoryCategory | ||
| CategoryDecompilation | 05 Mar 2002 - 15:53 - r1.3 | ArieVanDeursen |
| CategoryDecompilation: pages devoted to DeCompilation. SEARCH{search "CategoryDecompilation" nosummary "on" scope "text" header "" nosearch "on" web "Transform" format ... | ||
| CategoryDomainEngineering | 19 Feb 2002 - 20:10 - r1.2 | ArieVanDeursen |
| Pages devoted to DomainEngineering. SEARCH{search "CategoryDomainEngineering" nosummary "on" scope "text" noheader "on" nosearch "on"} CategoryCategory | ||
| CategoryEntryPoint | 22 Jan 2002 - 08:48 - r1.6 | EelcoVisser |
| All EntryPoints into ProgramTransformationOrg. SEARCH{search "CategoryEntryPoint" nosummary "on" scope "text" header "" nosearch "on" nototal "on" format " $web / ... | ||
| CategoryGenerativeProgrammingWiki | 25 Apr 2002 - 16:46 - r1.3 | JoostVisser |
| All pages belonging to the GenerativeProgrammingWiki: SEARCH{search "CategoryGenerativeProgrammingWiki" nosummary "on" scope "text" noheader "on" nosearch "on"} See ... | ||
| CategoryGroup | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Click on the title to find all research groups. (Ehhh, all pages containing the word CategoryGroup) CategoryCategory | ||
| CategoryJournal | 19 Nov 2001 - 12:42 - r1.2 | ArieVanDeursen |
| The category of TransformationJournals. Click on the title to see them SEARCH{search "CategoryJournal" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ... | ||
| CategoryLanguage | 16 Jul 2002 - 13:23 - r1.2 | TWikiGuest |
| CategoryLanguage is the category of ProgrammingLanguages that are subject to ProgramTransformation. SEARCH{search "CategoryLanguage" nosummary "on" scope "text" noheader ... | ||
| CategoryOptimization | 02 Dec 2001 - 22:20 - r1.2 | EelcoVisser |
| The category of ProgramOptimizations. SEARCH{search "CategoryOptimization" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ... | ||
| CategoryPaper | 25 Apr 2002 - 16:36 - r1.3 | JoostVisser |
| The category of pages about a paper. SEARCH{"CategoryPaper" header "" format " $topic" nototal "on" nosearch "on" web "Transform Stratego Tools"} See also CategoryBook ... | ||
| CategoryParadigm | 25 Oct 2001 - 14:43 - NEW | EelcoVisser |
| The category of computing paradigms. Click on the title to get them all. CategoryCategory | ||
| CategoryPeople | 19 Jan 2002 - 15:38 - r1.6 | EelcoVisser |
| Editors (TWikiUsers) The following is a list of registered users , i.e., the editors that created the content on this site. All it takes to become an editor is to ... | ||
| CategoryProgramUnderstanding | 05 Mar 2002 - 15:52 - r1.4 | ArieVanDeursen |
| CategoryProgramUnderstanding: pages devoted to ProgramUnderstanding. SEARCH{search "CategoryProgramUnderstanding" nosummary "on" scope "text" noheader "on" nosearch ... | ||
| CategoryProject | 13 Nov 2004 - 01:14 - r1.2 | JoseLuizFiadeiro |
| Category of pages describing transformation research projects. LegToNet, Marie-Curie TOK-IAP 003169 CategoryCategory | ||
| CategoryReengineeringPages | 05 Mar 2002 - 15:49 - r1.4 | ArieVanDeursen |
| CategoryReengineeringPages: pages dealing with ReEngineering topics. SEARCH{search "CategoryReengineeringPages" nosummary "on" scope "text" noheader "on" nosearch ... | ||
| CategoryReengineeringWiki | 05 Mar 2002 - 15:46 - r1.2 | ArieVanDeursen |
| CategoryReengineeringWiki: Category of main topics (categories) in the ReengineeringWiki. SEARCH{search "CategoryReengineeringWiki" nosummary "on" scope "text" noheader ... | ||
| CategoryReverseEngineering | 05 Mar 2002 - 15:50 - r1.4 | ArieVanDeursen |
| CategoryReverseEngineering: pages devoted to ReverseEngineering. SEARCH{search "CategoryReverseEngineering" nosummary "on" scope "text" noheader "on" nosearch "on ... | ||
| CategoryReview | 23 Dec 2001 - 20:38 - r1.2 | EelcoVisser |
| This is the category of paper reviews. SEARCH{"CategoryReview" format " $topic " nosearch "on"} CategoryCategory TransformationReviews | ||
| CategoryRigi | 26 Oct 2002 - 12:40 - r1.2 | ArieVanDeursen |
| CategoryRigi: all pages containing the word "CategoryRigi" are devoted to the RigiSystem. SEARCH{search "CategoryRigi" nosummary "on" scope "text" noheader "on" nosearch ... | ||
| CategorySoftwareEvolution | 05 Mar 2002 - 15:51 - r1.4 | ArieVanDeursen |
| CategorySoftwareEvolution: Pages devoted to SoftwareEvolution SEARCH{search "CategorySoftwareEvolution" nosummary "on" scope "text" noheader "on" nosearch "on" format ... | ||
| CategorySyntax | 20 Oct 2001 - 12:13 - NEW | EelcoVisser |
| The category of syntax related topics. Click on the title to get them all. CategoryCategory | ||
| CategorySystem | 05 Dec 2001 - 20:13 - r1.2 | EelcoVisser |
| The category of TransformationSystems. SEARCH{"CategorySystem" format " $topic " nosearch "on" noheader "on"} CategoryCategory | ||
| CategoryTaxonomy | 11 Dec 2001 - 12:08 - NEW | EelcoVisser |
| The category of taxonomies SEARCH{search "CategoryTaxonomy" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic " } CategoryCategory ... | ||
| CategoryTeaching | 26 Aug 2002 - 15:28 - r1.2 | ArieVanDeursen |
| CategoryTeaching: pages devoted to teaching ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTeaching" nosummary "on" scope "text" noheader "on ... | ||
| CategoryTheory | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms ) between objects . For example, we ... | ||
| CategoryTransformation | 14 Mar 2001 - 15:42 - NEW | EelcoVisser |
| The category of topics related to ProgramTransformation. Click on the title to get them all. CategoryCategory | ||
| CategoryTransformationParadigm | 26 Mar 2001 - 07:52 - NEW | EelcoVisser |
| The Category of TransformationParadigms. (Click on the title to see them all.) CategoryCategory | ||
| CategoryTutorial | 05 Mar 2002 - 15:56 - r1.2 | ArieVanDeursen |
| CategoryTutorial: Category of tutorial articles in the areas of ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTutorial" nosummary "on" scope ... | ||
| CategoryWcre | 05 Mar 2002 - 16:06 - r1.4 | ArieVanDeursen |
| CategoryWcre: Pages on WCRE SEARCH{search "CategoryWcre" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory | ||
| CategoryWiki | 19 Feb 2002 - 20:11 - r1.4 | ArieVanDeursen |
| Category of pages devoted to discussions of wiki style and techniques. SEARCH{search "CategoryWiki" nosummary "on" scope "text" header "" nosearch "on" format " $topic ... | ||
| CfEngine | 25 May 2001 - 14:51 - NEW | TWikiGuest |
| http://www.iu.hioslo.no/cfengine/ cfengine is short for `configuration engine'. Although its primary goal is to `administrate and configure large computer networks ... | ||
| ChrisLenguaer | 06 Dec 2001 - 13:01 - r1.2 | EelcoVisser |
| Homepage: http://brahms.fmi.uni-passau.de/cl/staff/lengauer/ CategoryPeople | ||
| ChrisRussell | 01 Feb 2003 - 13:59 - r1.2 | ChrisRussell |
| Chris' information page is maintained at: Main.ChrisRussell | ||
| ChrisVerhoef | 04 Oct 2001 - 14:15 - NEW | ArieVanDeursen |
| Chris Verhoef mr X X http://www.cs.vu.nl/~x/ SoftwareArchitecture, in particular archictural modification. | ||
| ChristopherFraser | 30 Apr 2001 - 12:53 - NEW | EelcoVisser |
| Homepage: http://research.microsoft.com/~cwfraser/ Christopher Fraser is one of the designers of BURG and many other things. CategoryPeople | ||
| ChuckLiang | 21 Dec 2001 - 17:11 - NEW | EelcoVisser |
| Homepage: http://cs.hofstra.edu/~cscccl/ Construction in Higher Order Logic Programming Order Compilation Project CategoryPeople | ||
| ClassCracker | 25 Sep 2004 - 01:56 - NEW | MikeVanEmmerik |
| The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ... | ||
| ClaudeKirchner | 06 Dec 2001 - 12:59 - r1.2 | EelcoVisser |
| Homepage: http://www.loria.fr/~ckirchne/ ELAN RewritingCalculus CategoryPeople | ||
| ClaudioRiva | 04 Oct 2001 - 14:22 - NEW | ArieVanDeursen |
| This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works! | ||
| CleanLanguage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.kun.nl/~clean/ Clean is a functional programming language. mailinglist: http://www.cs.kun.nl/mailman/listinfo/clean-list | ||
| ClusterAnalysis | 30 Mar 2002 - 13:32 - r1.5 | TWikiGuest |
| Finding groups in data by computing distances or similarities between elements. In ReverseEngineering, typically used for remodularization, ObjectIdentification, and ... | ||
| CoSy | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| CoSy is a compiler manufacturing Framework | ||
| CocktailToolbox | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description Cocktail is a set of program generators or compiler construction tools for nearly all phases of a compiler. The compiler construction tools support the ... | ||
| CodeBeamer | 02 Dec 2001 - 12:12 - NEW | ArieVanDeursen |
| CodeBeamer from IntlandCompany is a web-based source code comprehension product that enables enterprises or geographically dispersed groups of developers to analyze ... | ||
| CodeBreakersJournal | 15 Aug 2004 - 12:56 - NEW | MikeVanEmmerik |
| http://codebreakers-journal.com/ "Journal for Algorithms, Virus-Research, Software-Protection and Reverse Code Engineering". Seems to be peer reviewed, published 3 ... | ||
| CodeBuildingEnvironment | 29 May 2001 - 15:28 - NEW | TWikiGuest |
| CodeBuildingEnvironment is a cvs like tool, which also stores some configuration stuff. The developers claim that it has got MAKE like features. It is written in Java ... | ||
| CodeCompaction | 17 Mar 2002 - 14:39 - NEW | EelcoVisser |
| CodeCompaction is a class of ProgramOptimizations that reduce the size of a program. This is especially important for embedded software that is used on devices with ... | ||
| CodeComplete | 11 Mar 2001 - 10:58 - NEW | TWikiGuest |
| Code Complete by Steve McConnell. Microsoft Press, 1993. A practical handbook of software construction . 800 pages every developer should study. CategoryBook | ||
| CodeCoverage | 02 Sep 2002 - 22:35 - NEW | MartinBravenboer |
| A CodeCoverage tool discovers sections of code that are not being executed. CodeCoverage tools are used to examine how well the source-code of a project is being exercised ... | ||
| CodeCrawler | 25 Nov 2004 - 06:46 - r1.2 | ReengineeringGuest |
| CodeCrawler is a language independent ReverseEngineering tool for systems written in ObjectOrientedProgrammingLanguages which combines metrics and SoftwareVisualization ... | ||
| CodeGeneration | 03 Jan 2006 - 21:59 - r1.6 | MikeVanEmmerik |
| Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ... | ||
| CodeGenerator | 08 Jan 2002 - 14:08 - NEW | EelcoVisser |
| A code generator is a compiler component that translates intermediate representation expression trees to lists of machine instructions. See CodeGeneration. Main.EelcoVisser ... | ||
| CodeReadingAndProgramComprehensionBibliography | 19 Jan 2002 - 12:08 - NEW | ArieVanDeursen |
| Annotated Bibliography on Code Reading and ProgramComprehension Deimel and Naveda (1990) Reading Computer Programs: Instructor's Guide and Exercises. CMU/SEI-90-EM ... | ||
| CodeWorker | 01 Aug 2003 - 05:28 - r1.2 | CedricLemaire |
| This tool is a scripting language (distributed under LGPL at http://www.codeworker.org) dedicated to automate the development process, from requirements specification ... | ||
| CognitiveModels | 18 Feb 2002 - 13:27 - NEW | ArieVanDeursen |
| Cognitive models of program comprehension model the mental processes involved in program understanding. In most cognitive models, hypotheses are key drivers of the ... | ||
| Colm | 03 Nov 2008 - 20:04 - NEW | JamesCordy |
| Colm: COmputer Language Manipulation Homepage: http://www.complang.org/colm/ Colm is a programming language designed for the analysis and transformation of computer ... | ||
| Columbus | 07 Jan 2003 - 09:21 - NEW | RudolfFerenc |
| See FrontEndART for details. Main.RudolfFerenc 07 Jan 2003 | ||
| ColumbusCAN | 21 Oct 2002 - 19:42 - NEW | HolgerKienle |
| Columbus/CAN is a reverse engineering tool devloped by FrontEndART. It is available as a free download. The system extracts C++ (ISO/IEC standard C++, Microsoft and ... | ||
| CompaniesOfferingDecompilationServices | 28 Apr 2006 - 23:01 - r1.30 | MikeVanEmmerik |
| The following companies offer decompilation services (from binary code or assembly code). The techniques used by these companies are usually proprietary, but often ... | ||
| CompilationByTransformation | 03 Jan 2002 - 13:45 - r1.2 | EelcoVisser |
| In the paradigm of Compilation by Transformation many aspects of compilation are implemented as a series of simple ProgramTransformations on the source code or intermediate ... | ||
| CompilerConstructionInHigherOrderLogicProgramming | 21 Dec 2001 - 17:17 - NEW | EelcoVisser |
| 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 ... | ||
| ComponentDocumentationTemplate | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Name Component name. Synopsis Short usage of the component. Description Description of the functionality offered by the component, focussing on common usage. Options ... | ||
| CompostFramework | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://i44w3.info.uni-karlsruhe.de/~compost/ Compost is a framework for program transformation and analysis implemented in Java. UweAssman OPTIMIX | ||
| CompuWare | 26 Jun 2001 - 15:59 - NEW | ArieVanDeursen |
| Compuware http://www.compuware.com Products offered include Xpeditor, a tool suite for COBOL test coverage analysis and system browsing. See http://www.compuware.com ... | ||
| ConceptAnalysis | 28 Feb 2003 - 09:21 - r1.7 | RobVermaas |
| ConceptAnalysis is a mathematical approach to building taxonomies. Given a set of objects, a set of attributes, and a feature table telling which object has which ... | ||
| ContextFreeGrammar | 09 Mar 2004 - 12:46 - NEW | MartinBravenboer |
| A context-free grammar is a restricted form of a Grammar Closure Properties Context-free languages are closed under: union concatenation and these operations can thus ... | ||
| ContinuousCompilers | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The compiler should effectively continuously transform a program from an interpreted to a fully optimized form. http://www.cs.wustl.edu/~plezbert/contcom/ RonCytron ... | ||
| ControlFlowAnalysis | 28 May 2002 - 13:01 - NEW | DavidEriksson |
| Control flow analysis in decompilation convert conditional and non-conditional jump instructions into high-level language control constructs such as if/else, while ... | ||
| ConvertSpacesToTabs | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Various browsers have trouble with the tab character used in the TextFormattingRules. If you can't type a tab, or, if you are fixing up a page written by someone who ... | ||
| CostEffectiveMaintenanceToolsForProprietaryLanguages | 24 May 2002 - 11:32 - NEW | JoostVisser |
| Cost-effective Maintenance Tools for Proprietary Languages by MerijnDeJonge Ramin Monajemi Available at: http://www.cwi.nl/~mdejonge/papers/#JM2001 | ||
| CppETS | 10 Oct 2002 - 16:49 - NEW | HolgerKienle |
| CppETS is an extractor benchmarks for C++ (see ExtractorBenchmarks). The benchmark has been exercised at the following occasions: CASCON 2001 workshop (CppETS 1.0 ... | ||
| CppFactExtractors | 16 Mar 2004 - 21:18 - r1.5 | YijunYu |
| Fact extractors for C++: AcaCia ColumbusCAN cppx TkSeeSN vacppparse http://www.gccxml.org XML output extension to the C++ front-end to GCC. It produces an XML representation ... | ||
| CppTemplates | 20 Apr 2004 - 21:35 - NEW | MartinBravenboer |
| C++ templates allow compile-time programming in the type system of C++. | ||
| Cppx | 21 Oct 2002 - 19:47 - NEW | HolgerKienle |
| CPPX is a free, open source fact extractor for C++. It is build on top of GNU g++, and produces a graph according to the Datrix fact model, in either GXL, TA, or VCG ... | ||
| CristinaCifuentes | 21 Nov 2001 - 07:31 - r1.3 | MikeVanEmmerik |
| Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople | ||
| CrocoPat | 20 Nov 2008 - 10:05 - NEW | HolgerKienle |
| Homepage: http://www.cs.sfu.ca/~dbeyer/CrocoPat/ CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive ... | ||
| CrystalSystems | 31 Mar 2002 - 11:27 - r1.2 | ArieVanDeursen |
| Crystal Systems http://www.crystal-sys.com/ Offers products based on C-SCAN, a unique and flexible engine for automating the conversion of system components. See also ... | ||
| CycloneLanguage | 20 Nov 2001 - 13:12 - NEW | EelcoVisser |
| Homepage: http://www.cs.cornell.edu/projects/cyclone/ Cyclone is a C-like language with built-in support for safety. CategoryLanguage Main.EelcoVisser 20 Nov 2001 ... | ||
| DERIVE | 23 Jul 2002 - 22:19 - NEW | MaD |
| DERIVE: a tool to ReverseEngineering instruction encodings http://www.cs.utah.edu/~wilson/papers/derive-usenix01.html Source: http://www.cs.utah.edu/~wilson/derive ... | ||
| DMSSoftwareReengineeringToolkit | 18 Mar 2002 - 15:44 - r1.7 | TWikiGuest |
| Homepage: http://www.semdesigns.com/Products/DMS/DMSToolkit.html DMSSoftwareReengineeringToolkit is a DesignMaintenanceSystem for software ReEngineering from SemanticDesigns ... | ||
| DNeliacExample69 | 23 Aug 2004 - 04:00 - NEW | MikeVanEmmerik |
| This page represents examples 69, 70, and 71 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ... | ||
| DNeliacExample72 | 23 Aug 2004 - 07:01 - r1.2 | MikeVanEmmerik |
| This page represents examples 72, 73, and 74 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ... | ||
| DOM | 20 Mar 2001 - 20:12 - r1.2 | TWikiGuest |
| See DocumentObjectModel | ||
| DOME | 21 Oct 2002 - 17:17 - r1.2 | HolgerKienle |
| DOME (the DOmain Modeling Environment) is a meta-CASE system. It has a graphical domain modeling evironment (DTS editor). With the DTS editor a meta-model is defined ... | ||
| DSL | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Acronym for DomainSpecificLanguages | ||
| DSLAnnotatedBibliography | 04 Mar 2005 - 09:53 - r1.5 | MerijnDeJonge |
| Domain-Specific Languages: An Annotated Bibliography. By ArieVanDeursen, PaulKlint and JoostVisser. We survey the literature available on the topic of DomainSpecificLanguages ... | ||
| DSLBibliographyAdditions | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The DSLAnnotatedBibliography was published in 2000. Since then, several authors have sent us additional references, which are collected here. If you feel that a reference ... | ||
| DSLBibliographyDesign | 20 Oct 2002 - 01:11 - r1.6 | HolgerKienle |
| Several papers covering DSL design issues such as DomainEngineering are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions ... | ||
| DSLBibliographyExamples | 01 Jan 2004 - 07:24 - r1.6 | JeffGray |
| A number of example DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions, presenting example DomainSpecificLanguages ... | ||
| DSLBibliographyImplementation | 17 Aug 2005 - 15:29 - r1.5 | JeffGray |
| Several papers covering ways of implementing DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting implementation ... | ||
| DSLBibliographyRisksOpportunities | 22 Mar 2001 - 10:09 - NEW | TWikiGuest |
| Papers evaluating the risks and opportunities of DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions presenting ... | ||
| DSLBibliographyTerminology | 28 Aug 2002 - 13:08 - r1.4 | ArieVanDeursen |
| The DSLAnnotatedBibliography starts by definining the terminology used in the paper. This page collects comments, extensions, or additional references concerning DomainSpecificLanguages ... | ||
| DSLs | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| DomainSpecificLanguages | ||
| DaVinciSystem | 29 Aug 2001 - 21:50 - r1.2 | TWikiGuest |
| The daVinci system uses terms to represent graphs, which distinguishes it from all other graph formats. Terms make the format not easy to read and hard to write. A ... | ||
| DagstuhlSeminar | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Seminar organized in Dagstuhl castle in the hills of the Saarland (Germany). Excellent wine cellar and music room, great way to get to know your fellow researchers ... | ||
| DailyBuildSystem | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description The `dbs' package implements an open framework for daily-builds (i.e. regular performed builds to continuously verify the consistence of all parts of ... | ||
| DaliWorkbench | 24 Sep 2002 - 12:11 - r1.2 | ArieVanDeursen |
| Collections of tools used for ArchitectureExtraction. Pointers: http://www.sei.cmu.edu/ata/ata extraction.html Rick Kazman, S. Jeromy Carričre, Playing Detective: ... | ||
| DataBaseManagers | 16 Aug 2004 - 01:38 - NEW | MikeVanEmmerik |
| http://www.decompile.com The Database Managers company used to offer DataFlex Decompilers in two forms: as a stand-alone licensed program or as a service. Now, they ... | ||
| DataExchangeFormats | 29 Aug 2001 - 22:16 - NEW | TWikiGuest |
| Data exchange formats are used to store and retrieve data in a structured and domain-independent way. Typically a binary format is used, but textual formats exist ... | ||
| DataFlowAnalysis | 28 May 2002 - 13:00 - NEW | DavidEriksson |
| Data flow analysis in decompilation covers the conversion from primitive machine code instructions to expressions in high-level language. Main.DavidEriksson 28 May ... | ||
| DataFormat | 14 Mar 2001 - 08:03 - NEW | EelcoVisser |
| See DataFormats. | ||
| DataFormats | 14 Mar 2001 - 08:03 - NEW | EelcoVisser |
| A DataFormat is a formal language for the representation of information. Unlike ProgrammingLanguages, DataFormats don't specify computations. Examples of data formats ... | ||
| DatabaseReverseEngineering | 05 May 2004 - 12:48 - r1.2 | JeanHenrard |
| In information systems, or data-oriented applications, i.e., in applications the central component of which is a database (or a set of permanent files), it is generally ... | ||
| DavidEriksson | 13 Jun 2002 - 21:07 - r1.3 | DavidEriksson |
| Homepage: http://desquirr.sourceforge.net/ Main.DavidEriksson 13 Jun 2002 | ||
| DavidLacey | 06 Dec 2001 - 13:00 - r1.2 | EelcoVisser |
| http://www.comlab.ox.ac.uk/oucl/work/david.lacey CategoryPeople | ||
| DccDecompiler | 08 Aug 2005 - 06:55 - r1.5 | MikeVanEmmerik |
| dcc is a research decompiler, written as a proof of concept for Cifuentes' PhD thesis. A complete distribution of dcc (executable, source, tools to generate signatures ... | ||
| DccDecompilerTests | 01 Aug 2005 - 03:45 - r1.2 | MikeVanEmmerik |
| TOC The tests performed here are downloaded from the file test.zip, part of the dcc distribution. It should be remembered that these tests were therefore chosen to ... | ||
| DeCompResume | 22 Nov 2001 - 02:46 - r1.3 | MikeVanEmmerik |
| RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ... | ||
| DeCompilation | 14 Apr 2007 - 07:17 - r1.83 | MikeVanEmmerik |
| Decompilation is a ProgramTransformation by which a high-level source code for an executable program is discovered. Decompilation is the inverse of ProgramCompilation ... | ||
| DeFeater | 13 Feb 2003 - 22:19 - r1.3 | MikeVanEmmerik |
| Visual Basic Discompiler (Decompiler) Defeater This page only exists in archive.org for December 1996, which may be the boundary of the archive. In case it disappears ... | ||
| DeForestation | 04 Dec 2001 - 10:45 - r1.3 | EelcoVisser |
| Deforestation is a ProgramTransformation that eliminates intermediate data-structures (trees). The technique was invented by PhilipWadler for optimization of functional ... | ||
| DealingWithLargeBananas | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Dealing with Large Bananas by RalfLaemmel, JoostVisser, and JanKort Available: Draft 1 . | ||
| DecompDecompiler | 10 Oct 2005 - 01:38 - r1.2 | MikeVanEmmerik |
| This information is pieced together from a few sources. I hope it is still accurate. In about 1985, Jim Reuter wrote decomp, a decompiler for the Vax BSD 4.2 (a.out ... | ||
| DecompReadMe | 13 Feb 2003 - 22:21 - r1.3 | MikeVanEmmerik |
| This is the readme file for the "decomp" decompiler by Jim Reuter. This README file describes the decompiler that resides in this directory. WHAT IT IS: The decompiler ... | ||
| DecompilationAnakrinoTest | 12 Mar 2003 - 22:55 - r1.4 | MikeVanEmmerik |
| Anakrino .NET to C# Decompiler Tests Anakrino is a .NET to C# decompiler, released under a BSD-like license. These tests refer to "Interim #9" (Anakrino9.zip). Anakrino ... | ||
| DecompilationAndReverseEngineering | 28 Sep 2005 - 00:17 - r1.8 | MikeVanEmmerik |
| The colloquial use of "reverse engineering" and the formal one are somewhat different. Crackers speak of "reversing" a program, when they are talking about a quick ... | ||
| DecompilationApplicationSpecificApproach | 04 Dec 2004 - 22:24 - NEW | MikeVanEmmerik |
| This page has been removed. You can access the pages it used to point to from the main DeCompilation page now. Main.MikeVanEmmerik 04 Dec 2004 | ||
| DecompilationBoomerang | 28 Jul 2004 - 06:59 - r1.7 | MikeVanEmmerik |
| The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ... | ||
| DecompilationCcTest | 13 Feb 2003 - 22:17 - r1.10 | MikeVanEmmerik |
| ClassCracker 3 Java Decompiler Simple Tests I performed some simple tests on ClassCracker 3 (version 3.01), purely as a decompiler. TOC Fibo For source code, see ... | ||
| DecompilationCompilerSpecific | 04 Dec 2004 - 09:00 - r1.21 | MikeVanEmmerik |
| Compiler-Specific or Pattern Matching Decompilers This approach tries to find the reverse mapping of the executable to the source based on analysing the output generated ... | ||
| DecompilationDava | 17 Aug 2005 - 10:27 - r1.35 | MikeVanEmmerik |
| McGill's "Dava" Java Decompiler TOC Dava tests The Sable group at McGill University, under the leadership of Professor Laurie Hendren, are working on a framework ... | ||
| DecompilationDavaTest | 05 Jul 2006 - 05:04 - r1.6 | MikeVanEmmerik |
| Dava Java Decompiler Tests These tests were performed on the Dava decompiler which comes with Soot 2.0.1. The author stated in early 2003 that there is a newer version ... | ||
| DecompilationDisassembly | 16 May 2005 - 13:05 - r1.28 | MikeVanEmmerik |
| Please see DisAssembly. | ||
| DecompilationFaqRefutation | 30 Dec 2005 - 00:17 - r1.5 | MikeVanEmmerik |
| Question 38.4 of the C++ FAQ LITE demonstrates a typical negative reaction to the basic question "how can I decompile a C++ executable file?". I don't mean any offense ... | ||
| DecompilationGeneralApproach | 07 Mar 2005 - 07:01 - NEW | FredHeltsley |
| Main.FredHeltsley 07 Mar 2005 | ||
| DecompilationHelpWanted | 29 Sep 2005 - 08:16 - r1.6 | MikeVanEmmerik |
| If you have a specific decompilation problem for which you need help, you can describe it here. Someone knowing the solution might visit the page and help you. (See ... | ||
| DecompilationJadTest | 15 Nov 2003 - 07:21 - r1.14 | MikeVanEmmerik |
| Jad Java Decompiler Simple Tests TOC This page performs some tests on JAD version 1.5.8e. Output has been trimmed slightly for ease of comparison to the original ... | ||
| DecompilationJasciiTest | 26 Sep 2007 - 03:05 - r1.10 | MikeVanEmmerik |
| jAscii Java Decompiler Simple Tests NOTE: Jascii seems to have gone out of business at the end of 2003. I tested jAscii 1.0.20 from http://www.jascii.com. TOC Fibo ... | ||
| DecompilationJodeTest | 23 Feb 2003 - 12:04 - r1.18 | MikeVanEmmerik |
| JODE open source Java Decompiler Simple Tests TOC Fibo For source, see DecompilerFiboTestSource. Decompiled source from JODE: / Fibo Decompiled by JODE Visit http ... | ||
| DecompilationJrpTest | 24 Feb 2003 - 13:07 - r1.23 | MikeVanEmmerik |
| JReversePro (Java Decompiler) Simple Tests I installed JReversePro version 1.4.1 (binary distribution; Sourceforge page is here). TOC Fibo For source, see DecompilerFiboTestSource ... | ||
| DecompilationNmiTest | 24 Feb 2003 - 02:45 - r1.5 | MikeVanEmmerik |
| NMI Java Code Viewer This is a commercial bytecode to Java decompiler and disassembler. It runs under Windows only, even though it claims to have been written in ... | ||
| DecompilationPossible | 29 Dec 2005 - 22:16 - r1.13 | MikeVanEmmerik |
| Is Decompilation Possible? Almost every week requests for decompilation programs are made in newsgroups (like comp.lang.c), and these are usually replied with: It ... | ||
| DecompilationProcess | 22 Nov 2001 - 02:27 - r1.2 | MikeVanEmmerik |
| The Decompilation Process The main problems with decompilation are the separation of data and code (i.e. obtaining a complete disassembly of the program), the reconstruction ... | ||
| DecompilationReflectorTest | 25 Sep 2004 - 00:21 - r1.3 | MikeVanEmmerik |
| Reflector .NET to C# Decompiler Tests Reflector is a .NET browser with an integrated C# decompiler. It will also display the code "translated" into Visual Basic or ... | ||
| DecompilationResources | 11 Dec 2007 - 00:08 - r1.79 | MikeVanEmmerik |
| 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 ... | ||
| DecompilationSATest | 24 Oct 2003 - 08:15 - r1.16 | MikeVanEmmerik |
| Source Again Java Decompiler Tests TOC Ahpah kindly provided a copy of Source Again Professional version 1.10j (a commercial decompiler). Earlier tests were based ... | ||
| DecompilationSalamanderTest | 13 Mar 2003 - 22:24 - r1.10 | MikeVanEmmerik |
| Salamander .NET to C# Decompiler Tests Salamander is a commercial .NET to C# decompiler. TOC Fibo For source, see DecompilerFiboDotNetSource. Decompiled source from ... | ||
| DecompilationStTest | 13 Feb 2003 - 22:17 - r1.7 | MikeVanEmmerik |
| SourceTec Java Decompiler Simple Tests SourceTec, also known as Jasmine, is an old decompiler; in fact it's a patch to Mocha, probably the very first Java decompiler ... | ||
| DecompilationUrls | 11 Dec 2007 - 10:29 - r1.6 | MikeVanEmmerik |
| Are you wanting to set up a decompilation related company? He is a partial list of the URLs. RED Warning: URLs in italics could lock up your browser for at least 2 ... | ||
| DecompilerAndromedaTest | 24 Mar 2007 - 08:20 - NEW | MikeVanEmmerik |
| The Andromeda Decompiler is not available to the public at present, so the only example of its use is usually limited to the very impressive demo program. I asked ... | ||
| DecompilerCastingDotNetSource | 11 Mar 2003 - 02:48 - r1.2 | MikeVanEmmerik |
| This program is adapted from the book Decompiling Java, chapter 1. using System; public class Casting { public static void Main(String args){ for(char c (char)0; c ... | ||
| DecompilerCastingTestSource | 13 Feb 2003 - 22:17 - r1.2 | MikeVanEmmerik |
| This program is from the book Decompiling Java, chapter 1. public class Casting { public static void main(String args ){ for(char c 0; c The only real trick here is ... | ||
| DecompilerControlFlowDotNetSource | 11 Mar 2003 - 02:50 - r1.2 | MikeVanEmmerik |
| This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code as adapted to C# is: using System; class Foo ... | ||
| DecompilerControlFlowTestSource | 13 Feb 2003 - 22:17 - r1.2 | MikeVanEmmerik |
| This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code is: public int foo(int i, int j) { while ... | ||
| DecompilerDesquirrTest | 20 Jul 2005 - 01:31 - r1.4 | MikeVanEmmerik |
| These Fibonacci (286) and Palindrome results are from David's masters theses, Figure 5.2. The other tests are using the 20030507 binary of the desquirr plugin, as ... | ||
| DecompilerE2cTest | 20 Mar 2003 - 03:08 - r1.5 | MikeVanEmmerik |
| Exe-2-C DOS/286 Decompiler Tests This is the beta version of an experimental decompiler. The tests are from test.zip in the dcc distribution. TOC Strlen The original ... | ||
| DecompilerExceptionTestSource | 13 Feb 2003 - 22:17 - r1.3 | MikeVanEmmerik |
| This is the Jasmin (essentially Java "assembly language") source code for the exceptions decompiler test. It is an attempt at the test program from Figure 6 of the ... | ||
| DecompilerFiboDotNetSource | 13 Mar 2003 - 04:02 - r1.3 | MikeVanEmmerik |
| This is a simple program, compiled with the Mono C# compiler, no optimisation. Here is the original C# source code: using System; class Fibo { private static int fib ... | ||
| DecompilerFiboTestSource | 06 Mar 2003 - 10:49 - r1.3 | MikeVanEmmerik |
| This is a simple program, compiled with Sun's javac, no optimisation. Here is the original Java source code: import java.lang. ; class Fibo { private static int fib ... | ||
| DecompilerImageViewerDotNetSource | 13 Mar 2003 - 04:02 - r1.4 | MikeVanEmmerik |
| I found this sample program in a page called Sample gtk# applications. The program is already compiled (possibly with a now-obsolete version of the Microsoft C# compiler ... | ||
| DecompilerInnerClassesDotNetSource | 11 Mar 2003 - 02:49 - r1.2 | MikeVanEmmerik |
| This class is also from the book Decompiling Java, this time chapter 3: using System; public class Usa { public String name "Detroit"; public class England { public ... | ||
| DecompilerInnerClassesTestSource | 13 Feb 2003 - 22:17 - r1.2 | MikeVanEmmerik |
| This class is also from the book Decompiling Java, this time chapter 3: public class Usa { public String name "Detroit"; public class England { public String name ... | ||
| DecompilerInteraction | 12 Sep 2006 - 00:37 - r1.2 | MikeVanEmmerik |
| In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ... | ||
| DecompilerOptimisedTestSource | 13 Feb 2003 - 22:17 - r1.3 | MikeVanEmmerik |
| This is the Jasmin (essentially Java "assembly language" source code for the optimised bytecode decompiler tests. It was created with soot s O Main where soot is a ... | ||
| DecompilerRecTest | 20 Mar 2003 - 03:06 - r1.7 | MikeVanEmmerik |
| Reverse Engineering Compiler (REC) Tests Some simple tests were performed on REC 1.6 for Linux. TOC Fibo/286 This test file is the same one used to test the 286 decompilers ... | ||
| DecompilerSableDotNetSource | 11 Mar 2003 - 02:49 - r1.2 | MikeVanEmmerik |
| The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains a small but important test program (adapted from a concatenation of 4 Java source files ... | ||
| DecompilerSableTestSource | 13 Feb 2003 - 22:17 - r1.2 | MikeVanEmmerik |
| The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ... | ||
| DecompilerTechnologies | 29 Apr 2006 - 00:15 - r1.6 | MikeVanEmmerik |
| http://www.decompiler.org (Decompiler Technologies) Until May 2005, Decompiler Technologies offered mainly a Visual Basic 6 native-code decompilation (source code ... | ||
| DeforestationTransformingProgramsToEliminateTrees | 08 Jun 2001 - 12:33 - r1.2 | TWikiGuest |
| PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ... | ||
| DelphiDecompilers | 24 Jan 2008 - 23:11 - r1.2 | MikeVanEmmerik |
| Delphi I'm not all that familiar with Delphi. Additional pointers welcome. Decompiling Delphi Decompiling Delphi at http://delphi.about.com mentions a number of Delphi ... | ||
| DeltaSoftwareTechnology | 17 Oct 2003 - 16:21 - NEW | ReengineeringGuest |
| Delta Software Technology is the leading developer of generative software tools for service-based integration to multiply the value of legacy applications and data ... | ||
| DesignPatternRecovery | 20 Oct 2001 - 18:21 - r1.2 | ArieVanDeursen |
| Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Presentation Slides for part 1: Introduction to reverse engineering ... | ||
| DesignRecovery | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The ReverseAndReengineeringTaxonomy defines design recovery as a subset of ReverseEngineering in which domain knowledge, external information, and deduction or fuzzy ... | ||
| DesquirrPlugin | 20 Jul 2005 - 02:02 - r1.2 | MikeVanEmmerik |
| http://www.2good.com/software/desquirr Desquirr is a decompiler plugin for IDA Pro. It is written by Eriksson as part of a Master Thesis in Software Engineering. It ... | ||
| DiSTiL | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| DiSTiL: A transformation library for data structures by YannisSmaragdakis and DonBatory ResearchIndex http://citeseer.nj.nec.com/smaragdakis96distil.html | ||
| DickGrune | 27 Aug 2001 - 23:42 - NEW | EelcoVisser |
| Homepage: http://www.cs.vu.nl/~dick/ CompilerConstruction http://www.cs.vu.nl/~dick/CS Summaries.html CategoryPeople | ||
| DickKieburtz | 06 Dec 2001 - 12:59 - r1.2 | EelcoVisser |
| Homepage: http://www.cse.ogi.edu/~dick/dick.html CategoryPeople | ||
| DigitalLibrary | 10 Oct 2001 - 13:01 - NEW | ArieVanDeursen |
| IEEE Digital Library: http://www.computer.org/publications/dlib/index.htm ACM Digital Library: http://www.acm.org/dl/ | ||
| DigitalSignalProcessors | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Digital Signal Processors are processors with special features for fast processing of signals. It is a challenge to write programs for these architectures that are ... | ||
| DiomidisSpinellis | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Diomidis Spinellis: http://softlab.icsd.aegean.gr/~dspin/ Topics: DomainSpecificLanguages | ||
| DisAssembly | 07 Jun 2007 - 22:04 - r1.8 | MikeVanEmmerik |
| Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ... | ||
| DisC | 16 Aug 2004 - 11:18 - NEW | MikeVanEmmerik |
| http://www.debugmode.com/dcompile/disc.htm The disC page describes a crude decompiler for DOS Turbo C 2.0 and 2.01 programs. The source is free to download. The author ... | ||
| Disasm32VisualSymbolicDisassembler | 24 Oct 2004 - 03:59 - NEW | MikeVanEmmerik |
| http://www.winsite.com/bin/Info?500000009137 disasm32 is a visual symbolic disassembler for Windows95 and WindowsNT 32 bit Portables Executables (PE). It runs under ... | ||
| DisinformationDecompiler | 03 May 2005 - 01:35 - r1.2 | MikeVanEmmerik |
| Disinformation is a decompiler for Z-machine data files (Infocom or Inform), to decompile Infocom games to add rooms and objects to the game. It works best on Inform ... | ||
| DoDi | 16 Aug 2004 - 02:07 - NEW | MikeVanEmmerik |
| Hans-Peter Diettrich, better known as DoDi, is author of a well-known set of Visual Basic decompilers (VBDis 3/4/5), and has worked on decompilers for executables ... | ||
| DocGen | 16 Aug 2002 - 07:56 - r1.4 | ArieVanDeursen |
| DocGen is a DocumentationGeneration tool aimed at redocumenting LegacySystems written in languages such as COBOL, DB2, JCL, as well as proprietary languages. It is ... | ||
| DocumentObjectModel | 20 Mar 2001 - 20:11 - NEW | TWikiGuest |
| Document Object Model: a tree-based object-oriented API for XML document manipulation: see http://www.w3.org/DOM/ | ||
| DocumentTypeDefinition | 29 May 2002 - 22:30 - NEW | MartinBravenboer |
| DocumentTypeDefinition (DTD) is the original SchemaLanguageForXML and is in fact part of the XML standard. DTD is a LocalTreeGrammar. This means that the same terminal ... | ||
| DocumentationGeneration | 06 Jul 2005 - 19:44 - r1.4 | JohnBlattner |
| Deriving (on line) documentation from source code. The purpose is to help maintainers or developers understand the system they are working on. The article BuildingDocumentationGenerators ... | ||
| DomainAnalysis | 24 Apr 2002 - 14:21 - r1.9 | JoostVisser |
| Domain Analysis is the first DomainEngineering step. Following GenerativeProgrammingBook, p. 23, the purpose of Domain Analysis is to: Select and define the domain ... | ||
| DomainDesign | 24 Apr 2002 - 14:21 - r1.3 | JoostVisser |
| Following GenerativeProgrammingBook, p.24, the purpose of Domain Design is to develop a SoftwareArchitecture for the family of systems in the domain ; and to devise ... | ||
| DomainEngineering | 30 Jan 2006 - 21:58 - r1.17 | MikeVanEmmerik |
| Domain Engineering involves creating a set of reusable assets for building systems in a particular problem domain. These reusable assets are then assembled to customer ... | ||
| DomainEngineeringAndAgileSoftwareDevelopment | 02 Mar 2003 - 12:51 - r1.3 | ArieVanDeursen |
| This page is intended to discuss the question Is Domain Engineering compatible with Agile Software Development? Given the current popularity of agile methodologies ... | ||
| DomainSpecificLanguage | 18 May 2001 - 10:10 - NEW | ArieVanDeursen |
| Just one of the many DomainSpecificLanguages | ||
| DomainSpecificLanguageDesignRequiresFeatureDescriptions | 03 Dec 2001 - 20:42 - NEW | ArieVanDeursen |
| Domain-Specific Language Design Requires Feature Descriptions ArieVanDeursen and PaulKlint Journal of Computing and Information Technology , 2002. Abstract A DomainSpecificLanguage ... | ||
| DomainSpecificLanguages | 30 Jan 2006 - 21:59 - r1.12 | MikeVanEmmerik |
| A little language, that helps in a particular application domain. A more formal definition from the DSLAnnotatedBibliography: A domain-specific language (DSL) is a ... | ||
| DonBatory | 06 Dec 2001 - 12:45 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.utexas.edu/users/dsb/ DiSTiL GenVoca CategoryPeople | ||
| DonRoberts | 31 Oct 2001 - 08:07 - r1.2 | ArieVanDeursen |
| Don Roberts homepage: http://st-www.cs.uiuc.edu/users/droberts/homePage.html SmalltalkRefactory ARefactoringToolForSmalltalk ProgramRefactoring CategoryPeople | ||
| DonaldKnuth | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Donald Knuth is a computer scientist that invented many techniques relevant for language processing, including: LR parsing AttributeGrammar(s) Literate programming ... | ||
| DonatingAGrammarByEmail | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description This page describes how to donate your grammar to the GrammarBase by email in case you don't have write access to the central GrammarBase CVS repository ... | ||
| DonatingAGrammarWithCVS | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description This page describes how to donate your grammar to the GrammarBase by adding it to the central CVS repository. It requires write permission the the GrammarBase ... | ||
| DoraTools | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description The optimizer prototyping toolset Dora Farnum90 consists of a set of languages embedded in Lisp. One of the languages is the transformation language Tess ... | ||
| DotLanguage | 31 Oct 2001 - 22:41 - r1.2 | EelcoVisser |
| Dot and neato are two graph layout tools that share an almost identical graph format. Dot makes layouts of directed graphs whereas neato is for undirected graphs. ... | ||
| DotNetDecompilerTests | 20 Aug 2004 - 09:07 - r1.8 | MikeVanEmmerik |
| I have collected tests from various places, and tested .NET to C# decompilers that I could get access to for free. Salamander tests Anakrino tests Reflector tests ... | ||
| DotNetDecompilers | 08 Mar 2008 - 00:06 - r1.14 | MikeVanEmmerik |
| .NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ... | ||
| DougSmith | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Designer/implementer of KIDS. Homepage: http://www.kestrel.edu/HTML/people/smith/ | ||
| DrScheme | 04 May 2001 - 23:15 - NEW | EelcoVisser |
| Homepage: http://www.cs.rice.edu/CS/PLT/packages/drscheme/ DrScheme is an interactive programming environment for SchemeLanguage. CategorySystem Main.EelcoVisser ... | ||
| DracoPUC | 20 Feb 2004 - 11:45 - NEW | EelcoVisser |
| Draco-PUC is a transformation system based on the original DracoSystem. http://www.inf.puc-rio.br/~draco/ Main.EelcoVisser 20 Feb 2004 | ||
| DracoSystem | 30 Jan 2006 - 21:59 - r1.9 | MikeVanEmmerik |
| The Draco system was the first to pioneer with DomainSpecificLanguages employing ProgramTransformation for their implementation. The system featured parser and pretty ... | ||
| DracoUsersManual | 28 Apr 2001 - 13:24 - NEW | EelcoVisser |
| http://www.bayfronttechnologies.com/manual.htm Documentation of the DracoSystem. | ||
| DslConferences | 23 Feb 2003 - 16:44 - r1.7 | ArieVanDeursen |
| Conferences / Workshops / Journals / Special Issues devoted to DomainSpecificLanguages. (Listed in reverse chronological ordering of the submission date) Workshop ... | ||
| DsmStudioDisassembler | 24 Oct 2004 - 03:39 - NEW | MikeVanEmmerik |
| http://www.geocities.com/phoenixdis/ From the web page: DSM Studio is a application to aid disassembly and inspection of Windows based executables built for the Intel ... | ||
| DynamicAspects | 24 Jun 2005 - 09:34 - NEW | JeffFoster |
| Homepage: http://www.dynamicaspects.com Developing the domain/object platform. domain/object is a new kind of execution environment that blurs the traditional distinctions ... | ||
| DynamicTranslator | 01 Dec 2001 - 13:14 - NEW | MikeVanEmmerik |
| A translator which performs its transformations as the program is running . Because the user is waiting for the program to actually run while the translation is happening ... | ||
| ECOOP | 14 Nov 2008 - 18:26 - r1.2 | HolgerKienle |
| Homepage: http://www.ecoop.org/ European Conference on Object-Oriented Programming Dates Submission: October Conference: June Past Events : http://www.ecoop.org/conferences ... | ||
| ELAN | 20 Apr 2004 - 07:18 - r1.2 | PierreEtienneMoreau |
| ELAN is an algebraic specification formalism that first introduced RewritingStrategies. Homepage: http://elan.loria.fr Contact: ELAN elan@loria.fr Influences AlgebraicSpecification ... | ||
| ETAPS | 18 Nov 2001 - 08:47 - r1.2 | EelcoVisser |
| The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new conferences and other events that has ... | ||
| ETAPS2001 | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| http://www.disi.unige.it/etaps2001/ | ||
| ETI | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The Electronic Tool Integration Platform (ETI) http://eti.informatik.uni-dortmund.de/ http://www.eti-service.org/ | ||
| EarleyParser | 09 Mar 2004 - 13:06 - NEW | MartinBravenboer |
| Resources Wikipedia | ||
| EclipseLanguage | 05 Dec 2001 - 00:07 - r1.2 | EelcoVisser |
| Homepage: http://www.haley.com/0288108556162049/Eclipse.html PaulHaley CategorySystem Main.EelcoVisser 20 Nov 2001 | ||
| EelcoDolstra | 11 Dec 2001 - 12:09 - NEW | EelcoVisser |
| Homepage: http://www.cs.uu.nl/staff/eelco.html Stratego.RhoStratego CategoryPeople | ||
| EelcoVisser | 30 May 2012 - 10:56 - r1.6 | EelcoVisser |
| Homepages http://eelcovisser.org Stratego.EelcoVisser ProgramTransformation interests Taxonomy Systems Strategies Organization on Rule Based Programming ProgramTransformationOrg ... | ||
| EfficientAnnotatedTerms | 29 Apr 2002 - 07:44 - r1.3 | EelcoVisser |
| M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient Annotated Terms. Software Practice Experience , 30:259-291, 2000. Abstract How do distributed ... | ||
| EiffelLanguage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.eiffel-nice.org Eiffel is an object-oriented programming language that supports multiple inheritance. | ||
| ElegantLanguage | 06 Jul 2005 - 17:59 - r1.2 | KarlTrygveKalleberg |
| Homepage: http://www.research.philips.com/technologies/syst softw/elegant/ Elegant is a compiler implementation language originally built on the paradigm of AttributeGrammars ... | ||
| ElkHound | 03 Jan 2003 - 13:31 - NEW | EelcoVisser |
| Elkhound is a parser generator based on the GLR algorithm. See http://www.cs.berkeley.edu/~smcpeak/elkhound/ Main.EelcoVisser 03 Jan 2003 | ||
| ElliotChikofsky | 14 Mar 2002 - 15:05 - NEW | TWikiGuest |
| Elliot Chikofsky http://pathbridge.net/chikofsky/ CategoryPeople | ||
| EntryPoint | 22 Jan 2002 - 09:05 - r1.6 | EelcoVisser |
| This ProgramTransformationOrg Wiki is a collaborative effort to collect and disseminate information on various aspects of ProgramTransformation, ranging from a general ... | ||
| EvolutionResources | 12 Oct 2006 - 12:30 - r1.4 | TomMens |
| Standards IEEE Std. 610.12 Standard Glossary of Software Engineering Terminology , 1990 IEEE Std. 1219 Standard for Software Maintenance , 1998 ISO/IEC 14764 Software ... | ||
| ExchangeFormat | 02 Mar 2002 - 13:50 - r1.6 | ArieVanDeursen |
| A data exchange format provides a formal notation for the linear description of data to be exchanged between tools. See the ExchangeFormatBibliography for an overview ... | ||
| ExchangeFormatBibliography | 20 Feb 2003 - 11:04 - r1.10 | RudolfFerenc |
| Exchange Format Bibliography by HolgerKienle, JoergCzeranski and ThomasEisenbarth This paper gives a bibliographical overview and a classification of ExchangeFormats ... | ||
| ExeFmt | 15 Aug 2004 - 12:14 - NEW | MikeVanEmmerik |
| ftp://ftp.microsoft.com/Softlib/MSLFILES/EXEFMT.EXE Self-extracting zipped file which contains a description of the New Executable (NE) 16-bit Windows format. Retrieved ... | ||
| ExeToC | 04 Aug 2005 - 01:26 - NEW | MikeVanEmmerik |
| http://sourceforge.net/projects/exetoc This is a decompiler for Win32 executable files, hosted on Windows. For a first release, it's quite good. It seems to have reasonable ... | ||
| Exec2cDecompiler | 12 Aug 2005 - 10:06 - r1.2 | MikeVanEmmerik |
| A beta-release of the decompiler exec2c by Scott Guthery was distributed to beta testers in 1991. The program is copyrighted by `The Austin Code Works and Polyglot ... | ||
| ExplicitReload | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Explicitly reloading pages is necessary in some cases to see updated links after adding new pages to the XT wiki. How to explicitly reload a page is browser specific ... | ||
| ExtensibleStylesheetLanguage | 31 Oct 2001 - 15:25 - NEW | TWikiGuest |
| The Extensible Stylesheet Language (XSL) XSL is a language for expressing stylesheets. It consists of three parts: XSL Transformations (XSLT): a language for transforming ... | ||
| ExternalGraphTools | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Links Leon Moonen's graph tools: http://www.cwi.nl/~leon/hacks/graph-tools/ Graphviz: http://www.research.att.com/sw/tools/graphviz/ | ||
| ExtractorBenchmarks | 10 Oct 2002 - 16:41 - NEW | HolgerKienle |
| ExtractorBenchmarks address the difficulties of FactsExtraction. A benchmark has many applications; it could be used by developers of extractors as a test suite; by ... | ||
| ExtremeProgramming | 10 May 2001 - 07:46 - r1.2 | ArieVanDeursen |
| Fun way of developing software attracting a lot of attention these days. See http://www.c2.com/cgi/wiki?ExtremeProgrammingRoadmap for an extensive (and great!) wiki ... | ||
| FAMIX | 02 Mar 2002 - 13:50 - NEW | ArieVanDeursen |
| Language-independent ExchangeFormat for representing object-oriented source code developed in the FamoosProject. See http://iamwww.unibe.ch/~famoos/FAMIX/ Concepts ... | ||
| FLOC | 18 Dec 2001 - 12:36 - NEW | EelcoVisser |
| Federated Logic Conference Copenhagen 2002: http://floc02.diku.dk/ Included conferences CADE CAV FME ICLP LICS RTA TABLEAUX Dates Submissions: January Conference ... | ||
| FODA | 01 Jul 2001 - 14:08 - NEW | ArieVanDeursen |
| See FeatureOrientedDomainAnalysis | ||
| FSE | 25 Sep 2002 - 08:55 - r1.3 | ArieVanDeursen |
| ACM SIGSOFT Symposium on the Foundations of SoftwareEngineering. Submissions: March Conference: September 2001: http://esec.ocg.at/ 2002: http://www.cs.pitt.edu/FSE ... | ||
| FSF | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| FSF is the Free Software Foundation. http://www.fsf.org http://www.gnu.org | ||
| FabioFioravanti | 06 Dec 2001 - 12:54 - r1.2 | EelcoVisser |
| Homepage: http://www.iasi.rm.cnr.it/~fioravan/ MAPTransformationSystem CategoryPeople | ||
| FactsExtraction | 21 Oct 2002 - 19:22 - r1.2 | HolgerKienle |
| FactsExtraction is the first step of a ReverseEngineering or ReEngineering effort. An extractor (a.k.a. parser or analyzer) processes the LegacySystem's artifacts ... | ||
| FalkeDiplomaSummary | 13 Jan 2005 - 12:00 - r1.2 | MikeVanEmmerik |
| Raimar Falke's Diploma Thesis is written in German. For English readers, I have translated the final section using Google's translation facility and some hand editing ... | ||
| FamoosProject | 02 Mar 2002 - 13:39 - r1.2 | ArieVanDeursen |
| The goal of the FAMOOS Esprit project is to support the evolution of first generation object-oriented software, built with current analysis and design methods and ... | ||
| FastFourierTransform | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| http://www.fftw.org/ | ||
| FatherOfDecompilation | 23 Nov 2001 - 00:30 - r1.6 | MikeVanEmmerik |
| The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ... | ||
| FeatureDiagram | 24 Apr 2002 - 14:21 - r1.4 | JoostVisser |
| Part of the FeatureModel giving a graphical representation of variable and common concept features. Feature diagrams distinguish between mandatory, optional, alternative ... | ||
| FeatureModel | 24 Apr 2002 - 14:21 - r1.5 | JoostVisser |
| A feature model results from DomainAnalysis / DomainEngineering. It covers A description of the individual features The feature commonalities and variabilities of ... | ||
| FeatureModelingWorkshop | 24 Apr 2002 - 14:24 - r1.3 | JoostVisser |
| GCSE`01 Feature Modeling Workshop Motivation and Goals The concept of features is becoming more and more popular in different areas of SoftwareEngineering, such as ... | ||
| FeatureOrientedDomainAnalysis | 05 Jan 2002 - 13:04 - r1.5 | ArieVanDeursen |
| Feature-Oriented DomainAnalysis (FODA). FODA is one of the first DomainEngineering methods. It was developed at the SEI in the early 1990s. It has introduced the FeatureModel ... | ||
| FermaT | 11 Jul 2003 - 07:53 - r1.3 | MikeVanEmmerik |
| Description FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming ... | ||
| FermatTransformationSystem | 16 Aug 2004 - 13:00 - NEW | MikeVanEmmerik |
| FermaT is developed by Software Migrations Ltd, based on the work of Martin Ward (Martin.Ward@durham.ac.uk). FermaT is an industrial strength program transformation ... | ||
| FileAttachment | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| INCLUDE{" TWIKIWEB .FileAttachment"} | ||
| FormsToDotNet | 13 Nov 2004 - 00:54 - NEW | JoseLuizFiadeiro |
| Forms2.net by ATXSoftwareSA is a tool that allows companies to migrate existing Oracle©Forms applications to Microsoft©.NET http://www.atxsoftware.com/?sec products ... | ||
| FortranLanguage | 18 Mar 2002 - 16:00 - r1.4 | TWikiGuest |
| Fortran ( Formula Translation ) is a language for numerical programming. Language definition http://cray-doc.jaist.ac.jp:8080/library/all/007-3694-004 Conversion from ... | ||
| ForwardEngineering | 14 Apr 2002 - 03:22 - r1.2 | ElliotChikofsky |
| The ReverseAndReengineeringTaxonomy defines forward engineering as the traditional process of moving from high-level abstractions and logical, implementation-independent ... | ||
| FoxbaseDecompilers | 09 Aug 2005 - 21:40 - r1.3 | MikeVanEmmerik |
| FoxBase/FoxPro/Clipper I don't know much about Foxbase. Pointers welcome. ReFox http://www.hieroglyphix.co.uk/refox.php from http://www.xitech-europe.co.uk (ReFox ... | ||
| FrancoisFages | 26 Feb 2002 - 22:46 - NEW | EelcoVisser |
| Homepage: http://contraintes.inria.fr/~fages/ WorkshopOnRuleBasedProgramming CategoryPeople | ||
| FrancoiseBalmas | 23 Dec 2001 - 20:39 - NEW | ArieVanDeursen |
| Francoise Balmas http://www.ai.univ-paris8.fr/~fb/ CategoryPeople | ||
| FrankGerhardt | 21 Oct 2001 - 12:40 - NEW | TWikiGuest |
| I don't get it how this Wiki works. ;-) Anyway. See http://losser.st-lab.cs.uu.nl/~visser/cgi-bin/twiki/view/Main/FrankGerhardt Main.TWikiGuest 21 Oct 2001 | ||
| FransFaase | 16 Aug 2004 - 12:30 - NEW | MikeVanEmmerik |
| This is my idea of how I would write a general decompiler: 1.Lets assume, we start with the assembler output of the disassemblers, which already contain the proper ... | ||
| FreeOnLineDictionaryOfComputing | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The Free On-Line Dictionary of Computing on ProgramTransformation: http://www.foldoc.org/foldoc/foldoc.cgi?program+transformation | ||
| FreeSoftware | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description ``Free software is a matter of liberty, not price. To understand the concept, you should think of ``free speech , not ``free beer. ``Free software refers ... | ||
| FreshML | 08 May 2005 - 20:07 - r1.2 | MartinBravenboer |
| Homepage: http://www.cl.cam.ac.uk/users/amp12/freshml/ FreshML is an extension of the programming language ML. The innovation of the language is the extension of ... | ||
| FrontEndART | 10 Aug 2004 - 13:15 - r1.3 | RudolfFerenc |
| FrontEndART provides extractor front ends for the re/reverse engineering community in industry and academia. Our tools produce data that conform to a generally applicable ... | ||
| FunctionalProgramming | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Functional Programming is a programming paradigm in which a program consists of a sequence of function definitions. See also: HaskellLanguage. | ||
| FunctionalProgrammingLanguage | 28 Apr 2005 - 22:24 - r1.2 | Main.wiki |
| In functional ProgrammingLanguages computations are defined through functions that map argument values to result values. In pure functional languages this is the only ... | ||
| FunctionalTransformationSystems | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation ... | ||
| FunctionalTransformationSystemsPaper | 18 Dec 2004 - 22:16 - r1.2 | MikeVanEmmerik |
| Functional Transformation Systems by JanKort, RalfLaemmel, and JoostVisser Available: Draft 1 . From Citeseer: paper. | ||
| GCC | 03 May 2001 - 11:25 - NEW | EelcoVisser |
| Homepage: http://www.gnu.org/software/gcc/ The GNU Compiler Collection | ||
| GCCTransformationFramework | 02 Aug 2002 - 17:11 - NEW | MontyZukowski |
| A transformation framework for ANSI C and C with GCC extensions implemented in ANTLR. Included is a complete ANSI C lexer, GNU C lexer, ANSI C parser, GNU C parser ... | ||
| GCSE | 24 Apr 2002 - 14:25 - r1.3 | JoostVisser |
| Homepage http://gcse2001.cs.rug.nl/ Conference on Generative and Component-Based Software Engineering Deadline: May Conference: September Description (from the conference ... | ||
| GDL | 29 Aug 2001 - 22:23 - NEW | TWikiGuest |
| GDL is an acronym that stands for GraphDescriptionLanguage. | ||
| GEARS | 25 Apr 2002 - 14:48 - r1.2 | JoostVisser |
| GEARS, a product of BigLeverSoftware, provides infrastructure and a development environment for creating software mass customization product lines. Main.JoostVisser ... | ||
| GEL | 30 Aug 2001 - 00:07 - r1.2 | TWikiGuest |
| GEL is an acronym that stands for Graph Exchange Language. Be careful to not confuse with GXL, which also stands for GraphExchangeLanguage. Resources: ftp://ftp.cwi ... | ||
| GHC | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| GHC, the Glasgow Haskell Compiler, is implemented according to the CompilationByTransformation paradigm. http://www.haskell.org/ghc/ | ||
| GML | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| GML is an acronym that stands for GraphModelingLanguage. | ||
| GMake | 29 May 2001 - 17:43 - NEW | TWikiGuest |
| GMake is the Gnu version of the MAKE tool. It has a different `dialect' compared to other versions of the MAKE tool (like the Solaris or Bsd versions). http://www ... | ||
| GNU | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| GNU is a recursive acronym for ``GNU's Not Unix . | ||
| GNUGeneralPublicLicense | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| GNU GENERAL(?) PUBLIC(?) LICENSE(?) Version 2, June 1991 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 1.9 Temple Place, Suite 330, Boston, MA(?) 02111 ... | ||
| GPCE | 24 May 2002 - 09:01 - NEW | EelcoVisser |
| Homepage: http://cs-www.cs.yale.edu/homes/taha/gpce/cfp02.html The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02) A ... | ||
| GPL | 12 Sep 2006 - 11:52 - r1.2 | MikeVanEmmerik |
| GPL is short for the GNU General Public License. See http://gplv3.fsf.org for information on debate about the proposed new version. | ||
| GRAMPS | 20 Jun 2002 - 14:20 - NEW | EelcoVisser |
| Paper: Based Definition of Metaprogramming Systems Main.EelcoVisser 20 Jun 2002 | ||
| GXL | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Short for GraphExchangeLanguage | ||
| GalalGalal | 12 Apr 2002 - 10:10 - NEW | ArieVanDeursen |
| See http://www.unl.ac.uk/simt/staff/galal.shtml CategoryPeople | ||
| GaneshSittampalam | 06 Dec 2001 - 13:07 - r1.2 | EelcoVisser |
| Homepage: http://web.comlab.ox.ac.uk/oucl/work/ganesh.sittampalam/ MAG IntentionalProgramming GaneshSittampalam 21 Aug 2001 CategoryPeople | ||
| GemMex | 24 Jun 2005 - 16:23 - r1.2 | PhilippKutter |
| Homepage: http://www.first.gmd.de/~ma/gemmex/ Gem-Mex is the support environment for the Montages method and stands for "Graphical Editor for Montages and Montages ... | ||
| GenVoca | 24 Apr 2002 - 14:21 - r1.2 | JoostVisser |
| GenVoca is an approach to building software system generators based on composing object-oriented layers. Rather than talking directly to a layer, used layers are included ... | ||
| GenWise | 03 Jan 2006 - 20:38 - NEW | WardBekker |
| Main.WardBekker 03 Jan 2006 With GenWise Studio, a unique template-based IDE, you can generate a professional database-driven Asp.Net 2.0 web application within ... | ||
| GenerationOfSoftwareRenovationFactoriesFromCompilers | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Generation of Software Renovation Factories from Compilers by Alex Sellink and Chris Verhoef. Available: postscript 1 html 2 pdf 3 | ||
| GenerativeCompanies | 17 Oct 2003 - 16:16 - r1.5 | ReengineeringGuest |
| Here are some companies that apply generative programming: BayfrontTechnologies BigLeverSoftware DeltaSoftwareTechnology MontagesSoftwareServices SemanticDesigns CategoryGenerativeProgrammingWiki ... | ||
| GenerativeCoreConcepts | 28 Nov 2002 - 13:22 - r1.6 | KrzysztofCzarnecki |
| Generative Domain Model The key to automating the assembly of software systems is a generative domain model (GDM) that consists of a problem space, a solution space ... | ||
| GenerativeEvents | 28 Jul 2003 - 00:13 - r1.11 | JornBettin |
| Conferences, workshops, and other events related to Generative Programming Calendar The events are ordered reverse chronologically. Feel free to add missing events ... | ||
| GenerativeLinks | 31 Jan 2003 - 06:09 - r1.6 | ChrisRussell |
| This page lists some links related to Generative Programming Sites http://www.generative-programming.org, connected to the GenerativeProgrammingBook Wiki on Transform ... | ||
| GenerativePeople | 09 Nov 2005 - 23:40 - r1.11 | GordonNovak |
| This page list people that are or have been active in the field of Generative Programming. For each person, a brief characterisation of his/her GP activities is given ... | ||
| GenerativeProgramming | 24 Nov 2002 - 22:31 - r1.4 | KrzysztofCzarnecki |
| Here are some definitions of generative programming. 1 The goal of generative programming is to replace manual search, adaptation, and assembly of components with ... | ||
| GenerativeProgrammingBook | 24 Apr 2002 - 14:21 - r1.7 | JoostVisser |
| Generative Programming: Methods, Tools, and Applications. KrzysztofCzarnecki and Ulrich W. Eisenecker. Addison-Wesley, 2000. http://www.generative-programming.org ... | ||
| GenerativeProgrammingWiki | 30 Jan 2006 - 22:01 - r1.9 | MikeVanEmmerik |
| Welcome to the Generative Programming Wiki! The purpose of this wiki is to provide a forum to the GenerativeProgramming community. Browsing and Editing Wiki Pages ... | ||
| GenerativeProgrammingWikiSiteMap | 25 Apr 2002 - 15:00 - r1.2 | JoostVisser |
| TOC Introduction The lists below are generated automatically based on the Category mechanism it may take some time to construct the complete page. If you feel a ... | ||
| GenerativeSuccessStories | 02 May 2002 - 15:08 - r1.2 | IraBaxter |
| This page lists examples of successful application of GenerativeProgramming. The RislaLanguage is a DSL for interest rate products. It was initially developed in the ... | ||
| GenerativeTechniquesInTheContextOfModelDrivenArchitecture | 28 Jul 2003 - 00:22 - r1.6 | JornBettin |
| The first workshop on this topic was very successful, resulting in the GenerativeModelTransformer project. A second workshop is scheduled for 27 October at OOPSLA ... | ||
| GenerativeTools | 09 May 2004 - 17:45 - r1.17 | ChrisRussell |
| This page lists tools that are relevant to generative programming. Only brief descriptions of tools are given. For further information on the various tools, links ... | ||
| GenericHaskell | 13 May 2001 - 22:00 - NEW | EelcoVisser |
| Homepage: http://www.generic-haskell.org/ Generic Haskell is an extension of HaskellLanguage with PolyTypic functions. CategoryLanguage Main.EelcoVisser 13 May ... | ||
| GenericModelingEnvironment | 21 Oct 2002 - 17:10 - NEW | HolgerKienle |
| The Generic Modeling Environment (GME) is a configurable toolkit for creating domain-specific modeling and program synthesis environments. http://www.isis.vanderbilt ... | ||
| GenericProgramming | 24 Apr 2002 - 14:21 - r1.2 | JoostVisser |
| Chapter 6 of GenerativeProgrammingBook defines Generic Programming as: Generic programming is a subdiscipline of computer science that deals with finding abstract ... | ||
| GenericSetup | 02 Apr 2002 - 11:07 - r1.2 | ArieVanDeursen |
| GenericSetup aims to replace Tools.AutoMake, Tools.AutoConf and LibTool. Development has stopped long ago. http://sourceforge.net/projects/gsetup/ | ||
| GeorgiaTech | 23 Mar 2001 - 10:02 - NEW | ArieVanDeursen |
| Georgia Tech, College of Computing, http://www.cc.gatech.edu/ Topics: SoftwareVisualization SoftwareEvolution ProgramUnderstanding ReverseEngineering | ||
| GermanVidal | 11 Nov 2002 - 18:16 - NEW | GermanVidal |
| Homepage: http://www.dsic.upv.es/~gvidal GermanVidal interests: multi-paradigm (functional logic) languages, program transformation, partial evaluation, slicing, ... | ||
| GnuProjectToolKit | 02 Apr 2002 - 11:07 - r1.2 | ArieVanDeursen |
| The GnuProjectToolKit packages Tools.AutoMake, LibTool, Tools.AutoConf, etc. in one package. http://sourceforge.net/projects/osdtk/ | ||
| GopalanNadathur | 06 Dec 2001 - 13:03 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.umn.edu/~gopalan TeyjusSystem LambdaProlog CategoryPeople | ||
| GrammarBasedDefinitionOfMetaprogrammingSystems | 20 Jun 2002 - 14:57 - NEW | EelcoVisser |
| Cameron and Ito. Grammar-Based Definition of Metaprogramming Systems. ACM Transactions on Programming Languages and Systems Vol. 6, No. 1, January 1984, Pages 20-54 ... | ||
| GrammarEngineering | 12 May 2001 - 19:15 - NEW | EelcoVisser |
| Grammar engineering is a form of ProgramTransformation applied to grammars or SyntaxDefinitions to improve tree structure, to adapt the language defined, or to convert ... | ||
| GraphDescriptionLanguage | 14 Oct 2001 - 00:06 - r1.3 | TWikiGuest |
| The Graph Description Language (GDL) of the VCG tool and its successor aiSee describes graphs in terms of nodes, edges, subgraphs and their attributes. The GDL syntax ... | ||
| GraphEd | 20 Oct 2002 - 04:28 - NEW | HolgerKienle |
| GraphEd is an Interactive, Extensible Editor For Graphs and Graph Grammars with lots of Layout and other Algorithms. Homepage: http://www.infosun.fmi.uni-passau.de ... | ||
| GraphExchangeLanguage | 02 Mar 2002 - 13:51 - r1.3 | ArieVanDeursen |
| Originated from graph-based modeling research done in Koblenz see http://www.gupro.de/ and http://www.gupro.de/GXL/ The Graph Exchange Language (GXL) is designed ... | ||
| GraphFormats | 29 Aug 2001 - 22:14 - NEW | TWikiGuest |
| Graph drawing and editing tools typically have their own graph specification format. The format has typically a textual representation that is easy to read and write ... | ||
| GraphModelingLanguage | 29 Aug 2001 - 21:45 - r1.2 | TWikiGuest |
| The Graph Modeling Language (GML) (which is used by Graphlet) has a simple and orthogonal syntax. A GML file consists of key-value pairs. Values can be integers, floats ... | ||
| GraphXML | 09 Feb 2005 - 07:44 - r1.2 | MartinBravenboer |
| GraphXML is a graph description language in XML. For details see http://www.cwi.nl/InfoVisu/GraphXML (broken, but still available here). GraphXML An XML based graph ... | ||
| GraphXML2dot | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Name GraphXML2dot Synopsis GraphXML2dot i graph.gxml.af o graph.dot.af Description The component GraphXML2dot converts a graph in GraphXML format to dot format. Input ... | ||
| GuestBook | 17 Mar 2002 - 04:31 - r1.15 | TWikiGuest |
| You can use this page to give your opinions on this Wiki: tell us what you think! The ReengineeringWiki is rather incomplete and biased towards the current users. ... | ||
| HATS | 06 Jul 2005 - 18:21 - r1.2 | KarlTrygveKalleberg |
| Homepage: http://faculty.ist.unomaha.edu/winter/hats-uno/HATSWEB/index.html A framework for doing higher-order strategic programming. Supports rules and strategies ... | ||
| HOPS | 19 Apr 2004 - 21:32 - r1.2 | MaratBoshernitsan |
| Homepage: http://www.cas.mcmaster.ca/~kahl/HOPS/ HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation ... | ||
| HTML | 18 Mar 2002 - 15:56 - r1.2 | TWikiGuest |
| 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 ... | ||
| HaXml | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.york.ac.uk/fp/HaXml/ HaXml is a domain-specific language for transforming XML documents embedded in HaskellLanguage. | ||
| HackerDisassemblingUncovered | 30 Jul 2004 - 03:18 - NEW | MikeVanEmmerik |
| 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 ... | ||
| HaskellLanguage | 08 May 2005 - 20:01 - r1.2 | MartinBravenboer |
| 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 ... | ||
| HaskellWorkshop | 31 Dec 2001 - 01:04 - NEW | EelcoVisser |
| 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 ... | ||
| HausiMueller | 14 Nov 2008 - 19:03 - r1.2 | HolgerKienle |
| Hausi M ller http://webhome.cs.uvic.ca/~hausi/ CategoryPeople | ||
| HaycoDeJong | 22 Nov 2001 - 11:37 - NEW | EelcoVisser |
| One of the implementors of the Tools.ATermLibrary. CategoryPeople | ||
| HeVeA | 14 Mar 2001 - 07:52 - NEW | EelcoVisser |
| HeVeA is a translator for LaTeX to HTML written in CAML. CategorySystem | ||
| HedzerWestra | 25 Mar 2001 - 12:01 - NEW | TWikiGuest |
| Homepage: http://njutov.warande.net/~pretzel/ hhwestra@cs.uu.nl CobolX | ||
| HeleneKirchner | 06 Dec 2001 - 12:59 - r1.2 | EelcoVisser |
| Homepage: http://www.loria.fr/~hkirchne/ ELAN CategoryPeople | ||
| HelmutPartsch | 06 Dec 2001 - 13:04 - r1.2 | EelcoVisser |
| http://www.informatik.uni-ulm.de/pm/ CategoryPeople | ||
| HenkPenning | 22 Nov 2001 - 14:19 - NEW | EelcoVisser |
| Homepage: http://www.cs.uu.nl/people/henkp/ System administrator at Utrecht University CategoryPeople | ||
| HerbertKuchen | 11 Dec 2001 - 12:11 - NEW | EelcoVisser |
| Homepage: http://danae.uni-muenster.de/lehre/kuchen/ WorkshopOnRuleBasedProgramming CategoryPeople | ||
| Hex-RaysPlugin | 06 Nov 2007 - 21:54 - r1.4 | MikeVanEmmerik |
| 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 ... | ||
| HighPerformanceCompilersForParallelComputing | 02 Dec 2001 - 22:31 - r1.2 | EelcoVisser |
| 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: ... | ||
| HighPerformanceComputing | 02 Dec 2001 - 22:24 - r1.2 | EelcoVisser |
| Generation of code for the FastFourierTransform DigitalSignalProcessors OctaveLanguage SAGA, Stratego.CodeBoost TAMPR http://www.netlib.org/ http://www.nhse.org/ ... | ||
| HigherOrderCompilationProject | 21 Dec 2001 - 17:13 - NEW | EelcoVisser |
| 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 ... | ||
| HistoryOfDecompilation1 | 26 Oct 2009 - 22:59 - r1.19 | MikeVanEmmerik |
| 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 ... | ||
| HistoryOfDecompilation2 | 24 Nov 2005 - 08:18 - r1.20 | MikeVanEmmerik |
| 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 ... | ||
| HistoryOfDecompilation3 | 13 Dec 2007 - 02:28 - r1.6 | MikeVanEmmerik |
| History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ... | ||
| HolgerKienle | 25 Nov 2007 - 07:56 - r1.7 | HolgerKienle |
| Home page: http://holgerkienle.wikispaces.com/ Topics: ExtractorBenchmarks DomainSpecificLanguages ExchangeFormatBibliography RigiSystem CategoryPeople | ||
| HoratiuCirstea | 06 Dec 2001 - 12:50 - r1.2 | EelcoVisser |
| Homepage: http://www.loria.fr/~cirstea/ ELAN RewritingCalculus CategoryPeople | ||
| HtmlRSF | 26 Oct 2002 - 12:40 - r1.2 | ArieVanDeursen |
| 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 ... | ||
| ICFP | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| International Conference on Functional Programming Deadline: March Conference: October PLI, PPDP 2002: http://icfp2002.cs.brown.edu/CfP/ 2001: http://www.cs.luc.edu ... | ||
| ICON | 20 Feb 2002 - 11:33 - NEW | EelcoVisser |
| ICON is a high-level programming language Resources http://www.cs.arizona.edu/icon/ http://www.nmt.edu/tcc/help/lang/icon/references.html Main.EelcoVisser 20 Feb ... | ||
| ICSE | 21 Aug 2001 - 08:57 - r1.4 | ArieVanDeursen |
| International Conference on Software Engineering. Submission: August Conference: May See: http://www.icse-conferences.org/ http://www.acm.org/pubs/contents/proceedings ... | ||
| ICSM | 12 Sep 2004 - 23:41 - r1.6 | MikeVanEmmerik |
| The International Conference on Software Maintenance Deadline: March Conference: September Chicago Illinois, USA (2004) Homepage: http://conferences.computer.org ... | ||
| ICSR | 10 Oct 2001 - 09:39 - NEW | TWikiGuest |
| International Conference on SoftwareReuse 2002: http://asercweb.quase.ualberta.ca/Conferences/ICSR7 Deadline: October Conference: April CategoryConference | ||
| IDAPro | 10 Oct 2009 - 23:11 - r1.8 | MikeVanEmmerik |
| IDA Pro is a commercial program for disassembling a wide array of different file types for different processors, written by Ilfak Guilfanov. It can disassemble virtually ... | ||
| IEEE | 30 Jan 2006 - 22:01 - r1.5 | MikeVanEmmerik |
| The Institue of Electrical and Electronic Engineers, an organisation representing engineering and computer professionsals. http://ieee.org http://computer.org/ (Computer ... | ||
| IFIP | 08 Sep 2001 - 18:52 - NEW | ArieVanDeursen |
| International Federation for Information Processing http://www.ifip.or.at/ Annual IFIP World Computer Congress: http://www.wcc2002.org/en/index.html | ||
| ISSTA | 06 Feb 2002 - 09:37 - NEW | ArieVanDeursen |
| International Symposium on SoftwareTesting and Analysis Every two years. Call for papers: February Conference: July Proceedings: ACM SIGSOFT Software Engineering Notes ... | ||
| IV | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| International Conference on Information Visualization, also dealing with SoftwareVisualization. http://www.graphicslink.demon.co.uk/IV2001/ DigitalLibrary proceedings ... | ||
| IWPC | 09 Sep 2004 - 03:31 - r1.6 | MikeVanEmmerik |
| International Workshop on ProgramComprehension. Submission: January Conference: June 1999: http://www.computer.org/proceedings/iwpc/0179/0179toc.htm 2000: http://www ... | ||
| IWPSE | 09 Jul 2004 - 10:10 - r1.5 | TomMens |
| International Workshop on Principles of Software Evolution IWPSE 2004 IWPSE 2003 CategoryConference CategorySoftwareEvolution | ||
| IdentifyingObjectsUsingClusterAndConceptAnalysis | 17 Nov 2001 - 19:58 - r1.3 | ArieVanDeursen |
| Identifying Objects using Cluster and Concept Analysis ArieVanDeursen and TobiasKuipers. In 21st International Conference on Software Engineering, ICSE-99, 1999, ... | ||
| IeeeSoftware | 14 Nov 2001 - 14:55 - NEW | ArieVanDeursen |
| See http://www.computer.org/software/ http://www.computer.org/software/archives.htm CategoryJournal | ||
| IlogRules | 20 Nov 2001 - 12:54 - NEW | EelcoVisser |
| Homepage: http://www.ilog.com/products/rules/ CategorySystem Main.EelcoVisser 20 Nov 2001 | ||
| ImagixCorporation | 06 Jul 2005 - 19:05 - NEW | JohnBlattner |
| Imagix Corporation produces reverse engineering, quality metrics, and documentation solutions. Imagix provides provides tools and support to help developers work with ... | ||
| ImagixFourD | 06 Jul 2005 - 19:43 - NEW | JohnBlattner |
| Imagix 4D is a ReverseEngineering, metrics and DocumentationGeneration tool for legacy C and C++ software. From ImagixCorporation, Imagix 4D is intended for developers ... | ||
| ImplementationOfTransformation | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Implementation of Program Transformation Systems Here is a list of techniques that are used in the implementation of transformation systems LexicalAnalysis ProgramParsing ... | ||
| ImplementingaProductionRuleBasedProgrammingSystemthroughaGeneralPurposeDataFlowVL | 25 Oct 2001 - 15:51 - NEW | EelcoVisser |
| A paper on a VisualLanguage for RuleBasedProgramming URL: http://vision.unipv.it/research/papers/00tr-prbdfvl/prbdfvl.html CategoryPaper | ||
| ImpossibleToDecompile | 05 Jul 2006 - 05:42 - r1.2 | MikeVanEmmerik |
| There may be a few machine code patterns that are impossible to decompile automatically. These would therefore require expert human intervention to decompile successfully ... | ||
| IndustrialApplicationsOfASFandSDF | 18 May 2001 - 10:18 - NEW | ArieVanDeursen |
| 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 ... | ||
| InfoVis | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| IEEE Symposium on Information Visualization http://www.infovis.org/infovis2001/ Submission: April Conference: October Digital library proceedings: http://www.computer ... | ||
| InjectJ | 08 May 2005 - 20:36 - NEW | MartinBravenboer |
| Inject/J Weaving scripts Source-to-Source Transformation In The Large Additional resources: Website Inject/J Tutorial Inject/J Ein Werkzeug zur skriptgesteuerten ... | ||
| InliningStrategies | 11 Jun 2001 - 07:58 - NEW | ArneDeBruijn |
| Ways to perform the program transformation (function) inlining. Is being worked on as masters project by Master.ArneDeBruijn. Main.ArneDeBruijn 11 Jun 2001 | ||
| InstructionSelection | 08 Jan 2002 - 11:00 - NEW | EelcoVisser |
| See CodeGeneration Main.EelcoVisser 08 Jan 2002 CategoryTransformation ProgramOptimization | ||
| IntegratedDevelopmentEnvironment | 29 May 2001 - 11:13 - NEW | TWikiGuest |
| An IntegratedDevelopmentEnvironment is a tool for software development. Usually it is a graphical tool optimized for Rapid Application Development. It contains an ... | ||
| IntentionalProgramming | 24 Apr 2002 - 14:21 - r1.7 | JoostVisser |
| Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ... | ||
| InterComp | 31 Mar 2002 - 11:30 - NEW | ArieVanDeursen |
| http://www.legacy2web.com/ Established in 1997, Intercomp is a leading international tool developer and solution provider for analyzing, Web-enabling and re-engineering ... | ||
| InteractiveDecompiler | 13 Aug 2007 - 10:33 - NEW | MikeVanEmmerik |
| The Interactive Decompiler http://idc.sourceforge.net/wiki/index.html This is an interactive, extensible assembly language decompiler written in Python. The interactivity ... | ||
| InternationalConferenceonSoftwareMaintenance | 04 Feb 2005 - 12:51 - r1.9 | ReneKrikhaar |
| International Conference on Software Maintenance Homepage: 2001: http://www.dsi.unifi.it/icsm2001/ 2002: http://www.icsm2002.org 2003: http://www.cs.vu.nl/icsm2003 ... | ||
| IntlandCompany | 02 Dec 2001 - 12:09 - NEW | ArieVanDeursen |
| Offers CodeBeamer, a product for browsing, understanding, reengineering Java and C++ systems. http://www.intland.com/ CategoryCompany | ||
| InvitedAuthors | 14 Oct 2001 - 12:16 - NEW | ArieVanDeursen |
| Way of bootstrapping the contents and discussions of a wiki web see http://c2.com/cgi/wiki?InvitedAuthors ArieVanDeursen 14 Oct 2001. | ||
| IraBaxter | 18 Mar 2002 - 15:46 - r1.6 | TWikiGuest |
| Homepage: http://www.semdesigns.com/Company/People/idbaxter/index.html SemanticDesigns DMSSoftwareReengineeringToolkit Coverage For Arbitrary Languages Made Easy ... | ||
| IslandGrammars | 28 Feb 2002 - 23:15 - r1.6 | EelcoVisser |
| Description An island grammar only precisely defines small portions of the syntax of a language. The rest of the syntax is defined imprecisely, for instance as a ... | ||
| JCL | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| IBM's job control language the shell of the mainframe. Designed for easy processing from punch cards of the OS360 system. Significant source of LegacyProblems. The ... | ||
| JMK | 29 May 2001 - 13:58 - NEW | TWikiGuest |
| JMK is an implementation of MAKE in Java. Its syntax is very make like but only Java is supported. http://sourceforge.net/projects/jmk/ | ||
| JOIE | 19 Apr 2004 - 21:41 - r1.2 | MaratBoshernitsan |
| Description JOIE is a system for Java bytecode transformation. References http://www.cs.duke.edu/ari/joie/ Automatic Program Transformation with JOIE: http://www ... | ||
| JQuery | 08 May 2005 - 20:55 - NEW | MartinBravenboer |
| JQuery is query-based source code browser for Java, based on Eclipse. The tool is itself an Eclipse plugin and also uses the infrastructure of Eclipse for parsing ... | ||
| JReversePro | 25 Sep 2004 - 01:47 - NEW | MikeVanEmmerik |
| JReversePro is an open source Java Decompiler / Disassembler written entirely in Java. From the home page: "The utlimate objective of this project is to provide a ... | ||
| JTB | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| See JavaTreeBuilder | ||
| JaTS | 29 Jun 2004 - 22:29 - r1.4 | AdelineSousa |
| Transformation system for the Java programming language. Program transformation is a powerful technique for supporting software engineering activities: refactoring ... | ||
| JakartaToolSuite | 09 Mar 2004 - 10:39 - NEW | MartinBravenboer |
| Bali Bali generate from a single grammar specification: lexical analyzer (JLex) parser (CUP) class hierarchies for tree nodes, including unparsing methods (pretty ... | ||
| JamMR | 29 May 2001 - 12:23 - NEW | TWikiGuest |
| JamMR is a MAKE like tool. It has a MAKE like syntax, but it is `easier' to build Jam files. In my view they lost some of the power of make, though. It is aimed at ... | ||
| JamesCordy | 06 Dec 2001 - 12:52 - r1.3 | EelcoVisser |
| Homepage: http://www.cs.queensu.ca/~cordy/ TXL CategoryPeople | ||
| JamesCross | 28 Dec 2001 - 13:07 - NEW | ArieVanDeursen |
| James Cross http://www.eng.auburn.edu/users/cross/ CategoryPeople | ||
| JamesLarus | 04 Nov 2001 - 21:41 - NEW | EelcoVisser |
| Homepages http://www.research.microsoft.com/~larus/ http://www.cs.wisc.edu/~larus/larus.html CategoryPeople | ||
| JanHeering | 06 Dec 2001 - 12:57 - r1.2 | EelcoVisser |
| Homepage: http://www.cwi.nl/~jan/ ASFandSDF Stratego.CodeBoost CategoryPeople | ||
| JavaAbstractSyntax | 15 Nov 2004 - 15:56 - r1.7 | MartinBravenboer |
| Program transformation systems for Java programs (that is, Java is the object language) usually operate on an abstract syntax representation of the Java source code ... | ||
| JavaCC | 31 Jan 2004 - 12:13 - NEW | MartinBravenboer |
| JavaCC (Java Compiler Compiler) is the most popular parser generator for use with Java applications. Website: https://javacc.dev.java.net/ | ||
| JavaConcreteSyntax | 06 Feb 2004 - 16:38 - NEW | MartinBravenboer |
| For most parser generators there exists a grammar for the Language. Overview: SableCC 1.0.2 1.1 1.4 JavaCC 1.5 ANTLR: Parsers, Part III: A Parser For The Java Language ... | ||
| JavaDecompilerTests | 13 Mar 2003 - 04:01 - r1.6 | MikeVanEmmerik |
| I have collected 9 tests from various places, and tested 9 bytecode to Java decompilers that I could get access to for free. The best one (JODE) only passes 6 of the ... | ||
| JavaDecompilers | 12 Sep 2006 - 11:59 - r1.24 | MikeVanEmmerik |
| TOC Java Bytecode Decompilers Decompilers that read Java bytecode programs usually decompile to Java, since that is the language that the majority of such programs ... | ||
| JavaDynamicCompilers | 17 Jan 2004 - 21:52 - r1.2 | MikeVanEmmerik |
| Sun's HotSpot. See also their white paper and technical report "Mixed-mode Bytecode Execution". Overview of the IBM Java Just-in-Time Compiler. IBM's Jikes RVM (the ... | ||
| JavaIMake | 29 May 2001 - 12:52 - NEW | TWikiGuest |
| Not to be confused with IMake, JavaIMake is a platform independent make processor. It is written in Java and it requires Java to run. It is a commercial product. http ... | ||
| JavaLanguage | 07 Oct 2014 - 13:22 - r1.15 | EelcoVisser |
| Java is an object-oriented language. http://www.java.sun.com/ Compilers Decompilers Dynamic Compilers Native Compilers Transformation Systems Parser Generators Transformation ... | ||
| JavaNativeCompilers | 02 Apr 2002 - 03:47 - NEW | MikeVanEmmerik |
| It seems that most Java native compilers (which allow you to compile your Java source code to native machine instructions) actually read .class files, rather than ... | ||
| JavaOptimization | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| JonathanHardwick describes a number of Java optimizations at http://www.cs.cmu.edu/~jch/java/ | ||
| JavaParserGenerators | 31 Oct 2004 - 14:25 - r1.4 | MartinBravenboer |
| JavaCC LL(1) parser generator producing Java code SableCC LALR parser generator. Generates parse tree and abstract syntax tree classes as well. CUP LALR parser ... | ||
| JavaReflection | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description One of Java's strengths is that it was designed with the assumption that the environment in which it was running would be changing dynamically. Classes ... | ||
| JavaToUMLProject | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| contactinformatie: Matthias van Mourik (mmourik@cs.uu.nl) Vincent van Harmelen( vharmele@cs.uu.nl) projectomschrijving: argouml uitbreiden zodat de omzetting van ... | ||
| JavaTom | 31 Jan 2004 - 12:26 - NEW | MartinBravenboer |
| TOM is a pattern matching compiler, developed at INRIA Website: http://tom.loria.fr/ | ||
| JavaTreeBuilder | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.purdue.edu/jtb/ JTB is a syntax tree builder to be used with the Java Compiler Compiler (JavaCC) parser generator. JensPalsberg | ||
| JeanHenrard | 02 Apr 2003 - 13:42 - NEW | JeanHenrard |
| Contact Information Laboratory of Database Application Engineering (LIBD) University of Namur rue grandgagnage 21d 5000 Namur Belgium e-mail : jean.henrard@info.fundp ... | ||
| JeanMarieFavre | 14 Nov 2002 - 22:01 - r1.2 | JeanMarieFavre |
| home page http://www-adele.imag.fr/~jmfavre I've just understood how Wiki works. That's fun! (well, I still do not understand what is the parent of a page or at least ... | ||
| JensJahnke | 29 Mar 2001 - 11:59 - r1.2 | ArieVanDeursen |
| Jens Jahnke, University of Victoria http://www.csr.uvic.ca/~jens/ CategoryPeople | ||
| JensPalsberg | 06 Dec 2001 - 13:04 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.purdue.edu/people/palsberg JavaTreeBuilder CategoryPeople | ||
| Jiazzi | 08 May 2005 - 20:29 - NEW | MartinBravenboer |
| Website: http://www.cs.utah.edu/plt/jiazzi/ Main.MartinBravenboer 08 May 2005 | ||
| JimBoyle | 06 Dec 2001 - 12:47 - r1.2 | EelcoVisser |
| Designer/implementer of TAMPR. CategoryPeople | ||
| JimNeighbors | 25 Apr 2002 - 14:52 - r1.2 | JoostVisser |
| James M. Neighbors (Jim) is the designer of the DracoSystem. CategoryPeople | ||
| JohanJeuring | 06 Dec 2001 - 12:58 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.uu.nl/~johanj/ ProgramCalculation CategoryPeople | ||
| JohannesMartin | 15 Nov 2008 - 17:16 - NEW | HolgerKienle |
| Homepage: http://www.notamusica.com/~jmartin/ Topics: RigiSystem | ||
| JohnBoyle | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Designer/implementer of TAMPR. | ||
| JohnBrant | 31 Oct 2001 - 08:08 - r1.2 | ArieVanDeursen |
| John Brant homepage: http://st-www.cs.uiuc.edu/users/brant/ SmalltalkRefactory ARefactoringToolForSmalltalk CategoryPeople | ||
| JohnCallahan | 06 Dec 2001 - 12:50 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.wvu.edu/~callahan/ NewJacc CategoryPeople | ||
| JohnGallagher | 06 Dec 2001 - 12:56 - r1.2 | EelcoVisser |
| John Gallagher works in program analysis and transformation of logic programs Homepage: http://www.cs.bris.ac.uk/~john/ CategoryPeople | ||
| JonathanHardwick | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.cmu.edu/~jch/ JavaOptimization | ||
| JoostVisser | 27 Mar 2006 - 21:50 - r1.4 | JoostVisser |
| Homepage: http://www.di.uminho.pt/~joost.visser On Stratego subweb: Stratego.JoostVisser On Main subweb: Main.JoostVisser Affiliation: Universidade do Minho Topics ... | ||
| JornBettin | 10 May 2002 - 10:40 - NEW | JornBettin |
| Jorn Bettin joern.bettin@acm.org http://www.softmetaware.com Transform.CategoryPeople | ||
| JoseLabraGayo | 23 Dec 2001 - 17:21 - NEW | EelcoVisser |
| Homepage: http://horru.lsi.uniovi.es/~labra/ LPS CategoryPeople | ||
| JournalOfPatternMatching | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://qtj.dhs.org/JPM/ QuinTylerJackson | ||
| JournalOfSoftwareMaintenance | 22 Apr 2001 - 19:39 - NEW | TWikiGuest |
| Journal published by John Wiley devoted to SoftwareMaintenance and SoftwareEvolution. See http://www.interscience.wiley.com/jpages/1040-550X/ CategoryJournal | ||
| JournalOfSystemsAndSoftware | 30 Jan 2006 - 22:02 - r1.4 | MikeVanEmmerik |
| Journal of Systems and Software http://www.elsevier.nl/locate/jss On line at: http://www.sciencedirect.com/science? ob JournalURL cdi 5651 auth y acct C000040419 version ... | ||
| JuggerSoft | 28 Apr 2006 - 23:09 - r1.2 | MikeVanEmmerik |
| http://juggersoft.com Also: http://www.sstglobal.com Originally: http://www.sourcecovery.com Note: No "re" and no hyphen; www.source-recovery.com is a different company ... | ||
| JurgenVinju | 22 Feb 2002 - 10:14 - NEW | JurgenVinju |
| Homepage: http://www.cwi.nl/~jurgenv Main.JurgenVinju 22 Feb 2002 | ||
| JustInTime | 13 Dec 2001 - 04:54 - r1.2 | MikeVanEmmerik |
| Just In Time dynamic compilers, also called JITs, are programs that postpone compilation (translation from some input language such as Java ByteCodes) until the code ... | ||
| KHEPERA | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The Khepera Transformation System A system for DSL implementation by source-to-source transformation Khepera is a tool kit for rapid implementation and long-term ... | ||
| KIDS | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| KIDS (Kestrel Interactive Development System) is a prototype TransformationSystem. Homepage: http://www.kestrel.edu/HTML/prototypes/kids.html See also: DougSmith ... | ||
| KarinaOlmos | 11 Dec 2001 - 12:18 - NEW | EelcoVisser |
| Homepage: http://www.cs.uu.nl/staff/karina.html Stratego.StrategoLanguage CategoryPeople | ||
| KarlTrygveKalleberg | 22 Nov 2005 - 19:05 - NEW | KarlTrygveKalleberg |
| Name : Karl Trygve Kalleberg Home Page : http://www.ii.uib.no/~karltk Research Interests: Program Representations, Domain-Specific Languages, Active Libraries, Program ... | ||
| KeithBennet | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| typo. | ||
| KeithBennett | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Keith Bennet is one of the founders of the ResearchInstituteInSoftwareEvolution. http://www.dur.ac.uk/~dcs1elb/personnel/dcs0kb.html CategoryPeople | ||
| KennyWong | 18 Oct 2001 - 08:40 - r1.2 | ArieVanDeursen |
| Kenny Wong http://www.cs.ualberta.ca/~kenw/ Topics: RigiSystem ProgramUnderstanding tools directory. CategoryPeople | ||
| KevinQuitt | 16 Aug 2004 - 02:00 - NEW | MikeVanEmmerik |
| Kevin D. Quitt wrote the following, about his compiler specific approach: 1. The executable has to be examined to see if it's a compressed executable (like what PKLITE ... | ||
| KrzysztofCzarnecki | 30 Oct 2004 - 18:07 - r1.3 | KnutHPedersen |
| Krzysztof Czarnecki http://www.prakinf.tu-ilmenau.de/~czarn/ GenerativeProgrammingBook His currently a faculty member at Electrical and Computer Engineering, University ... | ||
| KungKiuLau | 06 Dec 2001 - 13:01 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.man.ac.uk/~kung-kiu/ CategoryPeople | ||
| LDTA | 02 Jun 2004 - 10:18 - r1.2 | PierreEtienneMoreau |
| Workshop on Language Descriptions, Tools and Applications Description The aim of this one day workshop is to bring together researchers from academia and industry ... | ||
| LEX | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| LEX is a lexical syntax definition formalism based on regular expressions. It was designed to be used in combination with the context-free syntax definition formalism ... | ||
| LNCS | 21 Dec 2001 - 17:09 - r1.2 | EelcoVisser |
| LNCS LectureNotesInComputerScience http://www.springer.de/comp/lncs/index.html | ||
| LOGEN | 04 Mar 2002 - 10:51 - NEW | EelcoVisser |
| Homepage: http://www.ecs.soton.ac.uk/~mal/systems/logen.html LOGEN is an offline partial evaluation system for Prolog written using the so called "cogen approach ... | ||
| LPS | 23 Dec 2001 - 17:20 - NEW | EelcoVisser |
| Homepage: http://lsi.uniovi.es/~labra/LPS/LPS.html LPS is a LanguagePrototyping System based on ModularMonadicSemantics and GenericProgramming A Language Prototyping ... | ||
| LPSALanguagePrototypingSystemUsingModularMonadicSemantics | 23 Dec 2001 - 20:36 - r1.2 | EelcoVisser |
| by JoseLabraGayo and M. C. Luengo Diez and J. M. Cueva Lovelle and A. Cernuda del Rio In Electronic Notes in Theoretical Computer Science 44 No. 2 (2001) http://www ... | ||
| LRR | 20 Nov 2001 - 10:24 - NEW | EelcoVisser |
| LRR: A Laboratory for Rapid Term Rewriting by RakeshVerma CategorySystem Main.EelcoVisser 20 Nov 2001 | ||
| LaTeX | 14 Mar 2001 - 07:51 - NEW | EelcoVisser |
| LaTeX is a document preparation system. HeVeA is a translator for LaTeX to HTML written in CAML. CategoryLanguage | ||
| LambdaMake | 29 May 2001 - 10:26 - NEW | TWikiGuest |
| LamdaMake? is an initiative to extend make with `user defined macro like functions, allowing dependencies to span makefiles'. However, this functionality can be achieved ... | ||
| LambdaProlog | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cse.psu.edu/~dale/lProlog/ LambdaProlog is a logic programming language with HigherOrderAbstractSyntax. TeyjusSystem GopalanNadathur CategorySystem ... | ||
| LambertMeertens | 06 Dec 2001 - 13:02 - r1.2 | EelcoVisser |
| Homepage: http://www.kestrel.edu/HTML/people/meertens/index.html BirdMeertensFormalism CategoryPeople | ||
| LanguagePrototyping | 25 Apr 2001 - 11:22 - NEW | ArieVanDeursen |
| Language Prototyping: An Algebraic Specification Approach ArieVanDeursen, JanHeering, PaulKlint (editors) World Scientific Publishing Co., 1996. AMAST Series in Computing ... | ||
| LaurencePuel | 06 Dec 2001 - 13:06 - r1.2 | EelcoVisser |
| Homepage: http://www.lri.fr/Anglais/Recherche/demons/membres/puel.html ATypedPatternCalculus http://www.lri.fr/Francais/Recherche/demons/membres/Puel-all.html CategoryPeople ... | ||
| LectureNotesInComputerScience | 22 Jan 2003 - 06:23 - r1.2 | MikeVanEmmerik |
| 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 ... | ||
| LegToNet | 13 Nov 2004 - 01:10 - NEW | JoseLuizFiadeiro |
| "From Legacy Systems to Services in the Net" is a Marie-Curie TOK-IAP involving SoftSD and ATXSoftwareSA http://www.cs.le.ac.uk/SoftSD/Leg2Net/ Main.JoseLuizFiadeiro ... | ||
| LegacyCare | 13 Nov 2004 - 00:51 - NEW | JoseLuizFiadeiro |
| L-CARE by ATXSoftwareSA http://www.atxsoftware.com/?sec products it 48 | ||
| LegacySystem | 07 Nov 2001 - 11:07 - NEW | ArieVanDeursen |
| A legacy system is any information system that resists change . See M. L. Brodie and M. Stonebraker. Migrating Legacy Systems: Gateways, Interfaces and the Incremental ... | ||
| LegalIssues | 24 Dec 2006 - 06:15 - r1.10 | MikeVanEmmerik |
| Legal aspects of ReverseEngineering can be complicated. CristinaCifuentes has collected some information on http://www.csee.uq.edu.au/~cristina/cal.html (now somewhat ... | ||
| LegalityOfDecompilation | 10 Nov 2005 - 07:54 - r1.15 | MikeVanEmmerik |
| If decompilation is possible to a certain extent, is it then also allowed? Decompilation can be used for a number of reasons (see WhyDecompilation for more), including ... | ||
| LeonMoonen | 19 Feb 2002 - 15:12 - NEW | ArieVanDeursen |
| http://www.cwi.nl/~leon/ CategoryPeople | ||
| LindaWills | 28 Dec 2001 - 13:14 - NEW | ArieVanDeursen |
| Linda Wills http://users.ece.gatech.edu/~linda/ CategoryPeople | ||
| LispLanguage | 06 Oct 2003 - 16:42 - r1.2 | MartinBravenboer |
| Lisp stands for LISt Processing and was the first Programming Language. Resources: Lisp programming language at the Wikipedia Articles on Lisp at the site of Paul ... | ||
| LittleLanguagesLittleMaintenance | 01 Jan 2002 - 14:56 - r1.3 | ArieVanDeursen |
| Little Languages: Little Maintenance? By ArieVanDeursen and PaulKlint JournalOfSoftwareMaintenance, 10 :75-92, 1998 Abstract So-called little, or DomainSpecificLanguages ... | ||
| LizBurd | 29 Jan 2002 - 19:55 - NEW | ArieVanDeursen |
| Liz Burd http://www.dur.ac.uk/liz.burd/ CategoryPeople | ||
| LoginShouldBeSimple | 14 Nov 2001 - 10:58 - NEW | ArieVanDeursen |
| TWikiRegistration is misused as login / authentication. This complicates stuff using htaccess now EelcoVisser 09 Nov 2001) In order to encourage people to ... | ||
| LoopOptimization | 28 Oct 2002 - 15:07 - NEW | EelcoVisser |
| Kinds of loop optimizations LoopFusion LoopDistribution Systems and compilers that implement loop optimizations SUIF | ||
| LuaLanguage | 11 Nov 2003 - 04:25 - NEW | WillNorris |
| Lua the Programming Language Lua is a powerful light-weight programming language designed for extending applications. Lua is also frequently used as a general-purpose ... | ||
| LuizaDeMacedoMourelle | 06 Dec 2001 - 13:01 - r1.2 | EelcoVisser |
| Homepage: http://www.eng.uerj.br/~ldmm/luiza.html PatternMatching CategoryPeople | ||
| LxLanguage | 14 Nov 2001 - 16:37 - NEW | ChristopheDeDinechin |
| LX is a general purpose compiled programming language, like C, C++, Pascal, Ada or Eiffel. As a language, LX has many interesting features. But what makes it interesting ... | ||
| MAG | 07 Apr 2002 - 02:36 - r1.3 | GaneshSittampalam |
| 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 ... | ||
| MAKE | 02 Apr 2002 - 11:06 - r1.2 | ArieVanDeursen |
| 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 ... | ||
| MAP | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| See MAPTransformationSystem | ||
| MAPTransformationSystem | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| 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 ... | ||
| MDA | 29 Sep 2004 - 06:22 - NEW | MichaelLawley |
| See ModelDrivenArchitecture. CategoryTransformation Main.MichaelLawley 29 Sep 2004 | ||
| MERLIN | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.mcs.le.ac.uk/merlin/ Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001) Deadline: March Conference: June | ||
| MachineCodeDecompilerTests | 01 Aug 2005 - 04:14 - r1.6 | MikeVanEmmerik |
| 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 ... | ||
| MachineCodeDecompilers | 30 May 2007 - 12:20 - r1.44 | MikeVanEmmerik |
| Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ... | ||
| MagneHaveraaen | 06 Dec 2001 - 12:57 - r1.2 | EelcoVisser |
| Homepage: http://www.ii.uib.no/~magne/ Stratego.CodeBoost SAGA CategoryPeople | ||
| ManolisGergatsoulis | 06 Dec 2001 - 12:56 - r1.2 | EelcoVisser |
| Homepage: http://www.iit.demokritos.gr/~manolis CategoryPeople | ||
| MarkLeone | 06 Dec 2001 - 13:10 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.indiana.edu/~mleone/ CategoryPeople | ||
| MarkMinas | 11 Dec 2001 - 12:14 - NEW | EelcoVisser |
| Homepage: http://www2.informatik.uni-erlangen.de/IMMD-II/Persons/Researchers/minas/ WorkshopOnRuleBasedProgramming CategoryPeople | ||
| MarkTullsen | 06 Dec 2001 - 13:08 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.yale.edu/homes/tullsen/ Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant ... | ||
| MarkVanDenBrand | 06 Dec 2001 - 12:48 - r1.2 | EelcoVisser |
| Homepage: http://www.cwi.nl/~markvdb/ ASFandSDF CategoryPeople | ||
| MarkusVoelter | 22 Sep 2002 - 07:54 - NEW | MarkusVoelter |
| for Details see Main.MarkusVoelter Main.MarkusVoelter 22 Sep 2002 | ||
| MartijnSchrage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.uu.nl/staff/martijn.html CategoryPeople | ||
| MartinBravenboer | 01 Apr 2004 - 20:33 - r1.3 | MartinBravenboer |
| See Main.MartinBravenboer CategoryPeople | ||
| MartinFowler | 06 Dec 2001 - 12:55 - r1.2 | EelcoVisser |
| Homepage: http://www.martinfowler.com/ ProgramRefactoring RefactoringImprovingTheDesignOfExistingPrograms http://www.refactoring.com/ CategoryPeople | ||
| MartinWard | 14 Jul 2003 - 00:48 - r1.4 | MikeVanEmmerik |
| Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ... | ||
| MaudeSystem | 25 May 2001 - 21:29 - NEW | EelcoVisser |
| Homepage: http://maude.csl.sri.com/ Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming ... | ||
| MaurizioProietti | 06 Dec 2001 - 13:06 - r1.2 | EelcoVisser |
| Homepage: http://www.iasi.rm.cnr.it/~proietti/ MAPTransformationSystem CategoryPeople | ||
| Maya | 08 May 2005 - 20:27 - NEW | MartinBravenboer |
| Publications Maya: multiple-dispatch syntax extension in Java download Main.MartinBravenboer 08 May 2005 | ||
| McCabeAndAssociates | 23 Dec 2001 - 12:07 - r1.2 | ArieVanDeursen |
| McCabe? Associates http://www.mccabe.com Offers McCabe IQ2 tool suite for SoftwareTesting, ReEngineering, and quality assurance for LegacySystems. Founded by TomMcCabe ... | ||
| MemphisTreeWalker | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The MEMPHIS Tree Builder Tree Walker Tool http://www.combo.org/memphis/index.html | ||
| MerantCompany | 18 Jun 2001 - 11:19 - NEW | ArieVanDeursen |
| Merant ''MERANT Micro Focus provides the most comprehensive and scalable suite of COBOL application analysis, development, integration and testing, and deployment ... | ||
| MercuryLanguage | 10 Apr 2001 - 16:11 - NEW | EelcoVisser |
| Homepage: http://www.cs.mu.oz.au/research/mercury Mercury is a logic programming language with a high-performance compiler. CategoryLanguage | ||
| MerijnDeJonge | 06 Dec 2001 - 12:58 - r1.2 | EelcoVisser |
| Contact information Homepage: http://www.cwi.nl/~mdejonge GenericPrettyPrinter XT GrammarTools GrammarBase XTSoftwareDevelopment ContributionToGB CategoryPeople ... | ||
| MetaAspectJ | 08 May 2005 - 20:12 - NEW | MartinBravenboer |
| 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 ... | ||
| MetaEditPlus | 02 Dec 2002 - 08:13 - r1.3 | JuhaPekkaTolvanen |
| 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. ... | ||
| MetaML | 14 Mar 2002 - 21:26 - r1.2 | TWikiGuest |
| Homepage: http://www.cse.ogi.edu/PacSoft/projects/metaml/ MetaML is an extension of SMLofNJ with MetaProgramming features that support the construction, manipulation ... | ||
| MetaOCaml | 30 Mar 2005 - 16:22 - NEW | KedarSwadi |
| 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 ... | ||
| MetaProgramming | 31 Jan 2006 - 13:59 - r1.5 | GideonKlok |
| 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 | 02 May 2002 - 23:11 - NEW | CraigCleaveland |
| 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 ... | ||
| MichaelLeuschel | 04 Mar 2002 - 10:06 - NEW | EelcoVisser |
| Homepage: http://www.ecs.soton.ac.uk/~mal/ Transformation of Logic Programs LOGEN CategoryPeople | ||
| MichaelPlezbert | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.wustl.edu/~plezbert/ ContinuousCompilers | ||
| MicroAPLLtd | 27 May 2004 - 16:19 - r1.4 | SimonMarsden |
| 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 ... | ||
| MicroAplLtd | 06 May 2005 - 22:44 - NEW | MikeVanEmmerik |
| 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 ... | ||
| MikaelPetersson | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Obsolete | ||
| MikaelPettersson | 06 Dec 2001 - 13:05 - r1.2 | EelcoVisser |
| Homepage: http://www.docs.uu.se/~mikpe/ PatternMatching aTermPatternMatchCompilerInspiredByFiniteAutomataTheory CategoryPeople | ||
| MikeVanEmmerik | 29 Nov 2001 - 11:40 - NEW | MikeVanEmmerik |
| INCLUDE{Main.MikeVanEmmerik} | ||
| MinUML | 16 Dec 2001 - 22:18 - r1.3 | GraemeChandler |
| 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 ... | ||
| MipsTechnologies | 01 Nov 2001 - 22:41 - NEW | EelcoVisser |
| Producers of the Mips Architecture http://www.mips.com Main.EelcoVisser 01 Nov 2001 | ||
| MixedCC | 31 Oct 2004 - 14:26 - NEW | MartinBravenboer |
| 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 | 12 Nov 2004 - 09:41 - r1.2 | PieterVanGorp |
| ModelDrivenArchitecture (MDA) is often presented as a particular approach to ProgramRefinement or, more generally, ProgramSynthesis. Models are usually UML models ... | ||
| ModelRefactoring | 17 Aug 2005 - 15:40 - r1.5 | JeffGray |
| Model refactoring is the equivalent of ProgramRefactoring at model level. Instead of refactoring programs, models are being refactored. Model refactoring is a special ... | ||
| ModelTransformation | 17 Aug 2005 - 15:49 - r1.7 | JeffGray |
| Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ... | ||
| ModernCompilerImplementationInML | 29 Oct 2001 - 11:24 - r1.2 | ArieVanDeursen |
| 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 ... | ||
| MondrianLanguage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.mondrian-script.org MondrianInStratego | ||
| MontagesFramework | 24 Jun 2005 - 16:20 - r1.3 | PhilippKutter |
| 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 ... | ||
| MontagesSoftwareServices | 03 May 2002 - 14:41 - NEW | CraigCleaveland |
| Montages Software Services is a group of software engineers specializing in generative technologies and focused on the financial industry to increase their productivity ... | ||
| MontagesSpecificationsOfRealisticProgrammingLanguages | 24 Jun 2005 - 16:23 - r1.2 | PhilippKutter |
| 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 ... | ||
| MoraleProject | 19 Feb 2002 - 15:14 - r1.2 | ArieVanDeursen |
| The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ... | ||
| MozartDev | 14 Nov 2001 - 16:43 - NEW | ChristopheDeDinechin |
| 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 ... | ||
| MozartProgrammingSystem | 29 May 2001 - 22:22 - NEW | EelcoVisser |
| 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 ... | ||
| MultiLevelSpecifications | 06 Jan 2002 - 17:21 - r1.2 | EelcoVisser |
| EelcoVisser. Multi-level specifications. In ArieVanDeursen, JanHeering, and PaulKlint, editors, LanguagePrototyping. An Algebraic Specification Approach , volume 5 ... | ||
| NDoc | 16 Dec 2002 - 19:46 - NEW | EelcoVisser |
| NDoc is source code documentation tool for C#, the language of the DotNet framework. Using NDoc: Adding World-Class Documentation to Your .NET Components Main.EelcoVisser ... | ||
| NeFormat | 13 Feb 2003 - 22:28 - r1.2 | MikeVanEmmerik |
| New-style EXE Format An executable (.EXE) file for the Windows operating system contains a combination of code and data or a combination of code, data, and resources ... | ||
| NeliacDecompiler | 04 Feb 2005 - 13:00 - r1.5 | MikeVanEmmerik |
| Tom Moran wrote: A working decompiler for NELIAC, an Algol 58 derivative language not too unlike C, is described (including source listing) in Appendix D in "Machine ... | ||
| NetronCompany | 18 Jun 2001 - 11:25 - NEW | ArieVanDeursen |
| Netron ''Accelerating e-business through legecy renewal'' http://www.netron.com/ Product: HotRod, for the purpose of application mining for COBOL systems, which is ... | ||
| NewJacc | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cs.wvu.edu/~callahan/software.html a parser generator system built upon Sun Microsystems JavaCC tool and the PurdueUniversity Java Tree Builder ... | ||
| NjmcTk | 15 Aug 2004 - 12:23 - NEW | MikeVanEmmerik |
| http://www.eecs.harvard.edu/~nr/toolkit/ The New Jersey Machine-Code (NJMC) Toolkit helps programmers write applications that process machine code assemblers, disassemblers ... | ||
| ODM | 15 May 2001 - 18:56 - NEW | ArieVanDeursen |
| Short for OrganizationDomainModeling Main.ArieVanDeursen 15 May 2001 | ||
| OOPSLA | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://oopsla.acm.org/ Conference on Object-Oriented Programming, Systems, Languages and Applications Deadline: April Conference: October see also: TransformationConferences ... | ||
| OOReengineeringPatterns | 21 Aug 2003 - 21:49 - NEW | SergeDemeyer |
| Object-Oriented Reengineering Patterns is a book by Serge Demeyer, Stéphane Ducasse and Oscar Nierstrasz, published by Morgan Kaufmann and DPunkt. As the title says ... | ||
| OPTIMIX | 03 May 2001 - 13:19 - NEW | EelcoVisser |
| Description OPTIMIX is a specification language for the specification of optimizers based on graph rewriting developed by UweAssman at the University of Karlsruhe ... | ||
| OPTRAN | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description OPTRAN LMW88 is a specification language for attributed tree transformation written by Reinhard Wilhelm at the University of Saarlandes in the early 1980 ... | ||
| ObjectIdentification | 17 Nov 2001 - 20:05 - r1.5 | ArieVanDeursen |
| Object Identification is the search for candidate classes in a (procedural) LegacySystem See, for example, the following papers and their references: Maarit Haarsu ... | ||
| ObjectOrientedFramework | 02 Jan 2002 - 14:12 - r1.10 | ArieVanDeursen |
| A framework is a set of classes that embodies an abstract design for solutions to a family of related problems (RalphJohnson and B. Foote, Journal of Object-Oriented ... | ||
| ObjectOrientedProgrammingLanguage | 10 Apr 2001 - 16:26 - NEW | EelcoVisser |
| Examples of object-oriented programming languages are Simula67 BETA CPP JavaLanguage CategoryLanguage | ||
| ObjectOrientedRules | 25 Oct 2001 - 14:24 - NEW | EelcoVisser |
| Description of the language R++ from http://www.research.att.com/sw/tools/r++/ : R++ extends the C++ language with a single new programming construct the rule. In ... | ||
| ObjectOrientedTreeTraversalWithJJForester | 30 Jan 2004 - 16:38 - r1.2 | MartinBravenboer |
| Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ... | ||
| OctaveLanguage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.che.wisc.edu/octave/ Octave is a high-level language, primarily intended for numerical computations. It is an open source alternative to MatLab ... | ||
| OegeDeMoor | 04 Apr 2007 - 18:44 - r1.4 | OegeDeMoor |
| Homepage: http://web.comlab.ox.ac.uk/oucl/people/oege.demoor.html CEO of Semmle, a company that develops .QL, an optimising implementation of Datalog for code queries ... | ||
| OldProgramTransformation | 30 Apr 2001 - 21:14 - r1.2 | EelcoVisser |
| Definition Program transformation is the act of changing one program into another. The term program transformation is also used for a program, or any other description ... | ||
| OlivierDanvy | 09 Sep 2001 - 19:59 - NEW | EelcoVisser |
| Homepage: http://www.brics.dk/~danvy/ PartialEvaluation SimilixSystem CategoryPeople | ||
| OnInverseOfCompiling | 04 Feb 2005 - 13:24 - r1.4 | MikeVanEmmerik |
| ON THE INVERSE OF COMPILING W.L. Caudle Sperry-UNIVAC 26 April 1980 1. INTRODUCTION It is fitting that the subject of program conversion aids and portability be a ... | ||
| OnInverseOfCompiling2 | 04 Feb 2005 - 13:26 - r1.3 | MikeVanEmmerik |
| 7. SUMMARY A decompiler model has been described which was implemented and which achieved a relatively high figure of merit. There are, however, many fundamental ... | ||
| OneMinuteWiki | 26 Feb 2003 - 13:14 - r1.7 | ReengineeringGuest |
| Read: You can use this web site like any other. Navigate: This website has some extra features not found on most other websites. For example, all internal links are ... | ||
| OpenCpp | 11 May 2001 - 10:55 - r1.2 | ArieVanDeursen |
| Open C++ is a version of CPP with the Metaobject Protocol providing reflection capabilities. The programmer who want to use Open C++ writes a meta-level program, which ... | ||
| OpenJava | 08 May 2005 - 19:55 - NEW | MartinBravenboer |
| OpenJava: A Class-Based Macro System for Java (pdf) Additional resources: OpenJava website OpenJava tutorial Master thesis on OpenJava: An Extension Mechanism for ... | ||
| OpenSource | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The OpenSource movement propagates distribution of software with its source code . http://www.opensource.org http://www.gnu.org/ http://www.gnu.org/philosophy/license ... | ||
| OpenSourceAcademicSoftware | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Abstract In an idealized world, researchers work together to incrementally build an edifice of knowledge, and to disseminate this knowledge in accesible and usable ... | ||
| OrganizationDomainModeling | 03 Dec 2001 - 13:49 - r1.3 | ArieVanDeursen |
| DomainEngineering methodology devised by Mark Simos and co-authors. The major steps include Plan domain: Set objectives, analyze stakeholde Scope domain: selection ... | ||
| OsasAuthors | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| MerijnDeJonge EelcoVisser JoostVisser | ||
| OsasCaseStudy | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ... | ||
| OsasIntroduction | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Why Researchers should produce Open Source Software Many research activities, escpecially in the field of computer science, involve the development of software. Sometimes ... | ||
| OsasMethodology | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| A Methodology for Developing Open Source Software integration tests configuration completeness / bundling of tools The CVS manual has the following to say: A true ... | ||
| OsasReferences | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Further Reading on Open Source and Tool Distribution Open Source Software The idea of free software originates in the Free Software Foundation (FSF). The GNU tools ... | ||
| OsasRequirements | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Requirements of Academic Software For published software to be effective it should satisfy the following requirements. Open source Platform independent Testing Interface ... | ||
| OsasTechnology | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Technology for Production of Open Source Distributions automake autoconf GNU tools build files package configuration bundle configuration WikiWiki CVS Next: OsasCaseStudy ... | ||
| OtherProgramTransformationTools | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Obsolete | ||
| OtherTransformationSites | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Here is a list of other websites with collections of information related to ProgramTransformation: RewritingHomePage A Directory of Program Transformation Systems ... | ||
| OtherWebs | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ... | ||
| OttoSkroveBagge | 11 Dec 2001 - 11:55 - NEW | EelcoVisser |
| Homepage: http://www.ii.uib.no/~otto/ Stratego.CodeBoost CategoryPeople | ||
| PADL | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.seclab.cs.sunysb.edu/padl/ Workshop on Practical Aspects of Declarative Languages Deadline: October 10 Workshop: March | ||
| PADOII | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.brics.dk/pado2/ Symposium on Programs as Data Objects Deadline: November Symposium: May | ||
| PARLANSE | 30 Apr 2002 - 10:32 - r1.4 | ArieVanDeursen |
| Homepage: http://www.semdesigns.com/Products/Parlanse/index.html A Parallel Language for Symbolic Expression Designed to support irregular parallel computations, ... | ||
| PASTE | 04 Jan 2002 - 14:48 - r1.2 | ArieVanDeursen |
| ACM SIGPLAN-SIGSOFT Workshop on ProgramAnalysis for Software Tools and Engineering 2002: http://www.cis.ksu.edu/~santos/paste2002/ 2001: http://www.infosun.fmi.uni ... | ||
| PATH | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Programmer Assistant for Transforming Haskell A system for transformation of HaskellLanguage programs by MarkTullsen. | ||
| PBS | 16 Mar 2001 - 07:59 - NEW | TWikiGuest |
| PortableBookShelf | ||
| PCCTS | 30 Apr 2001 - 10:11 - NEW | EelcoVisser |
| PCCTS is the Purdue Compiler Construction Tool Set of TerenceParr that contains ANTLR and SORCERER. | ||
| PEExplorer | 16 Jul 2005 - 23:03 - r1.3 | MikeVanEmmerik |
| Commercial tool. From the web page: PE Explorer is a tool for inspecting and editing the inner workings of Windows 32-bit executable files: EXE, DLL, OCX, and several ... | ||
| PEPM | 11 Aug 2004 - 11:42 - r1.3 | MikeVanEmmerik |
| Homepages: 2004: http://profs.sci.univr.it/~pepm04/ 2003: http://www.ecs.soton.ac.uk/~mal/PEPM03/ 2002: http://www.informatik.uni-freiburg.de/~thiemann/pepm02/ 2000 ... | ||
| PLDI | 09 Sep 2004 - 03:19 - r1.2 | MikeVanEmmerik |
| Homepage: http://www.acm.org/sigs/sigplan/pldi.htm 2005 : http://www.research.ibm.com/pldi2005/ Programming Language Design and Implementation Deadline: November ... | ||
| PLI | 07 Dec 2001 - 10:51 - r1.2 | EelcoVisser |
| Principles, Logics, and Implementations of high-level programming languages Submissions: March Conference: October Main conferences: ICFP, PPDP 2002: http://pli2002 ... | ||
| POPL | 04 Jun 2001 - 21:51 - r1.2 | EelcoVisser |
| Homepage: http://www.acm.org/sigplan/popl.htm Principles of Programming Languages Deadline: July Conference: January 2002: http://www.cse.ogi.edu/PacSoft/conf/popl ... | ||
| PPDP | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The International Conference on Principles and Practice of Declarative Programming http://pauillac.inria.fr/~fages/PPDP/ Deadline: March Conference: September PLI ... | ||
| PREA | 15 Mar 2002 - 13:49 - r1.2 | AndreyATerekhov |
| PREA Panel on Reverse Engineering and Architectural evolution Co-located with CSMR 2002 Tuesday 12 March 2002, 14:00 16:00 ReverseEngineering is the process of recovering ... | ||
| PROSPECTRA | 06 Jul 2005 - 18:51 - r1.2 | KarlTrygveKalleberg |
| PROSPECTRA is the acronym for PROgram development by SPECification and TRAnsformation In the methodology of PROgram development by SPECification and TRAnsformation ... | ||
| PackageDocumentationTemplate | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Name Package name. Description Package description. Components List of components of the package. Documentation for these components can be formatted according to ... | ||
| PageLayout | 17 Nov 2001 - 20:01 - r1.4 | ArieVanDeursen |
| Is it true that people find the current layout too full? Main.ArieVanDeursen The new layout only has a sidebar for navigation. Is this satisfactory? Main.EelcoVisser ... | ||
| PalmProgramming | 01 Aug 2002 - 13:17 - NEW | EelcoVisser |
| Resources for programming for the PalmOS. Main.EelcoVisser 01 Aug 2002 Brian's Pilot Software Page | ||
| PanLanguage | 05 Nov 2005 - 20:31 - r1.2 | ConalElliott |
| Homepage: http://conal.net/Pan Pan is a functional language for image manipulation designed by ConalElliott. ConalElliott and OegeDeMoor describe an implementation ... | ||
| PancitoLibrary | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.andrewcooke.free-online.co.uk/jara/pancito/index.html Pancito is a HaskellLanguage library for image manipulation created by AndrewCooke based ... | ||
| PanosLinos | 27 Aug 2002 - 20:04 - r1.2 | TWikiGuest |
| Panos Linos Home page: http://www.butler.edu/~linos/ CategoryPeople | ||
| ParallelApplicationSoftwareOnHigh | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ... | ||
| ParallelApplicationSoftwareOnHighPerformanceComputers | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ... | ||
| ParseTree | 09 Mar 2004 - 13:09 - r1.4 | MartinBravenboer |
| A parse tree is a tree representation of the result of parsing a list of characters. A real parse tree contains the full inputstream. It then allows a yield operation ... | ||
| PartialEvaluation | 13 Feb 2003 - 22:42 - r1.4 | EelcoVisser |
| Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of the input that is known statically (at specialization time). Partial ... | ||
| PatriciaJohann | 03 Jan 2002 - 10:18 - r1.2 | EelcoVisser |
| Homepage: http://www.dickinson.edu/~johannp/ Stratego.WarmFusionInStratego Stratego.HSX Stratego.FusingLogicAndControl CategoryPeople | ||
| PatternByExample | 17 Oct 2003 - 16:47 - NEW | ReengineeringGuest |
| Pattern By Example (PBE) provides a mechanism to implement code patterns for any target language instead of applying the same theoretical concepts again and again ... | ||
| PatternMatching | 05 May 2001 - 22:35 - NEW | EelcoVisser |
| Resources Pattern Matching Pointers : http://www.cs.purdue.edu/homes/stelo/pattern.html Definition Term pattern matching comes in many variations. The basic problem ... | ||
| PaulHaley | 05 Dec 2001 - 00:09 - NEW | EelcoVisser |
| Homepage: http://www.haley.com EclipseLanguage RuleBasedProgramming CategoryPeople | ||
| PaulKlint | 06 Dec 2001 - 13:00 - r1.2 | EelcoVisser |
| Homepage: http://www.cwi.nl/~paulk/ ASFandSDF SoftwareImprovementGroup CategoryPeople | ||
| PcExeFormat | 13 Feb 2003 - 22:28 - r1.2 | MikeVanEmmerik |
| PC Executable Format Format of EXEC parameter block for AL 00h,01h,04h: Offset Size Description (Table 0877) 00h WORD segment of environment to copy for child process ... | ||
| PeDump | 11 Dec 2004 - 06:38 - r1.2 | MikeVanEmmerik |
| Can be downloaded from a link near the top of An In-Depth Look into the Win32 Portable Executable File Format, Part 2. Self-extracting zipped file which contains a ... | ||
| PeggyStorey | 04 Oct 2001 - 14:49 - NEW | ArieVanDeursen |
| I'm Peggy! http://www.csr.uvic.ca/~mstorey/ I'm interested in SoftwareVisualization SoftwareArchitecture InformationVisualization | ||
| PenningtonSystemsInc | 28 Oct 2002 - 23:07 - NEW | StephenHeffner |
| Pennington Systems Incorporated was founded in 1977 to create and market systems software. Our main product is XTRAN, an expert system for manipulating computer languages ... | ||
| PeterAiken | 14 Jan 2002 - 14:06 - NEW | ArieVanDeursen |
| http://aiken.isy.vcu.edu/ CategoryPeople | ||
| PeterMosses | 06 Dec 2001 - 13:02 - r1.2 | EelcoVisser |
| Homepage: http://www.brics.dk/~pdm/ ActionSemantics CategoryPeople | ||
| PhilipWadler | 06 Dec 2001 - 13:09 - r1.3 | EelcoVisser |
| Homepage: http://cm.bell-labs.com/cm/cs/who/wadler/ DeForestation CategoryPeople | ||
| PhilippKutter | 24 Jun 2005 - 16:23 - r1.2 | PhilippKutter |
| Homepage: http://www.kutter.org/ MontagesFramework GemMex CategoryPeople | ||
| PieterOlivier | 11 Dec 2001 - 12:16 - NEW | EelcoVisser |
| Homepage: http://dbs.cwi.nl:8080/cwwwi/owa/cwwwi.print people?ID 147 Tools.ATermLibrary CategoryPeople | ||
| PilerSystem | 07 Jul 2003 - 08:00 - r1.2 | MikeVanEmmerik |
| The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ... | ||
| PlayingByTheRules | 11 Dec 2001 - 12:22 - NEW | EelcoVisser |
| Playing by the Rules: Rewriting as an Optimization Technique in GHC by SimonPeytonJones, AndrewTolmach and TonyHoare, In Proceedings of the 2001 Haskell Workshop ... | ||
| PolyglotFramework | 08 May 2005 - 19:39 - r1.2 | MartinBravenboer |
| Extensible Compiler Framework Website: http://www.cs.cornell.edu/Projects/polyglot/ Polyglot is a Java class library that is easily extended through inheritance to ... | ||
| PolyglotParserGenerator | 08 May 2005 - 19:38 - r1.2 | MartinBravenboer |
| PPG is a parser generator for extensible grammars, based on the CUP parser generator. It provides the ability to extend an existing base language grammar written in ... | ||
| PopArt | 06 Jul 2005 - 18:45 - r1.2 | KarlTrygveKalleberg |
| Homepage: http://www.isi.edu/software-sciences/wile/Popart/popart.html (Dead link, possible substitution: http://mr.teknowledge.com/wile/popart.html) Popart provides ... | ||
| PortableBookShelf | 07 Nov 2001 - 12:13 - r1.3 | ArieVanDeursen |
| PBS: The Portable Bookshelf Introduction The Software Bookshelf is a web-based paradigm for the presentation and navigation of information representing large software ... | ||
| PortasmTranslationTool | 09 Aug 2005 - 22:03 - NEW | MikeVanEmmerik |
| http://www.microapl.co.uk/Porting/PortAsm.html PortAsm is a tool which translates assembly language source written for one processor into assembler source for another ... | ||
| PortlandPatternRepository | 16 Sep 2001 - 19:04 - r1.2 | ArieVanDeursen |
| The mother of all wiki's. See http://www.c2.com/cgi/wiki?WelcomeVisitors http://www.c2.com/cgi/wiki?WikiHistory | ||
| PracticalExperienceWithAnApplicationExtractorForJava | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Frank Tip, Chris Laffra, Peter F. Sweeny, David Streeter. Practical Experience with an Application Extractor for Java . In Proceedings of the Fourteenth Annual Conference ... | ||
| PracticalReusableUNIXSoftware | 02 Apr 2002 - 09:38 - r1.2 | TWikiGuest |
| Practical Reusable UNIX Software Krishnamurthy (editor) John Wiley Sons, 1995. Book about a collection of software from AT T Research Labs including AcaCia / CIAO ... | ||
| PracticalSoftwareMaintenance | 30 Jan 2006 - 22:04 - r1.4 | MikeVanEmmerik |
| Practical Software Maintenance: Best Practices for Managing your Software Investment by Tom Pigoski, John Wiley, 1997. Text book on SoftwareMaintenance, with strong ... | ||
| PrestonBriggs | 06 Dec 2001 - 12:49 - r1.2 | EelcoVisser |
| Homepage: http://www.crpc.rice.edu/MSCP/preston.html CategoryPeople | ||
| PrettyPrinting | 12 May 2001 - 19:18 - NEW | EelcoVisser |
| Pretty-printing is mapping a structured (tree) representation of a program to a textual representation of that program in such a way that resulting program is readable ... | ||
| ProViewDisassembler | 23 Jan 2005 - 03:16 - NEW | MikeVanEmmerik |
| http://pvdasm.reverse-engineering.net/ ProView is a Pentium disassembler, PE (Windows Binary) editor, hex rditor, process manager, and it has a Plugin SDK. The whole ... | ||
| ProcedurePositioning | 01 Dec 2001 - 14:05 - NEW | MikeVanEmmerik |
| The idea is to find what procedures (functions, methods) call each other the most, and keep those near each other (in terms of virtual address). This maximizes the ... | ||
| ProcedureSplitting | 01 Dec 2001 - 14:01 - NEW | MikeVanEmmerik |
| With this technique, procedures are split into two parts, the main part (predicted to be executed frequently), and the "fluff" (code such as error recovery that is ... | ||
| ProgramAnalysis | 23 Oct 2001 - 19:10 - r1.2 | ArieVanDeursen |
| ProgramAnalysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range ... | ||
| ProgramCalculation | 01 Apr 2002 - 08:57 - NEW | EelcoVisser |
| A methodology for deriving implementations from specifications. See also synthesis, refinement, Meertens Formalism. Main.EelcoVisser 01 Apr 2002 | ||
| ProgramCompilation | 02 Dec 2001 - 20:13 - r1.3 | EelcoVisser |
| Compilation is a form of synthesis in which a program in a high-level language is transformed to machine code. This translation is usually achieved in several phases ... | ||
| ProgramComprehension | 19 Feb 2002 - 15:38 - r1.2 | ArieVanDeursen |
| See ProgramUnderstanding CategoryProgramUnderstanding | ||
| ProgramComprehensionRisksAndOpportunitiesInXP | 02 Sep 2002 - 22:06 - r1.6 | MartinBravenboer |
| Program Comprehension Risks and Opportunities in Extreme Programming ArieVanDeursen , CWI, May 2001. Proceedings WCRE 2001, IEEE Computer Society. Abstract We investigate ... | ||
| ProgramComprehensionRisksAndOpporunitiesInXP | 10 May 2001 - 07:54 - NEW | ArieVanDeursen |
| See ProgramComprehensionRisksAndOpportunitiesInXP | ||
| ProgramDerivation | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Program derivation is a kind of ProgramTransformation in which an (efficient) implementation is derived from a (high-level) specification. If the specification can ... | ||
| ProgramGeneratorsEmailList | 25 Apr 2002 - 14:15 - NEW | JoostVisser |
| The email list is described at: http://www.craigc.com/pg/email.html. This list is used for discussions on GenerativeProgramming, and postings of calls for papers for ... | ||
| ProgramGeneratorsWithXMLAndJava | 03 May 2002 - 01:44 - r1.2 | CraigCleaveland |
| by Main.CraigCleaveland Prentice-Hall, 2001 http://craigc.com/pg CategoryGenerativeProgrammingWiki CategoryBook Main.CraigCleaveland 02 May 2002 | ||
| ProgramMigration | 30 Jan 2006 - 22:04 - r1.4 | MikeVanEmmerik |
| Program migration is a ProgramTransformation aimed at adapting a program to a new (or old) version of the language. See also SoftwareMaintenance Where does this definition ... | ||
| ProgramNormalization | 28 Feb 2002 - 23:15 - r1.3 | EelcoVisser |
| A normalization reduces a program to a program in a sub-language, with the purpose of decreasing its syntactic complexity. Desugaring is a kind of normalization in ... | ||
| ProgramObfuscation | 29 Sep 2005 - 03:06 - r1.5 | MikeVanEmmerik |
| Obfuscation is a ProgramTransformation that makes a program harder to understand by renaming variables, inserting dead code, etc. Obfuscation is done to hide the business ... | ||
| ProgramOptimization | 28 Oct 2002 - 15:05 - r1.12 | EelcoVisser |
| ProgramOptimization is a kind of ProgramTransformation aimed at improving the time or memory performance of a program. CompilationByTransformation makes heavy use ... | ||
| ProgramParsing | 09 Mar 2004 - 12:52 - r1.4 | MartinBravenboer |
| TransformationSystems usually work on tree of graph structured ProgramRepresentations. A parser analyzes the syntactic structure of a program text and produces a structured ... | ||
| ProgramRefactoring | 04 Oct 2004 - 19:01 - r1.20 | TomMens |
| Definition Refactoring is typically applied at the level of programs (i.e., source code). A program refactoring is a program transformation that improves the design ... | ||
| ProgramRefinement | 03 Sep 2002 - 15:08 - r1.2 | SebastianPop |
| ProgramRefinement is a special case of ProgramSynthesis in which an (efficient) implementation is derived from a high-level specification such that the implementation ... | ||
| ProgramRepresentation | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Programs can be represented in various ways in ProgramTransformationTools. AbstractSyntaxTree DirectedAcyclicGraph Graph Objects Particularly important/problematic ... | ||
| ProgramSpecialization | 04 Dec 2001 - 10:52 - r1.2 | EelcoVisser |
| ProgramSpecialization is used where a variable is known to often hold one particular value. In this case, it is possible to generate code taking advantage of this ... | ||
| ProgramSynthesis | 29 Sep 2002 - 18:12 - r1.3 | MaD |
| Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting ... | ||
| ProgramTransformation | 30 Jan 2006 - 22:05 - r1.23 | MikeVanEmmerik |
| (See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ... | ||
| ProgramTransformationMaintainers | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| ProgramTransformationOrg was set up by EelcoVisser. Contributions are welcome. | ||
| ProgramTransformationOrg | 02 Dec 2001 - 09:47 - r1.4 | EelcoVisser |
| Program-transformation.org is dedicated to collecting, organizing and disseminating information about all aspects of ProgramTransformation. The site is completely ... | ||
| ProgramTransformationOrgHistory | 09 Nov 2001 - 10:18 - r1.2 | EelcoVisser |
| See WebNews | ||
| ProgramTransformationOrgSponsors | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| http://www.cs.uu.nl/~visser/program-transformation/sol.gif The program-transformation.org domain is hosted by Universiteit Utrecht and managed by EelcoVisser. The ... | ||
| ProgramTransformationSurvey | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| See TheOnlineSurveyOfProgramTransformation | ||
| ProgramTransformationTasks | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Wiki Technology What is a good way to collect bibliographical information in a WikiWikiWeb? JoostVisser: One way to do it is to have one wiki page per publication ... | ||
| ProgramTransformationTools | 04 Mar 2001 - 08:41 - NEW | EelcoVisser |
| Description This page discusses terminology, principles, and issues concerning tools for ProgramTransformation. Principles ProgramTransformationTools have much in ... | ||
| ProgramTransformationWorkshop | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.ipl.t.u-tokyo.ac.jp/~caca/ptw00/ Program Transformation Workshop | ||
| ProgramUnderstanding | 04 May 2004 - 05:06 - r1.19 | AndrewWalenstein |
| The UVicReverseEngineeringTutorial defines program understanding as The task of building mental models of the underlying software at various abstraction levels, ranging ... | ||
| ProgramUnderstandingToolsDirectory | 01 Mar 2002 - 20:19 - r1.2 | ArieVanDeursen |
| Repository of program understanding tools set up by KennyWong. http://www.cs.ualberta.ca/~kenw/toolsdir/ Unfortunately not a very active site: it contains five tools ... | ||
| ProgrammingEnvironments | 02 Aug 2002 - 17:07 - r1.2 | MontyZukowski |
| This is a collection of links to programming environments, either specific to a language or platform, or generic; either integrated or composed of command-line tools ... | ||
| ProgrammingLanguages | 11 Nov 2003 - 04:23 - r1.13 | WillNorris |
| Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ... | ||
| ProgrammingToolsGroup | 27 Aug 2001 - 23:50 - NEW | EelcoVisser |
| Homepage: http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/ The Programming Tools Group at Oxford University CategoryGroup | ||
| PromotingParticipation | 23 Nov 2002 - 14:46 - r1.4 | ArieVanDeursen |
| Anyone welcome to participate! Issues Ensure that all pages are reachable by google. LoginShouldBeSimple InvitedAuthors Announce on various email / news groups Present ... | ||
| PropLanguage | 06 Jul 2005 - 18:47 - r1.2 | KarlTrygveKalleberg |
| Homepage: http://www.cs.nyu.edu/leunga/prop.html Prop is a multiparadigm extension of C++, and is designed for building high performance compiler and language transformation ... | ||
| PublicationsOnGenerativeProgramming | 03 Sep 2003 - 18:54 - r1.2 | EelcoVisser |
| This page lists some publications on, or strongly related to, GenerativeProgramming. For a full list of publications discussed on this wiki, have a look at CategoryPaper ... | ||
| PumaLanguage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ... | ||
| PythonDecompilers | 28 Jun 2005 - 13:52 - r1.2 | MartinBravenboer |
| The decompyle service decompiles Python byte-code (in .pyc or .pyo files) into python source code. It may be possible to license the decompiler for unlimited corporate ... | ||
| QVT | 29 Sep 2004 - 06:22 - NEW | MichaelLawley |
| See QueryViewTransformation. CategoryTransformation Main.MichaelLawley 29 Sep 2004 | ||
| QueryViewTransformation | 29 Sep 2004 - 06:46 - NEW | MichaelLawley |
| QueryViewTransformation is the OMG's upcoming (due end 2004/start 2005) standard for specifying MOF model queries, views, and transformations. It's main significance ... | ||
| QuinTylerJackson | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://qtj.dhs.org/~quinn/index.html JournalOfPatternMatching | ||
| RDP | 23 Apr 2002 - 13:40 - NEW | EelcoVisser |
| Homepage: http://www.dsic.upv.es/~rdp03/ Federated Conference on Rewriting, Deduction and Programming (RDP) to be held in Valencia, Spain, in June 2003 Participating ... | ||
| REFAL | 18 Sep 2001 - 07:14 - r1.2 | MaD |
| REcursive Functions Algorithmic Language, the first language used to experimenting with SuperCompilation by ValentinTurchin. See: REFAL/Supercompilation Community ... | ||
| REFLECTION | 22 Apr 2001 - 17:29 - NEW | EelcoVisser |
| Homepage: http://www.openjit.org/reflection2001 International Conference on Metalevel Architectures and Separation of Crosscutting Concerns Deadline: March Conference ... | ||
| RETIS | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| International Conference on Reverse Engineering for Information Systems http://lisi.insa-lyon.fr/~retis/ Submission: January Conference: July | ||
| RFC | 29 Aug 2001 - 21:56 - NEW | TWikiGuest |
| Requests For Comments Requests For Comments, or RFCs, form the basis of the Internet's technical documentation. They are available at http://www.freesoft.org/CIE/RFC ... | ||
| RSF | 20 Oct 2002 - 03:56 - r1.4 | HolgerKienle |
| RSF is an acronym that stands for Rigi standard format. The format was introduced by the RigiSystem, but other sytems have adopted/adapted it as well. Format: relationname ... | ||
| RTA | 18 Dec 2001 - 12:33 - r1.2 | EelcoVisser |
| Conference on Rewriting Techniques and Applications Deadline: January Conference: July Permanent homepage http://rewriting.loria.fr/rta/ Event homepages 2002 in Copenhagen ... | ||
| RULE | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| WorkshopOnRuleBasedProgramming Submission: June Workshop: October 2002: http://www.program-transformation.org/rule02 2001: http://www.cwi.nl/~markvdb/RULE2001/ 2000 ... | ||
| RainCode | 12 Oct 2001 - 09:47 - NEW | ArieVanDeursen |
| http://www.raincode.com/ Distributes analysis tools for the COBOL, PL/I, CPP, and Ada. Analsyis includes standards conformance checking, automated modifications, metrics ... | ||
| RainerKoschke | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Rainer Koschke Homepage: http://www.informatik.uni-stuttgart.de/ifi/ps/rainer/ Topics: WCRE, BauHaus, ReengineeringBibliography, ArchitectureExtraction CategoryPeople ... | ||
| RakeshVerma | 20 Nov 2001 - 10:25 - NEW | EelcoVisser |
| Homepage: http://www.cs.uh.edu/~rmverma/ LRR TermRewriting CategoryPeople | ||
| RalfLaemmel | 09 Oct 2004 - 22:52 - r1.2 | RalfLaemmel |
| Ralf Laemmel works at CWI and VU: http://www.cwi.nl/~ralf. Transformation topics: SCP Special Issue on Program Transformation http://homepages.cwi.nl/~ralf/pt-scp ... | ||
| RalphJohnson | 31 Oct 2001 - 08:08 - r1.2 | ArieVanDeursen |
| Homepage: http://st-www.cs.uiuc.edu/users/johnson/ ProgramRefactoring SmalltalkRefactory CategoryPeople | ||
| ReDocumentation | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Redocumentation is the simplest and oldest form of ReverseEngineering. The ReverseAndReengineeringTaxonomy defines redocumentation as a form of ReStructuring where ... | ||
| ReEngineering | 17 Sep 2002 - 08:12 - r1.14 | ArieVanDeursen |
| The ReverseAndReengineeringTaxonomy defines reengineering as: the examination and alteration of a subject system to reconstitute it in a new form and the subsequent ... | ||
| ReFactoring | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| ReFactoring is wiki for ProgramRefactoring. | ||
| ReStructuring | 07 May 2003 - 15:56 - r1.5 | TomMens |
| The ReverseAndReengineeringTaxonomy defines restructuring as a transformation from one form of representation to another at the same relative level of abstraction ... | ||
| RealisticCompilationByProgramTransformation | 04 Jun 2001 - 21:48 - NEW | EelcoVisser |
| by RichardKelsey and PaulHudak Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (POPL'89) . 281--292, 1989, http://citeseer ... | ||
| ReapTools | 16 Aug 2004 - 13:20 - NEW | MikeVanEmmerik |
| http://www.glossa.co.uk/reap.html GRAY The REAP tools by InterGlossa Ltd support reverse engineering services, especially for microcontrollers such as the Zilog Z80 ... | ||
| ReasoningAboutXMLSchemaLanguagesUsingFormalLanguageTheory | 30 May 2002 - 20:35 - NEW | MartinBravenboer |
| Dongwon Lee, Murali Mani, Makoto Murata. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 , November 16, 2000 Abstract A mathematical framework ... | ||
| ReasoningCompany | 18 Jun 2001 - 10:44 - r1.2 | ArieVanDeursen |
| Homepage: http://www.reasoning.com/ Offers automated software inspection services built using the Refine wide-spectrum language with explicit transformation support ... | ||
| RedoProjectArchive | 15 Aug 2004 - 13:10 - NEW | MikeVanEmmerik |
| http://www.comlab.ox.ac.uk:80/archive/redo/ From the site: "This archive contains information relevant to the ESPRIT II REDO project (no. 2487, 1989-1992) concerned ... | ||
| ReengineeringBibliography | 19 Aug 2002 - 19:04 - r1.5 | ArieVanDeursen |
| An on line bibliography on ReEngineering compiled by RainerKoschke is available via http://www.informatik.uni-stuttgart.de/ifi/ps/reengineering/index.html You can ... | ||
| ReengineeringForum | 14 Apr 2002 - 03:18 - r1.4 | ElliotChikofsky |
| The Reengineering Forum is an industry association to encourage combined industry/research review of the state of the art and the state of the practice in reengineering ... | ||
| ReengineeringMailingList | 19 Feb 2002 - 15:51 - r1.3 | ArieVanDeursen |
| German ReEngineering Mailing List Mailingliste der deutschsprachigen ReEngineering-Szene reengineering@uni-koblenz.de CategoryReengineeringPages | ||
| ReengineeringPatterns | 28 Feb 2002 - 15:02 - r1.5 | ArieVanDeursen |
| A systems ReEngineering pattern is a description of an expert solution to a common systems reengineering problem, including its name, context, and advantages and disadvantages ... | ||
| ReengineeringResourceRepository | 19 Feb 2002 - 15:51 - r1.4 | ArieVanDeursen |
| SpencerRugaber and LindaWills. Creating a research infrastructure for reengineering. In 3d Working Conference on Reverse Engineering, WCRE, 1996. http://www.cc.gatech ... | ||
| ReengineeringWiki | 30 Jan 2006 - 22:06 - r1.43 | MikeVanEmmerik |
| Welcome to the Reverse and Reengineering Roadmap! The purpose of this roadmap is to provide a forum where all sorts of topics related to ReverseEngineering and ReEngineering ... | ||
| ReengineeringWikiPaper | 29 Dec 2001 - 13:00 - NEW | ArieVanDeursen |
| The Reengineering Wiki ArieVanDeursen and EelcoVisser In Proceedings of the 5th European Conference on Software Maintenance and Reengineering ( CSMR ), 2002. IEEE ... | ||
| ReengineeringWikiSiteMap | 30 Jan 2006 - 22:05 - r1.18 | MikeVanEmmerik |
| TOC Introduction Below the main pages of the ReengineeringWiki are listed. It provides an overview of the topics currently discussed. The map below is partly generated ... | ||
| ReengineeringWikiTodoList | 28 Oct 2001 - 12:59 - r1.5 | ArieVanDeursen |
| See TodoList. | ||
| Refactoring | 06 Dec 2004 - 11:19 - r1.3 | TomMens |
| Software refactoring can be seen as the object-oriented equivalent of restructuring. It can be considered as a specific kind of software evolution. We can distinguish ... | ||
| RefactoringImprovingTheDesignOfExistingCode | 31 Oct 2001 - 02:04 - r1.2 | MartinBravenboer |
| Refactoring: Improving the Design of Existing Code by MartinFowler published by Addison-Wesley in 1999. website: http://www.refactoring.com Introduces the concept ... | ||
| RefactoringImprovingTheDesignOfExistingPrograms | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Refactoring: Improving the Design of Existing Programs by MartinFowler published by Addison-Wesley in 1999. The title actually is RefactoringImprovingTheDesignOfExistingCode ... | ||
| RefactoringPrograms | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| RefactoringPrograms is the activity of transforming a program to improve its desing while preserving its behaviour. The SmalltalkRefactory is a program that supports ... | ||
| RefactoringProject | 02 Oct 2001 - 05:28 - r1.2 | TWikiGuest |
| Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Topics Progress Testing Programs Documents Links Ideas Progress ... | ||
| ReferencingDecompilationWikiPages | 05 Sep 2007 - 23:41 - r1.3 | MikeVanEmmerik |
| The main DeCompilation page was for a time served from this address: http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Transform/DeCompilation However, the exact server ... | ||
| RelativityTechnologies | 23 May 2001 - 13:48 - NEW | TWikiGuest |
| Relativity Technologies is a leading supplier of legacy modernization solutions. Our technology offerings enable Information Technology organizations to take advantage ... | ||
| RelaxNG | 29 May 2002 - 22:47 - NEW | MartinBravenboer |
| Standard : http://www.oasis-open.org/committees/relax-ng/ RelaxNG is a SchemaLanguageForXML based on RegularTreeGrammars. It is (suprisingly) more powerful and easier ... | ||
| RelipmoC | 01 Feb 2008 - 13:15 - r1.2 | MikeVanEmmerik |
| https://sourceforge.net/projects/relipmoc The relipmoC decompiler translates i386 assembly language programs to C (the assembly language must have been generated with ... | ||
| RelogixDecompilationService | 09 Aug 2005 - 21:56 - NEW | MikeVanEmmerik |
| http://www.microapl.co.uk/asm2c Relogix is an advanced new software conversion tool which can take assembly-language source files and automatically re-code them in ... | ||
| RenaissanceWeb | 19 Feb 2002 - 15:51 - r1.2 | ArieVanDeursen |
| http://www.comp.lancs.ac.uk/projects/renaissance/index.html This web site is intended as a resource for the entire Software ReEngineering community. It also covers ... | ||
| ResearchIndex | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description ResearchIndex is a scientific literature digital library that aims to improve the dissemination and feedback of scientific literature, and to provide ... | ||
| ResearchInstituteForSoftwareEvolution | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Actually the ResearchInstituteInSoftwareEvolution. | ||
| ResearchInstituteInSoftware | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| deleted. | ||
| ResearchInstituteInSoftwareEvolution | 20 Oct 2001 - 18:44 - r1.2 | ArieVanDeursen |
| The Research Institute in SoftwareEvolution formerly the Centre for SoftwareMaintenance was established in April 1987, at the University of Durham, England. More info ... | ||
| ReusableGrammars | 09 Feb 2004 - 13:12 - r1.4 | MartinBravenboer |
| A parser is an essential component of a TransformationSystem. It is often a considerable investment to develop a good syntax definition for use in a transformation ... | ||
| ReverseAndReengineeringRoadmap | 23 Dec 2001 - 21:00 - NEW | ArieVanDeursen |
| Old name for the ReengineeringWiki | ||
| ReverseAndReengineeringTaxonomy | 19 Jun 2005 - 11:27 - r1.11 | MikeVanEmmerik |
| In 1990, ElliotChikofsky and JamesCross published Reverse Engineering and Design Recovery: A Taxonomy , IEEE Software 7(1):13-17, 1990. http://doi.ieeecomputersociety ... | ||
| ReverseEngineering | 03 Sep 2005 - 23:25 - r1.20 | MikeVanEmmerik |
| The ReverseAndReengineeringTaxonomy defines reverse engineering as: The process of analyzing a subject system with two goals in mind: 1 to identify the system's components ... | ||
| ReverseEngineeringARoadmap | 15 Mar 2002 - 14:39 - r1.7 | ArieVanDeursen |
| Reverse Engineering: A Roadmap HausiMueller, JensJahnke, Dennis Smith, PeggyStorey, Scott Tilley, and KennyWong In A, Finkelstein (ed.) The Future of Software Engineering ... | ||
| ReverseEngineeringCompiler | 28 Jul 2005 - 22:40 - r1.4 | GiampieroCaprino |
| http://www.backerstreet.com/rec/rec.htm REC, a Reverse Engineering Compiler by Giampiero Caprino (gcaprino@katamail.com), is a portable decompiler which supports a ... | ||
| ReverseEngineeringTutorials | 21 Aug 2003 - 21:30 - r1.3 | SergeDemeyer |
| Several surveys of reverse and reengineering research have been published. These include: ReverseAndReengineeringTaxonomy ReengineeringBibliography ReverseEngineeringARoadmap ... | ||
| RewriteRule | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| A rewrite rule is a rule of the form lhs rhs where lhs and rhs are term patterns. It declares that any instance of lhs rewrites to the corresponding instance of rhs ... | ||
| RewritingCalculus | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| The Rewriting Calculus provides a combination of functional programming and term rewriting. http://www.loria.fr/~ckirchne/ rho/rho.html HoratiuCirstea ClaudeKirchner ... | ||
| RewritingHomePage | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.loria.fr/~vigneron/RewritingHP/ | ||
| RewritingStrategy | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| RewritingStrategies are little programs that define the position and order of application of RewriteRules. Rules are identified by means of labels. Typical strategy ... | ||
| RicHolt | 28 Nov 2001 - 09:54 - NEW | ArieVanDeursen |
| Ric Holt http://plg.uwaterloo.ca/~holt/ CategoryPeople | ||
| RichardBird | 06 Dec 2001 - 12:47 - r1.2 | EelcoVisser |
| Homepage: http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html BirdMeertensFormalism CategoryPeople | ||
| RigiCScripts | 15 Nov 2008 - 16:33 - NEW | HolgerKienle |
| A sample RCL script that is used to pre-process the RSF generated with cparse for Rigi has been written by JohannesMartin. The RCL script is generic and works for ... | ||
| RigiCparse | 13 May 2009 - 10:11 - NEW | HolgerKienle |
| The Rigi C parser, cparse , is no longer supported. However, you can still download cparse package; see RigiReleases. Kostas Kontogiannis has kindly written down his ... | ||
| RigiDevelopment | 02 Dec 2008 - 20:28 - r1.4 | HolgerKienle |
| This topic provides information for Rigi developers that work with source code. See RigiInstall if you work with Rigi's precompiled distributions. Compilation of RigiEdit ... | ||
| RigiEdit | 26 Nov 2008 - 14:28 - r1.4 | HolgerKienle |
| The Rigi user interface is a graph editor, called RigiEdit ( rigiedit ), which is used to browse, analyze, and modify a graph that models a given system. This graph ... | ||
| RigiFAQ | 11 May 2009 - 18:09 - r1.7 | HolgerKienle |
| Rigi Q A In this document the following tools are frequently mentioned: sortrsf (See SortRSF) htmlrsf (See HtmlRSF) rigiedit (See RigiEdit) Q: rigiedit is dog-slow ... | ||
| RigiGettingStarted | 13 May 2009 - 08:45 - r1.9 | HolgerKienle |
| Information if you are new to Rigi: Purpose Rigi is a ReverseEngineering environment. It consists of a set of tools: parsers, command-line utilities, and an interactive ... | ||
| RigiGraphEd | 26 Oct 2002 - 12:29 - r1.2 | ArieVanDeursen |
| Rigiedit uses GraphEd for graph layout: "The spring and Sugiyama layouts were done by exporting the graph representation and running the layout algorithms off-line ... | ||
| RigiInstall | 13 May 2009 - 07:34 - r1.7 | HolgerKienle |
| This topic provides information for users of Rigi binary distributions. See also RigiDevelopment if you work with Rigi's source code. Installing RigiEdit basically ... | ||
| RigiProjects | 15 Nov 2008 - 16:11 - r1.8 | HolgerKienle |
| Samples of Completed Reverse Engineering Projects Azureus (Java) for for VISSOFT Tool Demo Challenge (1st Prize): http://www.program-comprehension.org/vissoft07/VISSOFT2007 ... | ||
| RigiPublications | 22 Jun 2010 - 08:17 - r1.6 | HolgerKienle |
| Publication list (until ~1998, now outdated): http://www.rigi.csc.uvic.ca/Pages/publications.html More recent publications: Rigi An Environment for Software Reverse ... | ||
| RigiRCL | 15 Nov 2008 - 16:30 - r1.3 | HolgerKienle |
| Rigi Command Library (RCL) RCL is a Rigi-specific library written in Tcl/Tk. See RigiUserManual, Section 4.5. The RCL code distributed with rigiedit is located in ... | ||
| RigiRSF | 13 May 2009 - 09:52 - r1.7 | HolgerKienle |
| Specification: RigiRSFSpecification Errata: In a source-location the elements are separated with comma, not semicolon. Errata for "Appendix: Tool Support": rigiedit ... | ||
| RigiRSFSpecification | 18 Sep 2007 - 10:13 - NEW | HolgerKienle |
| The original specification was posted in the Rigi mailing list (now defunct): http://www.rigi.csc.uvic.ca/list-archives/rigi-developer-archive/2000-02-10-15.26.16 ... | ||
| RigiRelatedWork | 15 Nov 2008 - 16:06 - r1.3 | HolgerKienle |
| The following systems are built on top of Rigi: BauHaus Atomic Architectural Component Recovery for Program Understanding and Evolution, Rainer Koschke. Dissertation ... | ||
| RigiReleases | 13 May 2009 - 10:05 - r1.3 | HolgerKienle |
| All official releases are downloadable at http://www.rigi.csc.uvic.ca/Pages/download.html Rigi is released in several packages. RigiEdit Package The only package that ... | ||
| RigiSystem | 28 Nov 2008 - 19:20 - r1.10 | HolgerKienle |
| ReverseEngineering system to extract, navigate, analyze and document the static structure of large software systems. http://rigi.uvic.ca/Media/howpic1.gif The topics ... | ||
| RigiUserManual | 15 Nov 2008 - 17:06 - r1.3 | HolgerKienle |
| Rigi's User Manual , Kenny Wong. University of Victoria, 168 pages. The latest version is 5.4.4 and avilable here: PDF: http://www.rigi.cs.uvic.ca/downloads/rigi ... | ||
| RikVanDeWiel | 17 Mar 2002 - 14:44 - NEW | EelcoVisser |
| Email: Rik.van.de.Wiel@philips.com CodeCompaction CategoryPeople | ||
| RislaLanguage | 25 Apr 2002 - 13:44 - r1.3 | ArieVanDeursen |
| Risla is a DomainSpecificLanguage for interest rate products. It is an abbrevation for Rente Informatie Systeem Language. It's development started in the early 1990 ... | ||
| RobertPaige | 22 May 2003 - 09:52 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.nyu.edu/cs/faculty/paige/ Developer of APTS Journal for Higher-Order and Symbolic Computation Special Issue Dedicated to Bob Paige CategoryPeople ... | ||
| RonCytron | 06 Dec 2001 - 12:52 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.wustl.edu/~cytron/ ContinuousCompilers CategoryPeople | ||
| RoundTripEngineering | 19 Feb 2002 - 15:18 - r1.2 | ArieVanDeursen |
| BrueggeAndDutoit define round trip engineering as A model maintenance activity that combines forward and reverse engineering. Changes to the implementation model are ... | ||
| RudolfFerenc | 10 Aug 2004 - 13:10 - r1.2 | RudolfFerenc |
| Visit my homepage: http://www.inf.u-szeged.hu/~ferenc Main.RudolfFerenc 07 Jan 2003 | ||
| RuleAcceptedPapers | 14 Aug 2002 - 21:04 - NEW | EelcoVisser |
| The following papers have been accepted for the on Rule Based Programming 2002. A program will be available soon. Ralf Laemmel Towards Generic Refactoring Olivier ... | ||
| RuleBasedProgramming | 19 Feb 2002 - 22:23 - r1.13 | EelcoVisser |
| Definitions Here are some attempts at definitions of rule-based programming. Feel free to comment or add your own. The rule-based programming paradigm is characterized ... | ||
| RuleBasedProgrammingSystems | 25 Oct 2001 - 14:44 - r1.3 | EelcoVisser |
| This page collects links to systems supporting RuleBasedProgramming. Feel free to add missing links. TermRewritingSystems TransformationSystems ObjectOrientedRules ... | ||
| RuleProceedings | 25 Oct 2001 - 14:45 - NEW | EelcoVisser |
| Proceedings of the WorkshopOnRuleBasedProgramming 2002: to appear 2001: http://www.elsevier.nl/locate/entcs/volume59.html 2000: http://www.loria.fr/~ckirchne/ rule2000 ... | ||
| RuleProgram | 22 Aug 2002 - 20:53 - r1.2 | EelcoVisser |
| Program of the 2002 ACM SIGPLAN on Rule Based Programming (RULE'02) October 5, 2002, Pittsburgh, Pensylvania, USA. Time Title Authors 10:30 Design Patterns for Functional ... | ||
| RuleWorkshopProposal | 06 Dec 2001 - 21:08 - r1.13 | EelcoVisser |
| Name of the workshop on Rule Based Programming (RULE) Associated with PPDP The goals of the workshop The rule-based programming paradigm is characterized by the repeated ... | ||
| SAIG | 02 Nov 2001 - 17:13 - r1.2 | EelcoVisser |
| Semantics, Applications and Implementation of Program Generation Deadline: March Conference: September (with PLI) 2002: http://www.cs.yale.edu/homes/taha/saig 2001 ... | ||
| SAS | 23 Apr 2002 - 20:00 - r1.2 | EelcoVisser |
| International Static Analysis Symposium Description Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification ... | ||
| SAX | 20 Mar 2001 - 20:14 - r1.2 | TWikiGuest |
| See the SimpleAPIforXML | ||
| SCAM | 16 Jun 2004 - 04:14 - r1.4 | MikeVanEmmerik |
| IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ... | ||
| SDF | 09 Feb 2004 - 13:11 - r1.3 | MartinBravenboer |
| SDF is a formalism for the definition of the syntax of ProgrammingLanguages and DataFormats. Its features include: a module system, integration of lexical and context ... | ||
| SDFII | 28 Feb 2002 - 23:15 - r1.2 | EelcoVisser |
| SDFII is successor of the first Syntax Definition Formalism SDF. SDFII features Integration of lexical and context-free syntax Modules with parameters and renaming ... | ||
| SDL | 09 Mar 2001 - 14:40 - NEW | EelcoVisser |
| Specification and Description Language http://www.tdr.dk/public/SDL/SDL.html | ||
| SDLGrammarReengineering | 24 May 2002 - 13:29 - r1.2 | JoostVisser |
| Maintainer MerijnDeJonge Description During a project in cooporation with Lucent Technologies, we used XT to re-engineer an SDL grammar from an operational YACC grammar ... | ||
| SDandM | 10 Mar 2002 - 13:38 - r1.4 | ArieVanDeursen |
| Software Design And Management AG. http://www.sdm.de/ Consulting firm which also does ReEngineering projects using its own hypertext repository called SHORE. SHORE ... | ||
| SEI | 18 Apr 2001 - 11:41 - NEW | ArieVanDeursen |
| Software Engineering Institute http://www.sei.cmu.edu/ Topics: SoftwareArchitecture SoftwareProductLines SoftwareProcess | ||
| SEKE | 14 Jan 2002 - 10:18 - NEW | ArieVanDeursen |
| International Confernce on Software Engineering and Knowledge Engineering The conference aims at bringing together experts in knowledge engineering and knowledge ... | ||
| SEN1 | 05 Apr 2001 - 12:03 - r1.2 | ArieVanDeursen |
| Interactive Software Development and Renovation Group (SEN1) (CWI, Amsterdam) http://www.cwi.nl/themes/sen1/ See also SoftwareRenovationAtCWI. Main.ArieVanDeursen ... | ||
| SHriMP | 12 Apr 2008 - 17:46 - r1.2 | HolgerKienle |
| SHriMP: Simple Hierarchical Multi-Perspective views. Homepage: http://shrimp.cs.uvic.ca/shrimp More (historical) info at http://www.csr.uvic.ca/~mstorey/research/shrimp ... | ||
| SIGPLAN | 15 Aug 2004 - 12:49 - r1.2 | MikeVanEmmerik |
| ACM Special Interest Group on Programming Languages http://www.acm.org/sigplan/ CategoryConference | ||
| SIGSOFT | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| ACM Special Interest Group on SoftwareEngineering. See http://www.acm.org/sigsoft/ | ||
| SMLofNJ | 28 Oct 2006 - 22:17 - r1.2 | MikeVanEmmerik |
| http://www.smlnj.org/ Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms. It does not directly compile to stand alone applications ... | ||
| SMake | 02 Apr 2002 - 11:06 - r1.2 | ArieVanDeursen |
| SMake is a tool to produce standard Makefiles from templates. It's not as advanced as Tools.AutoMake. http://freshmeat.net/projects/smake/ | ||
| SORCERER | 30 Apr 2001 - 10:03 - NEW | EelcoVisser |
| SORCERER is the tree parser generator of ANTLR. Papers TerenceParr. Language Translation Using PCCTS and CPP. A Reference Guide. Automata Publishing Company, San Jose ... | ||
| SPLC | 13 Sep 2003 - 17:52 - r1.3 | RobVanOmmering |
| The SoftwareProductLine Conference 2000: http://www.sei.cmu.edu/plp/conf/SPLC.html 2002: http://www.sei.cmu.edu/SPLC2/ 2004: http://www.sei.cmu.edu/SPLC2004/ CategoryConference ... | ||
| STTT | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| STTT is the Journal on Software Tools for Technology Transfer | ||
| SWARM | 02 Apr 2001 - 14:27 - NEW | ArieVanDeursen |
| The SwarmForum | ||
| SWEBOK | 11 Jan 2002 - 09:29 - r1.2 | ArieVanDeursen |
| Software Engineering Body of Knowledge. The software engineering body of knowledge is an all-inclusive term that describes the sum of knowledge within the profession ... | ||
| SableCC | 01 Feb 2004 - 00:36 - NEW | MartinBravenboer |
| SableCC is a compiler compiler framework for Java. Features: produces LALR(1) parser generation of strictly-typed abstract syntax trees generation of tree-walker classes ... | ||
| SanderTichelaar | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Sander Tichelaar Topics: ExchangeFormats ProgramRefactoring SoftwareVisualization Home page: http://www.iam.unibe.ch/~tichel/ CategoryPeople | ||
| ScaffoldingForSoftwareRenovation | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Scaffolding for Software Renovation by Alex Sellink and Chris Verhoef. Available: ps 1 html 2 pdf 3 | ||
| ScannerlessGeneralizedLRParsing | 09 Feb 2004 - 13:12 - r1.3 | MartinBravenboer |
| EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ... | ||
| SchedulingSoftware | 02 Jan 2002 - 15:24 - NEW | EelcoVisser |
| This is a page with links to scheduling software. This is not really related to program transformation. Collections http://linas.org/linux/pm.html overview of tools ... | ||
| SchemaLanguageForXML | 29 May 2002 - 23:00 - NEW | MartinBravenboer |
| DocumentTypeDefinition was introduced in the XML standard as the schema language for XML. Because of the limited power of DTD and because it cannot handle XMLNamespaces ... | ||
| SchemeLanguage | 01 Feb 2006 - 20:46 - r1.4 | GideonKlok |
| Scheme is a dialect of LispLanguage, i.e., another FunctionalProgrammingLanguage. http://www.schemers.org DrScheme: a programming environment for Scheme Teach Yourself ... | ||
| SciComp | 02 Jan 2002 - 13:57 - r1.2 | EelcoVisser |
| Homepage: http://www.scicomp.com SciComp is specialized in ProgramSynthesis of numerical programs from PartialDifferentialEquations, especially in the domain of financial ... | ||
| SciNapse | 28 Apr 2001 - 09:51 - NEW | EelcoVisser |
| The ProgramSynthesis system of SciComp CategorySystem Contributions by Main.EelcoVisser | ||
| ScientificToolworksInc | 26 Aug 2001 - 11:53 - NEW | ArieVanDeursen |
| Scientific Toolworks, Inc. We make tools that help developers understand, document, and maintain impossibly large or complex amounts of source code. What our tools ... | ||
| ScpJ | 18 Sep 2001 - 07:52 - NEW | MaD |
| ScpJ Project: SuperCompilation for JavaLanguage See: http://www.keldysh.ru/dpt 16/ScpJ/index.htm http://www.supercompilers.com/scpj.htm Main.MaD 18 Sep 2001 | ||
| SculptorDecompiler | 03 Dec 2004 - 23:12 - NEW | MikeVanEmmerik |
| Sculptor and Realizer Here is information about two decompilers which were written in Spain. The first is a decompiler written in 1989 for a 4th generation language ... | ||
| SearchTheWiki | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Searching the wiki is done using regular expressions. See man perlre for the syntax. Searching is case insensitive, so searching for 'asf' finds 'ASF', 'Asf' and ... | ||
| SemanticDesigns | 30 Apr 2002 - 10:31 - r1.4 | ArieVanDeursen |
| SemanticDesigns is a company that provides the DMSSoftwareReengineeringToolkit. Homepage: http://www.semdesigns.com IraBaxter CategoryCompany | ||
| SimilixSystem | 09 Sep 2001 - 19:58 - NEW | EelcoVisser |
| Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme. Similix treats source programs ... | ||
| SimonPeytonJones | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://research.microsoft.com/Users/simonpj/ GHC CompilationByTransformation CategoryPeople | ||
| SimpleAPIforXML | 29 May 2002 - 23:59 - r1.2 | MartinBravenboer |
| Homepage : http://www.saxproject.org/ The Simple API for XML (SAX) is a standard interface for event-based XML parsing. Because of the event-based approach the interface ... | ||
| SiteMap | 27 Aug 2002 - 08:00 - NEW | EelcoVisser |
| INCLUDE{ TWIKIWEB .SiteMap} | ||
| SmalltalkRefactoringBrowser | 31 Oct 2001 - 02:51 - NEW | MartinBravenboer |
| SmalltalkRefactoringBrowser is wiki for SmalltalkRefactory Main.MartinBravenboer 31 Oct 2001 | ||
| SmalltalkRefactory | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Smalltalk Refactory The (Smalltalk) Refactoring Browser is an interactive program for ProgramRefactoring, i.e., behaviour preserving transformations that improve ... | ||
| SoftMetaWare | 10 May 2002 - 11:00 - NEW | JornBettin |
| SoftMetaWare provides consulting services on-site as required, or remotely via web-based collaboration tools when appropriate. We specialise in implementing model ... | ||
| SoftSD | 13 Nov 2004 - 01:06 - NEW | JoseLuizFiadeiro |
| The Software Specification and Design Group at the University of Leicester. The host of the LegToNet project. http://www.cs.le.ac.uk/SoftSD Main.JoseLuizFiadeiro ... | ||
| SoftwareArcheologyWorkshop | 04 Feb 2002 - 10:19 - NEW | ArieVanDeursen |
| OOPSLA 2001 Workshop Software Archeology: Understanding Large Systems Ward Cunningham, Andrew Hunt, Brian Marick, and Dave Thomas How do you come to grips with 1 ... | ||
| SoftwareArchitecture | 13 Jun 2002 - 09:36 - r1.18 | ArieVanDeursen |
| A survey of software architecture is provided by David Garlan, in SoftwareArchitectureARoadMap. Garlan loosely defines architecture as a software system's gross organization ... | ||
| SoftwareArchitectureARoadMap | 15 Mar 2002 - 08:59 - r1.2 | TWikiGuest |
| Software Architecture: a Roadmap David Garlan In A, Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event colocated with ICSE 2000). Roadmap ... | ||
| SoftwareArchitectureDefinitions | 19 Feb 2002 - 15:20 - r1.4 | ArieVanDeursen |
| Definitions of Software Architecture. There are many definitions of what SoftwareArchitecture is: an overview of these is given at http://www.sei.cmu.edu/architecture ... | ||
| SoftwareConfiguration | 30 Apr 2002 - 10:42 - r1.17 | ArieVanDeursen |
| Software configuration is concerned with creating different specializations of a software artifact for different environments. (See also VariabilityManagement) Configuration ... | ||
| SoftwareEngineering | 20 Jun 2003 - 09:06 - r1.2 | TomMens |
| Applications of ProgramTransformation in software engineering ProgramSynthesis ProgramCalculation ReuseByTransformation MaintenanceByTransformation ProgramMigration ... | ||
| SoftwareEvolution | 20 Feb 2007 - 12:55 - r1.43 | TomMens |
| If you are looking for more up to date information on Software Evolution, please visit http://www.planet-evolution.org Definitions The Research Institute in Software ... | ||
| SoftwareEvolutionThroughTransformations | 20 Feb 2007 - 12:59 - r1.4 | TomMens |
| ICGT 2002 Workshop on Software Evolution Through Transformations (SET 2002) Towards uniform support throughout the software life-cycle Transformations of artefacts ... | ||
| SoftwareGeneration | 24 Apr 2002 - 17:51 - r1.5 | JoostVisser |
| Software generation is a class of transformations in which software implementations are generated from high-level specifications or (broadly interpreted) of generating ... | ||
| SoftwareGenerators | 24 Apr 2002 - 17:52 - r1.4 | JoostVisser |
| According to Chapter 9 of GenerativeProgrammingBook: a generator is a program that takes a higher-level specification of piece of software and produces its implementation ... | ||
| SoftwareImprovementGroup | 16 Mar 2001 - 12:56 - NEW | ArieVanDeursen |
| The Software Improvement Group is a young company offering tools that help businesses deal with their (Cobol) legacy systems. We're offering services in three areas ... | ||
| SoftwareMaintenance | 30 Jan 2006 - 22:07 - r1.16 | MikeVanEmmerik |
| Definitions Software maintenance is defined by the ANSI/IEEE Std. 729-1983 and IEEE Std. 1219-1998 as: modification of a software product after delivery to correct ... | ||
| SoftwareMaintenanceAndEvoluationARoadmap | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| typo. | ||
| SoftwareMaintenanceAndEvolutionARoadmap | 30 Jan 2006 - 22:07 - r1.6 | MikeVanEmmerik |
| Software Maintenance And Evolution: A Roadmap By KeithBennett and VaclavRajlich. In A Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event ... | ||
| SoftwareMigrations | 14 Jul 2003 - 00:19 - r1.4 | MikeVanEmmerik |
| Software Migrations Ltd Software Migrations Ltd (SML) use formal transformations to convert one form of code to another; they can work on anything from assembly language ... | ||
| SoftwareProcess | 30 Jan 2006 - 22:08 - r1.9 | MikeVanEmmerik |
| From W. Humphrey, Managing the Software Process , Addison-Wesley, 1989: The software process is the set of tools, methods, and practices used to produce a software ... | ||
| SoftwareProductLine | 30 Jan 2006 - 22:08 - r1.8 | MikeVanEmmerik |
| Software product line Group of products, sharing a common, managed set of features to satisfy the needs of a selected market. J. Withey, Investment Analysis of Software ... | ||
| SoftwareRenovation | 19 Feb 2002 - 15:51 - r1.3 | ArieVanDeursen |
| The ReverseAndReengineeringTaxonomy defines software renovation as a synonym for ReEngineering. In CWI parlance, it is covers research in the areas of ReverseEngineering ... | ||
| SoftwareRenovationAtCWI | 26 Aug 2002 - 15:37 - r1.6 | ArieVanDeursen |
| The SEN1 research group at CWI works on the following SoftwareRenovation topics: DocumentationGeneration for COBOL systems ArchitectureExtraction Type inferencing ... | ||
| SoftwareRenovationFactories | 14 Mar 2001 - 09:45 - NEW | ArieVanDeursen |
| Description The Asf+Sdf meta-environment has been used as a platform for program transformation geared towards SoftwareRenovation. The basic idea is to generate default ... | ||
| SoftwareReuse | 02 Jan 2002 - 09:57 - r1.3 | ArieVanDeursen |
| Charles W. Krueger provides a survey in the ACM Computing Surveys 24(2):131-183, June 1992. Software reuse is the process of creating software systems from existing ... | ||
| SoftwareTesting | 24 Mar 2003 - 13:08 - r1.7 | ArieVanDeursen |
| Chapter 5 of the SWEBOK guide defines testing as follows: Software testing consists of the dynamic verification of the behavior of a program on a finite set of test ... | ||
| SoftwareVisualization | 06 Dec 2002 - 09:39 - r1.7 | ArieVanDeursen |
| The software visualization 1 group at GeorgiaTech describes software visualization as: the use of computer graphics and animation to help illustrate and present computer ... | ||
| SootFramework | 08 May 2005 - 19:48 - NEW | MartinBravenboer |
| Java Optimization Framework http://www.sable.mcgill.ca/soot/ People Project of the Sable research group (McGill University, Montreal) Components Intermediate representations ... | ||
| SortGraph | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description Sort graphs are graphs that represent the dependencies between sorts in a grammar. Visual clues The following example sort graph provides a legend for ... | ||
| SortRSF | 14 Nov 2008 - 18:54 - r1.3 | HolgerKienle |
| sortrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup: documentation is located at $RIGI/doc/rigiutils/sortrsf.html ... | ||
| SourceAgain | 25 Sep 2004 - 01:51 - NEW | MikeVanEmmerik |
| SourceAgain is a commercial Java decompiler by Ahpah Software. SourceAgain correctly recovers Java control structures and optimizations from the bytecode. Further ... | ||
| SourceAudit | 10 Aug 2004 - 13:28 - NEW | RudolfFerenc |
| See FrontEndART for details. Main.RudolfFerenc 10 Aug 2004 | ||
| SourceRecoveryCompany | 28 Apr 2006 - 23:10 - r1.2 | MikeVanEmmerik |
| http://www.source-recovery.com Note the hyphen: www.sourcerecovery.com is a different company (see JuggerSoft). From the Source Recovery Company's web page: We use ... | ||
| SourcerDisassembler | 30 Jan 2006 - 22:09 - r1.3 | MikeVanEmmerik |
| http://www.v-com.com/product/devsopr.html Sourcer is a commercial program, for disassembling x86 binaries (EXE, NE and PE). Sourcer 8.0, includes the BIOS Preprocessor ... | ||
| SpecWare | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html | ||
| SpencerRugaber | 22 Mar 2001 - 16:44 - NEW | TWikiGuest |
| Spencer Rugaber, GeorgiaTech, Atlanta Topics: ReverseEngineering ProgramUnderstanding See http://www.cc.gatech.edu/fac/Spencer.Rugaber/ CategoryPeople | ||
| SpirosMancoridis | 06 Dec 2001 - 13:03 - r1.2 | EelcoVisser |
| HomePage?: http://www.mcs.drexel.edu/~smancori Research Web Page: http://serg.mcs.drexel.edu Main.TWikiGuest 08 Apr 2001 CategoryPeople | ||
| StaticAnalysisTechniquesForEquationalLogicProgramming | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Static Analysis Techniques for Equational Logic Programming RakeshVerma http://arXiv.org/abs/cs/0010034 | ||
| StaticTranslator | 01 Dec 2001 - 12:58 - NEW | MikeVanEmmerik |
| A translator (typically a compiler) which performs its transformations before the program is run. Usually, the translator is unaware of any dynamic aspects of the ... | ||
| StephenHeffner | 28 Oct 2002 - 23:16 - r1.2 | StephenHeffner |
| Stephen F. Heffner entered the computer field in 1963 as a Customer Engineer for IBM. He has been involved in systems analysis, design, and programming since 1964 ... | ||
| StrategicProgramming | 20 Jun 2002 - 15:00 - NEW | EelcoVisser |
| Strategic programming is an idiom for generic programming where the concept of a strategy plays a central role. A strategy is a generic, data-processing action. Strategies ... | ||
| StrategicProgrammingMeetsAdaptiveProgramming | 30 Mar 2004 - 12:06 - r1.3 | EelcoVisser |
| Ralf Lämmel and Eelco Visser and Joost Visser. Strategic Programming Meets Adaptive Programming . In Proceedings of Aspect-Oriented Software Development (AOSD'03) ... | ||
| StrategiesAsUpdatableFoldAlgebras | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Strategies as Updatable Fold Algebras by RalfLaemmel and JoostVisser Available: .Extended abstract 1 . | ||
| StrategiesInAutomatedDeduction | 01 Jan 2002 - 23:03 - r1.2 | EelcoVisser |
| Homepage: http://www.logic.at/strategies/ Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies. Copenhagen ... | ||
| StrategiesInProgramTransformationSystems | 15 Mar 2001 - 09:13 - NEW | EelcoVisser |
| Strategies play an important role in ProgramTransformation. The purpose of this survey is to get an overview of the styles of strategies used in various TransformationSystems ... | ||
| StrategoXT | 03 Sep 2003 - 18:51 - NEW | EelcoVisser |
| StrategoXT is the combination of the transformation language Stratego with the XT toolset for constructing transformation systems. Capabilities include: rewrite rules ... | ||
| SuperCompilation | 29 Sep 2002 - 18:34 - r1.5 | MaD |
| (supervised compilation) A ProgramOptimization technique, due to ValentinTurchin and colleagues, a source-to-souce ProgramTransformation (rephrasings), more powerful ... | ||
| SuperCompilers | 16 Jun 2003 - 03:17 - r1.2 | MaD |
| SuperCompilers, Llc Homepage: http://www.supercompilers.com/ ValentinTurchin Main.MaD 16 Jun 2003 CategoryCompany | ||
| SwarmDagstuhl | 31 Jan 2003 - 20:37 - r1.4 | SwarmDagstuhl |
| Dagstuhl Seminar 3061 Software Architecture: Recovery and Modelling More information on this seminar: http://www.dagstuhl.de/03061/ http://www.bauhaus-stuttgart.de ... | ||
| SwarmForum | 25 Jan 2003 - 14:05 - r1.21 | SwarmDagstuhl |
| Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ... | ||
| SwarmForumCallForPapers | 23 Dec 2001 - 20:56 - r1.3 | ArieVanDeursen |
| Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ... | ||
| SwarmForumCallForParticipation | 23 Dec 2001 - 20:56 - r1.2 | ArieVanDeursen |
| Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 SwarmForum Call for Participation Software architecture recovery ... | ||
| SyntaxDefinition | 09 Mar 2004 - 12:41 - r1.4 | MartinBravenboer |
| A syntax definition is a high-level description of the syntax of a language, usually in the form of a context-free grammar. Languages for syntax definition include ... | ||
| SyntaxDefinitionForLanguagePrototyping | 09 Feb 2004 - 13:05 - r1.5 | MartinBravenboer |
| EelcoVisser, PhD thesis, University of Amsterdam, 1997. Abstract LanguagePrototyping is the activity of designing and testing definitions of new or existing computer ... | ||
| SystemNews | 21 May 2003 - 13:26 - NEW | EelcoVisser |
| 2003-01-31 FrontEndART released Columbus/CAN 3.5 final. (see http://www.frontendart.com) Apart from the usual bug fixes, this final version contains new features ... | ||
| TAMPR | 06 May 2001 - 23:28 - NEW | EelcoVisser |
| TAMPR (Transformation Assisted Multiple Program Realisation System) is one of the earliest TransformationSystems around. Description TAMPR supports program transformation ... | ||
| TCL | 08 Jun 2001 - 21:35 - NEW | TWikiGuest |
| Homepage: http://dev.ajubasolutions.com/ Tcl stands for Tool Command Language. Tcl is really two things: a scripting language, and an interpreter for that language ... | ||
| TCSE | 05 Jun 2002 - 07:03 - r1.2 | MikeVanEmmerik |
| IEEE Technical Council on Software Engineering. See http://www.tcse.org/ | ||
| TEXINPUTS | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| TEXINPUTS is the environment variable that contains a list of paths to directories containing tex or LaTeX input. | ||
| TL | 02 May 2002 - 18:10 - NEW | CraigCleaveland |
| TL is an open-source template language using Java and the XPath language of XML as described in Chapter 12 of ProgramGeneratorsWithXMLAndJava. See http://www.craigc ... | ||
| TOPLAS | 09 Apr 2002 - 18:57 - NEW | ArieVanDeursen |
| ACM Transactions on Programming Languages and Systems http://www.cs.wustl.edu/~toplas/ CategoryJournal | ||
| TOSEM | 09 Apr 2002 - 18:56 - NEW | ArieVanDeursen |
| ACM Transactions on Software Engineering and Methodology (TOSEM) http://www.acm.org/tosem/ CategoryJournal | ||
| TSE | 09 Apr 2002 - 18:59 - NEW | ArieVanDeursen |
| IEEE Transactions on Software Engineering http://computer.org/tse/ CategoryJournal | ||
| TXL | 20 Dec 2001 - 04:27 - r1.4 | JamesCordy |
| TXL: Tree Transformation Language Homepage: http://www.txl.ca/ The TreeRewriting language TXL (developed by JamesCordy at Queen's University in Kingston, Canada) ... | ||
| TXLSoftwareResearch | 20 Dec 2001 - 02:30 - r1.2 | JamesCordy |
| TXL Software Research Inc. is the company that distributes and supports TXL Homepage: http://www.thetxlcompany.com/thecompany.html | ||
| TabalugaSystem | 06 Jul 2005 - 18:57 - r1.2 | KarlTrygveKalleberg |
| Homepage: http://staff.science.uva.nl/~kort/tabaluga/ Tabaluga is a system for programming transformations in HaskellLanguage. It is a paramorphic fold and algebra ... | ||
| TactialStrategyGroup | 03 Jun 2001 - 11:42 - NEW | ArieVanDeursen |
| Tactical Strategy Group, Inc. is a management consulting firm specializing in organizational and information transformation strategies. See http://www.systemtransformation ... | ||
| TailCallElimination | 07 Dec 2001 - 06:02 - r1.2 | MikeVanEmmerik |
| A function call as the last action of function body can be optimized by overwriting the stack frame of the caller. The callee returns directly to the caller of its ... | ||
| TailRecursionElimination | 06 Dec 2001 - 22:53 - NEW | EelcoVisser |
| Tail recursion elimination is a special case of call elimination in which the tail call is a call to the function itself. In that case the call can be replaced by ... | ||
| TamperResistantSoftware | 25 Sep 2004 - 00:32 - r1.3 | MikeVanEmmerik |
| With the advent of set top boxes, mobile software, and other factors, software authors are wanting to create applications that are resistant to reverse engineering ... | ||
| TarjaSysta | 22 Nov 2001 - 19:31 - NEW | ArieVanDeursen |
| Tarja Systa, http://www.cs.tut.fi/~tsysta/ CategoryPeople | ||
| TarmoUustala | 06 Dec 2001 - 13:08 - r1.2 | EelcoVisser |
| Homepage: http://greta.cs.ioc.ee/~tarmo/ WarmFusion VarmoVene CategoryPeople | ||
| TaxonomyOfMetaProgrammingSystems | 02 Jan 2008 - 22:32 - r1.3 | MaD |
| http://web.cecs.pdx.edu/~sheard/staged.html An analysis of different kinds of MetaProgramming systems by TimSheard. Main.MaD 02 Jan 2008 CategoryPaper CategoryTaxonomy ... | ||
| TaxonomyOfXMLSchemaLanguagesUsingFormalLanguageTheory | 30 May 2002 - 20:30 - NEW | MartinBravenboer |
| Makoto Murata, Dongwon Lee and Murali Mani Abstract Taxonomy of XML Schema Languages using Formal Language Theory On the basis of regular tree languages, we present ... | ||
| TcseCommitteeOnReverseAndReengineering | 30 Jan 2006 - 22:09 - r1.7 | MikeVanEmmerik |
| http://www.tcse.org/revengr/ derived/home.htm cmp indust110 bnr.gif The IEEE TCSE Committee on ReverseEngineering and ReEngineering This committee, chaired by CristinaCifuentes ... | ||
| TeachingProgramTransformation | 27 Aug 2002 - 20:01 - r1.5 | TWikiGuest |
| Ingredients of a Course on Transformation What should a good course on transformation offer? Existing Courses about Transformation A list of courses with transformation ... | ||
| TeachingSoftwareEvolution | 25 Feb 2005 - 10:42 - r1.20 | ReengineeringGuest |
| What should a course on SoftwareEvolution cover? The CCSE initiative has recognized software evolution as a separate knowledge area . The second draft of this initiative ... | ||
| TemplateHaskell | 08 May 2005 - 20:00 - r1.3 | MartinBravenboer |
| Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ... | ||
| TempoSpecializer | 05 Dec 2001 - 20:07 - NEW | EelcoVisser |
| From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ... | ||
| TerenceParr | 30 Apr 2001 - 10:05 - NEW | EelcoVisser |
| Terence John Parr is the designer and implementer of ANTLR, SORCERER and PCCTS. See http://www.antlr.org CategoryPeople | ||
| TermRewriting | 07 Nov 2001 - 10:12 - r1.2 | ArieVanDeursen |
| Term rewriting is the process of simplifying symbolic expressions ( terms ) by means of a RewriteSystem, i.e., a set of RewriteRules. An example rewrite system is ... | ||
| TermRewritingImplementation | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Papers StaticAnalysisTechniquesForEquationalLogicProgramming | ||
| TermRewritingSystems | 25 Oct 2001 - 14:31 - NEW | EelcoVisser |
| This page collects links to systems that implement TermRewriting and related paradigms. See also the general list of TransformationSystems. Feel free to add links ... | ||
| TestCom | 07 Jan 2002 - 08:54 - NEW | ArieVanDeursen |
| The IFIP International Conference on Testing of Communicating Systems http://www.fokus.fhg.de/events/testcom2002 Conference: March Deadline: September CategoryConference ... | ||
| TeyjusSystem | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://teyjus.cs.umn.edu/ They Teyjus system is a compiler and abstract machine for the LambdaProlog language. LambdaProlog provides control over data with ... | ||
| TheEssenceOfStrategicProgramming | 17 Jun 2003 - 21:49 - r1.9 | EelcoVisser |
| Laemmel, Visser and Visser. The Essence Of Strategic Programming . Draft paper (October 15, 2002) (pdf,ps) Abstract programming is generic programming with the use ... | ||
| TheFourPlusOneViewModelOfArchitecture | 10 Oct 2001 - 13:02 - r1.2 | ArieVanDeursen |
| The 4+1 View Model of Architecture Philippe Kruchten, Rational Software, Canada IEEE Software, November 1995, 12 (6), pp.42-50 The 4+1 View Model organizes a description ... | ||
| TheOnlineSurveyOfProgramTransformation | 23 Dec 2001 - 20:56 - r1.9 | ArieVanDeursen |
| ProgramTransformation techniques are used in a many areas of SoftwareEngineering ranging from ProgramSynthesis, via ProgramOptimization and ProgramRefactoring, to ... | ||
| TheTAMPRProgramTransformationSystem | 06 May 2001 - 23:37 - NEW | EelcoVisser |
| The TAMPR Program Transformation System: Simplifying the Development of Numerical Software by J. M. Boyle, T. J. Harmer and V. L. Winter In E. Arge, A.M. Bruaset ... | ||
| TheTAMPRProgramTransformingSystem | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| obsolete | ||
| ThomFruewirth | 26 Feb 2002 - 22:50 - NEW | EelcoVisser |
| Homepage: http://www.pst.informatik.uni-muenchen.de/~fruehwir/ WorkshopOnRuleBasedProgramming CategoryPeople | ||
| ThreadMode | 14 Oct 2001 - 11:02 - NEW | EelcoVisser |
| See Main.ThreadMode Main.EelcoVisser 14 Oct 2001 | ||
| TiagoAssumpcao | 01 Nov 2004 - 22:37 - NEW | TiagoAssumpcao |
| Name: Tiago Assumpcao Email: module@whatever.org.ar Homepage: http://whatever.org.ar/~module Country: Brazil Comment: | ||
| TimSheard | 14 Mar 2002 - 22:05 - NEW | TWikiGuest |
| Homepage: http://www.cse.ogi.edu/~sheard/ MetaML CategoryPeople | ||
| TipForTypingTab | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| If you have trouble typing tabs in EditText you can do one of these things: Check I can't type tabs. The computer will ConvertSpacesToTabs for you when you save. Try ... | ||
| TipsForBeginners | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| First Tip: Find something what your are interested in and then make your contribution by adding text to a current page (like this one) or adding a link to a current ... | ||
| TkSeeSN | 21 Oct 2002 - 19:54 - NEW | HolgerKienle |
| TkSeeSN is a C/C++ extractor with TA++ and GXL output. It is based on SourceNavigator. http://www.site.uottawa.ca:4333/dmm/ | ||
| TobiasKuipers | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.cwi.nl/~kuipers/ JJForester | ||
| ToddProebsting | 30 Apr 2001 - 13:53 - NEW | EelcoVisser |
| Homepage: http://research.microsoft.com/~toddpro/ Designer of BURG and other things CategoryPeople | ||
| TodoList | 07 Mar 2002 - 08:13 - r1.11 | ArieVanDeursen |
| Things todo for the Tansform wiki! (feel free to do them) (When discussing one of the todo items, please TurnIssuesIntoTopics) Wiki Content Issues PromotingParticipation ... | ||
| Tom | 20 Apr 2004 - 07:27 - NEW | PierreEtienneMoreau |
| Tom is a pattern matching compiler for Tree and XML based transformations in Java. Homepage: http://tom.loria.fr Contact: Tom tom-users@loria.fr Influences ELAN ASFandSDF ... | ||
| TomMens | 08 Aug 2004 - 21:06 - r1.3 | TomMens |
| -- Main.TomMens 08 August 2004 Tom Mens lectures at the University of Mons-Hainaut, where he directs the Software Engineering Laboratory since October 2003. Until ... | ||
| TonyHoare | 11 Dec 2001 - 12:24 - NEW | EelcoVisser |
| Homepages http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html http://research.microsoft.com/~thoare/ PlayingByTheRules CategoryPeople | ||
| TransformationApplications | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Application Areas Compiling ProgramTranslation ProgramOptimization SoftwareEngineering ProgramRefinement SoftwareMaintenance ReverseEngineering HighPerformanceComputing ... | ||
| TransformationBibliography | 17 Apr 2001 - 13:51 - r1.3 | ArieVanDeursen |
| Bibliographies TransformationReviews ResearchIndex on program transformation : http://citeseer.nj.nec.com/cs?q program+transformation cs 1 Bibliography on partial ... | ||
| TransformationCompanies | 04 Apr 2007 - 18:46 - r1.47 | OegeDeMoor |
| Description Several companies provide products or services based on program analysis and transformation technology AbsInt AbsoftCompany AllenSystemsGroup (Viasoft ... | ||
| TransformationConferences | 26 Aug 2008 - 22:58 - r1.45 | MartinBravenboer |
| Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ... | ||
| TransformationFramework | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| A TransformationFramework is a collection of standard components for creating ProgramTransformationSystems for some language. (Is A TransformationFramework the same ... | ||
| TransformationGroups | 13 Nov 2004 - 01:00 - r1.6 | JoseLuizFiadeiro |
| Here are some research groups that work on program transformation, ordered by region. Netherlands Software Technology Group (Universiteit Utrecht), http://www.cs.uu ... | ||
| TransformationImplementation | 20 Oct 2001 - 13:14 - r1.3 | EelcoVisser |
| Topics in the implementation of ProgramTransformation: ProgramRepresentation AbstractSyntax HigherOrderAbstractSyntax ProgramParsing LexicalAnalysis ContextFreeParsing ... | ||
| TransformationJournals | 30 Jan 2006 - 22:10 - r1.11 | MikeVanEmmerik |
| Journals with an interest in ProgramTransformation ACM AppliedComputingReview ACM Transactions on Programming Languages and Systems ( ACM Transactions on Software ... | ||
| TransformationMailingLists | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| pept@yl.is.s.u-tokyo.ac.jp http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pept/ rewriting@ens-lyon.fr http://www.loria.fr/~vigneron/RewritingHP/ stratego@cs.uu.nl http: ... | ||
| TransformationMechanics | 15 Feb 2004 - 14:44 - r1.4 | EelcoVisser |
| Jonne van Wijngaarden and Visser. Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation ... | ||
| TransformationPapers | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| This page provides a list of papers that are discussed at ProgramTransformationOrg. See the TransformationBibliography for other bibliographies in the area of ProgramTransformation ... | ||
| TransformationParadigm | 26 Mar 2001 - 08:05 - NEW | EelcoVisser |
| A ProgramTransformation paradigm is an area of application of TransformationTechniques. Paradigms that are employed in compilers and other automatic language processors ... | ||
| TransformationPeople | 22 Nov 2005 - 19:03 - r1.63 | KarlTrygveKalleberg |
| The following people are somehow related to ProgramTransformation. Note that the list is by no means complete. Please add anyone (including yourself) to the list, ... | ||
| TransformationReviews | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| TransformationReviews is a collection of reviews of papers about program transformation. If you have read a paper that is relevant to the area, feel free to contribute ... | ||
| TransformationRules | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| A transformation rule is a description (in some formal language) of the transformation of (a part of) a program. Many formal languages for the description of transformation ... | ||
| TransformationStrategies | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Definition TransformationStrategies are programs that determine the order for application of TransformationRules. Tools The following ProgramTransformationTools support ... | ||
| TransformationSystem | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| TransformationSystem: see TransformationSystems. | ||
| TransformationSystemTaxonomy | 24 Jun 2005 - 16:23 - r1.6 | PhilippKutter |
| There are many TransformationSystems available. This page contains an ordering of these systems by paradigm. TermRewriting Systems based on pure TermRewriting define ... | ||
| TransformationSystems | 03 Nov 2008 - 19:57 - r1.48 | JamesCordy |
| A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ... | ||
| TransformationTaxonomy | 20 Jan 2002 - 10:41 - r1.3 | EelcoVisser |
| An overview of various forms of ProgramTransformation. Translation ProgramMigration ProgramSynthesis ProgramRefinement ProgramCompilation ReverseEngineering DeCompilation ... | ||
| TransformationToolTaxonomy | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Tree Traversal MemphisTreeWalker | ||
| TreeRewriting | 08 Jun 2002 - 21:04 - r1.4 | EelcoVisser |
| Tree rewriting is a synonym for rewriting, i.e., the process of transforming trees (structured data) into other trees by applying rewriting rules. tree rewriting is ... | ||
| TrfL | 19 Apr 2004 - 21:21 - NEW | MaratBoshernitsan |
| Homepage: http://www-sop.inria.fr/croap/personnel/Christophe.Roudet/TrfL/ TrfL is a rule based language designed for program transformations. For the end-user, TrfL ... | ||
| TupleAttributeLanguage | 02 Mar 2002 - 13:52 - r1.3 | ArieVanDeursen |
| The Tuple-Attribute language (TA)is based on the RSF triple notation. Edges and nodes are specified identically to RSF. Nodes and types can be attributed. Attributes ... | ||
| TurnIssuesIntoTopics | 22 Oct 2001 - 12:47 - r1.2 | ArieVanDeursen |
| A page may contain many issues to avoid nested ThreadMode turn the issue into a TWiki.WikiWord and continue discussion there. CategoryWiki | ||
| TypeBasedAnalysis | 10 Jun 2001 - 17:00 - NEW | EelcoVisser |
| Type-based program analysis is a form of ProgramAnalysis in which type information is used to infer properties of a program. JensPalsberg, Type-Based Analysis and ... | ||
| UBerneReengineeringTutorial | 21 Aug 2003 - 21:44 - NEW | SergeDemeyer |
| The University of Berne (Stephane Ducasse and Oscar Nierstrasz) together with the University of Antwerp (Serge Demeyer) created a tutorial on object-oriented reengineering ... | ||
| UCSDSoftwareEvolutionGroup | 15 Mar 2001 - 15:36 - NEW | ArieVanDeursen |
| University of California, San Diego SoftwareEvolution Group http://www-cse.ucsd.edu/users/wgg/swevolution.html Software is changed--maintained and evolved--more often ... | ||
| UML | 22 Apr 2005 - 19:23 - r1.7 | AdrianBuehlmann |
| Unified Modeling Language see http://www.rational.com/uml/index.jsp for tool and SoftwareProcess support see http://www.visual-paradigm.ocm/vpuml.php for powerful ... | ||
| UNICODE | 30 Oct 2003 - 09:34 - r1.2 | MartinBravenboer |
| Introduction Unicode is an effort to create a single character set that includes every single character needed by a written human language on our the planet. An important ... | ||
| URL | 05 Aug 2001 - 11:32 - NEW | ArieVanDeursen |
| The uniform resource locator ... | ||
| USE | 10 Sep 2002 - 15:57 - NEW | ArieVanDeursen |
| International Workshop on Unanticipated SoftwareEvolution Techniques and technologies that offer support for software evolution are still far from ideal. In particular ... | ||
| USENIX | 30 Aug 2001 - 22:53 - NEW | TWikiGuest |
| USENIX is the Advanced Computing Systems Association. http://www.usenix.org/ | ||
| UVicReverseEngineeringTutorial | 15 Mar 2002 - 14:41 - r1.4 | ArieVanDeursen |
| Understanding Software Systems Using Reverse Engineering Technologies: Research and Practice HausiMueller , Department of Computer Science, University of Victoria ... | ||
| UmlTools | 07 Mar 2005 - 06:55 - r1.3 | SukiChan |
| There are many tools for editing UML diagrams. I conducted a little comparison to find a good tool to use in a software engineering course in the Spring of 2000. This ... | ||
| UnccDecompiler | 16 Aug 2004 - 13:09 - NEW | MikeVanEmmerik |
| http://www.autistici.org/uncc/ Was at http://www.uncc.info (now for sale) uncc is a tiny decompiler for X86 binary files. It uses objdump as a disassembler, and uses ... | ||
| UnderstandingProgramUnderstanding | 23 Dec 2001 - 20:36 - NEW | ArieVanDeursen |
| Web site collecting all sorts of resources on ProgramUnderstanding, set up by FrancoiseBalmas. http://www.ai.univ-paris8.fr/UPU/repository.html CategoryProgramUnderstanding ... | ||
| UnitTesting | 02 Sep 2002 - 22:29 - NEW | MartinBravenboer |
| Introduction UnitTesting is one of the key practices of ExtremeProgramming. A unit test exercises an isolated unit of sourcecode instead of the complete sourcecode ... | ||
| UnivacM460 | 23 Aug 2004 - 07:16 - r1.2 | MikeVanEmmerik |
| 250 Machine-Independent Computer Programming TABLE XIII MACHINE LANGUAGE INSTRUCTION REPERTOIRE OF THE UNIVAC M-46O COUNTESS COMPUTER FF Function FF Function 00 Illegal ... | ||
| UpdatableFolds | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ... | ||
| UpdateWebPages | 03 Nov 2002 - 15:00 - NEW | EelcoVisser |
| Edit this page to retire all pages in the cache for this web. Don't do this too often since it degrades performance. | ||
| UrsulaMartin | 01 Dec 2001 - 23:42 - r1.2 | EelcoVisser |
| Homepage: http://www-theory.dcs.st-and.ac.uk/~um/ CategoryPeople | ||
| UweAssman | 06 Dec 2001 - 12:44 - r1.2 | EelcoVisser |
| Homepage: http://i44s11.info.uni-karlsruhe.de/~assmann/ OPTIMIX CompostFramework Transform.CategoryPeople | ||
| VBReFormer | 21 Nov 2008 - 00:49 - r1.5 | MikeVanEmmerik |
| http://www.decompiler-vb.net http://www.decompiler-vb.net/vbreformer.aspx (professional version) Begun in 1999, VBReFormer is a Visual Basic (V5/6) decompiler. There ... | ||
| VXPE | 15 Aug 2004 - 11:52 - NEW | MikeVanEmmerik |
| http://sourceforge.net/projects/nktspeview VX Portable Executable Viewer is an open source project hosted on Sourceforge. From the web page: Browse the structure of ... | ||
| VaclavRajlich | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Vaclav Ralich, http://www.cs.wayne.edu/~vip/VaclavRajlich.html Topics: SoftwareMaintenance DocumentationGeneration CategoryPeople | ||
| Vacppparse | 21 Oct 2002 - 21:45 - NEW | HolgerKienle |
| vacppparse is the C++ extractor of the RigiSystem. It is based on IBM VisualAge C++. (It runs under AIX only?) | ||
| ValentinTurchin | 06 Dec 2001 - 13:08 - r1.3 | EelcoVisser |
| Russian philosopher-scientist, developer of REFAL language and SuperCompilation, a ProgramOptimization technique. See http://pespmc1.vub.ac.be/TURCHIN.html Main.MaD ... | ||
| VariabilityManagement | 24 Apr 2002 - 14:26 - r1.7 | JoostVisser |
| SoftwareVariability? is an important source of complexity in software. Variability management is concerned controlling the versions and configurations of a software ... | ||
| VarmoVene | 06 Dec 2001 - 13:09 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.ut.ee/people/vene/ WarmFusionTransformation CategoryPeople | ||
| VirtualMachine | 17 Jun 2005 - 13:16 - r1.2 | MikeVanEmmerik |
| As the name implies, a Virtual Machine is not a real machine, such as a Pentium, but rather a machine, specified almost as precisely as a real machine, that is realized ... | ||
| VisAmb | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Obsolete. | ||
| VisSoft | 08 Dec 2001 - 12:24 - NEW | ArieVanDeursen |
| VISSOFT: Visualising Software for Understanding and Analysis Deadline: February Conference: June Colocated with IWPC. URL: http://www.dur.ac.uk/vissoft.2002/ Topics ... | ||
| VisitorCombinationAndTraversalControl | 03 Dec 2001 - 10:31 - r1.3 | JoostVisser |
| Visitor Combination and Traversal Control by Transform.JoostVisser This paper describes VisitorCombinators. These are implementations of the Visitor interface that ... | ||
| VisitorCombinators | 03 Dec 2001 - 10:28 - r1.4 | JoostVisser |
| Visitor combinators are described in VisitorCombinationAndTraversalControl. Visitor combinators are supported by the visitor combinator framework JJTraveler, and the ... | ||
| VisualBasicDecompilers | 21 Nov 2008 - 00:42 - r1.18 | MikeVanEmmerik |
| For Visual Basic programs compiled to .NET (e.g. with Visual Studio .NET 2003 or later), see DotNetDecompilers. JosephCo wrote a decompiler called Exdec. VBDis 3/4 ... | ||
| VisualLanguage | 25 Oct 2001 - 20:04 - r1.2 | ArieVanDeursen |
| A visual language is a ProgrammingLanguage that uses pictures to depict the instructions of a program and their relations. ControlFlowDiagram Visual languages can ... | ||
| WASDeTT | 14 Nov 2008 - 18:29 - NEW | HolgerKienle |
| Homepage: http://wasdett.wikispaces.com/ International Workshop on Advanced Software Development Tools and Techniques (WASDeTT) CategoryConference TransformationConferences ... | ||
| WCGP | 27 Aug 2001 - 08:58 - NEW | EelcoVisser |
| IFIPWG21 Working Conference on Generic Programming http://www.generic-programming.nl/wcgp/ Deadline: February Conference: July CategoryConference | ||
| WCRE | 28 Aug 2008 - 00:42 - r1.16 | MikeVanEmmerik |
| Working Conference on ReverseEngineering Submission: May (varies slightly) Conference: October (varies slightly) Pointers Upcoming conference web site: http://swerl ... | ||
| WESS | 03 Jun 2002 - 13:12 - r1.2 | ArieVanDeursen |
| Workshop on Empirical Studies in SoftwareMaintenance. Usually colocated with the InternationalConferenceonSoftwareMaintenance. Deadline: May 2002: http://www.info ... | ||
| WGP | 16 Mar 2001 - 21:51 - NEW | EelcoVisser |
| Workshop on Generic Programming | ||
| WICSA | 04 Feb 2005 - 12:54 - r1.6 | ReneKrikhaar |
| The Working IEEE / IFIP Conference on Software Architecture WICSA 2001 is the first joint IEEE / IFIP conference devoted to SoftwareArchitecture. Its purpose is to ... | ||
| WRLA | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.ldl.jaist.ac.jp/WRLA2000/ Workshop on Rewriting Logic and its Applications | ||
| WRS | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Homepage: http://www.logic.at/wrs01/ International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) Deadline: March Conference: May Background ... | ||
| WSE | 19 Aug 2004 - 10:20 - r1.6 | CorneliaBoldyreff |
| International Workshop on Website Evolution WSE 2004 WSE 2003 WSE 2002 Proceedings Details CategoryConference CategorySoftwareEvolution | ||
| WarmFusionDerivingBuildCatasFromRecursiveDefinitions | 14 May 2001 - 21:57 - NEW | EelcoVisser |
| JohnLaunchbury? and TimSheard. Warm Fusion: Deriving Build-Catas from Recursive Definitions. Conference Record 7th ACM SIGPLAN/SIGARCH Int.Conf. on Functional Programming ... | ||
| WcreBackGround | 02 Dec 2004 - 06:28 - r1.5 | MikeVanEmmerik |
| Background If you are involved in extracting information, artifacts, architectural components (or anything else of value) from existing systems then you should be ... | ||
| WcreCallForWorkshops | 02 Dec 2004 - 06:40 - r1.6 | MikeVanEmmerik |
| WCRE Call for Workshop Proposals NOTE: This page is obviously obsolete, as it refers to the 2002 conference. However, it can be reworked for future conferences. WCRE ... | ||
| WcreSubmissions | 02 Dec 2004 - 06:53 - r1.8 | MikeVanEmmerik |
| Submission of Papers Step 1: Authors are requested to notify the program committee of intent to submit a paper by May 1, 2002. This is optional but allows the committee ... | ||
| WcreTopics | 23 Mar 2002 - 12:16 - r1.3 | ArieVanDeursen |
| Topics Topics discussed at WCRE include but are not limited to: SoftwareMaintenance and SoftwareEvolution DeCompilation and BinaryTranslation ProgramComprehension ... | ||
| WcreWorkshops | 01 May 2002 - 07:53 - r1.4 | ArieVanDeursen |
| Workshop Proposals Continuing the successful extension of WCRE with workshops in the last two years, WCRE 2002 offers you the opportunity to organize a workshop devoted ... | ||
| WebChanges | 07 Jan 2005 - 14:46 - r1.5 | EelcoVisser |
| SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ... | ||
| WebChanges100 | 06 Dec 2001 - 13:26 - NEW | EelcoVisser |
| SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "100" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ... | ||
| WebChanges200 | 06 Dec 2001 - 13:25 - NEW | EelcoVisser |
| SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "200" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ... | ||
| WebChanges500 | 06 Dec 2001 - 13:23 - NEW | EelcoVisser |
| SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "500" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ... | ||
| WebContents | 12 Feb 2010 - 08:38 - NEW | EelcoVisser |
| WebCustomMenus | 28 Apr 2005 - 22:25 - NEW | Main.wiki |
| WebETS | 10 Oct 2002 - 16:57 - NEW | HolgerKienle |
| WebETS is an extractor benchmarks for Web sites (see ExtractorBenchmarks). It has similar structure and objectives to CppETS. Call for Participation The development ... | ||
| WebHome | 11 Dec 2007 - 00:10 - r1.57 | MikeVanEmmerik |
| INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ... | ||
| WebIndex | 02 Dec 2001 - 21:20 - r1.2 | EelcoVisser |
| SEARCH{"\. " scope "topic" regex "on" nosearch "on" format " $topic " noheader "on"} | ||
| WebLeftBar | 30 Jan 2006 - 14:43 - r1.7 | EelcoVisser |
| Home Surveys Transformation Reengineering DSL Domain Engineering Decompilation Generative Progr. Collections Categories Systems Conferences People Companies Papers ... | ||
| WebNews | 20 May 2009 - 07:26 - r1.29 | EelcoVisser |
| See also the announcements about specific systems in SystemNews. STARTINCLUDE STOPINCLUDE 2007-01-08 program-transformation.org is back online after absence for a ... | ||
| WebNotify | 24 May 2005 - 00:23 - r1.16 | JohnGrant |
| WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Transform web. This is a convenient service, so you do not ... | ||
| WebPreferences | 30 Jan 2006 - 14:34 - r1.16 | EelcoVisser |
| The following settings are web preferences of the TWiki.Transform web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can ... | ||
| WebRss | 09 May 2005 - 14:12 - r1.2 | MartinBravenboer |
| Program Transformation Wiki http://www.program-transformation.org Program Transformation Wiki INCLUDE{"Main.RssBase"} | ||
| WebSearch | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Simple search: Topic text (body) All webs (not only TWiki.Transform web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ... | ||
| WebStatistics | 13 Feb 2008 - 08:31 - r1.1610 | TWikiGuest |
| Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ... | ||
| WebStatistics2001 | 02 Mar 2005 - 05:53 - NEW | MikeVanEmmerik |
| Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2001 21983 530 0 2861 1006 WebHome ... | ||
| WebStatistics2002 | 02 Mar 2005 - 05:56 - NEW | MikeVanEmmerik |
| Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2002 1978 21 0 580 ReengineeringWikiSiteMap ... | ||
| WebTools | 30 Nov 2004 - 12:06 - r1.4 | MartinBravenboer |
| Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ... | ||
| WhatIsADomain | 24 Apr 2002 - 14:21 - r1.5 | JoostVisser |
| From the DSLAnnotatedBibliography: Our definition of DomainSpecificLanguages inherits the vagueness of one of its defining terms: problem domain . Rather than attempting ... | ||
| WhyDecompilation | 29 Apr 2005 - 23:50 - r1.17 | MikeVanEmmerik |
| Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ... | ||
| WikiContributors | 23 Dec 2001 - 20:56 - r1.2 | ArieVanDeursen |
| The XTWikiWiki is the common substrate for a number of sites on various aspects of ProgramTransformation, ranging from a general survey of the field in TheOnlineSurveyOfProgramTransformation ... | ||
| WikiRenovation | 14 Oct 2001 - 12:14 - r1.3 | ArieVanDeursen |
| The software on which this WikiWikiWeb runs is starting to become antiquated. It lacks many features that would be useful in a Wiki. It is also a problem that it does ... | ||
| WikiTools | 30 Nov 2004 - 12:06 - r1.5 | MartinBravenboer |
| Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ... | ||
| WikiWebs | 21 Mar 2001 - 08:46 - NEW | EelcoVisser |
| MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ... | ||
| WikiWikiSandbox | 31 Oct 2005 - 12:17 - r1.6 | ReengineeringGuest |
| Yes, please, press the Edit button and add text! Add a link: http://www.program-transformation.org/re/ Very Interesting Site. Item 1 Item 2 Item 3 Item 4 Who wants ... | ||
| WikiWikiWeb | 31 Oct 2001 - 22:37 - r1.3 | EelcoVisser |
| See OneMinuteWiki, and the Main.WikiWikiWeb page in the main web. | ||
| Win32PE | 15 Aug 2004 - 13:29 - r1.2 | MikeVanEmmerik |
| http://msdn.microsoft.com/msdnmag/issues/02/02/PE/default.aspx (part 1) http://msdn.microsoft.com/msdnmag/issues/02/03/pe2/default.aspx (part 2) "An In-Depth Look ... | ||
| Win32ProgramDisassembler | 24 Oct 2004 - 03:50 - NEW | MikeVanEmmerik |
| http://www.geocities.com/SiliconValley/Foothills/4078/ Win32 Program Disassembler is a straight line disassembler of Windows 32-bit executables (i.e. PE) by Sang Cho ... | ||
| WolframKahl | 19 Apr 2004 - 21:33 - r1.3 | MaratBoshernitsan |
| Homepage: http://www.cas.mcmaster.ca/~kahl/ HOPS CategoryPeople | ||
| WordsSmashedTogetherLikeSo | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| If the title you want is just one word, how can you "smash" it together? 1. You can add some other word(s). For example, instead of Z , use ZSpecificationLanguage ... | ||
| WorkshopOnRuleBasedConstraintReasoningAndProgramming | 21 Nov 2001 - 09:37 - r1.2 | EelcoVisser |
| Description (from call for papers) Rule-based formalisms are ubiquitous in computer science, and even more so in constraint reasoning and programming. In constraint ... | ||
| WorkshopOnRuleBasedProgramming | 15 Nov 2005 - 16:02 - r1.25 | EelcoVisser |
| 2002 ACM SIGPLAN Workshop on Rule-Based Programming Workshop Program Satellite event of PLI'02 Saturday, October 5, 2002 Pittsburgh, USA http://www.program-transformation ... | ||
| XACT | 16 Aug 2004 - 13:04 - NEW | MikeVanEmmerik |
| http://www.actworld.com/tools/index.shtml XACT by Applied Conversion Technologies, Inc. is a tool for transforming assembly language to C, which is part of X4MR-Based ... | ||
| XAspects | 08 May 2005 - 20:34 - NEW | MartinBravenboer |
| Publications An extensible system for domain-specific aspect languages Macneil Shonle, Karl Lieberherr, Ankit Shah Companion of the 18th annual ACM SIGPLAN conference ... | ||
| XDR | 29 Aug 2001 - 21:54 - NEW | TWikiGuest |
| The External Data Representation Standard is available as RFC 1832: http://www.freesoft.org/CIE/RFC/1832/ | ||
| XDuce | 29 May 2002 - 22:32 - r1.2 | MartinBravenboer |
| Homepage: http://xduce.sourceforge.net/ A typed language for processing XML documents. XDuce uses regular expression types ( SchemaLanguageForXML ) to describe the ... | ||
| XML | 27 Jun 2004 - 19:47 - r1.14 | MartinBravenboer |
| Homepage: http://www.w3.org/XML/ XML is the Extensible Markup Language, a format for the exchange of structured data. XML, which is a simplified subset of SGML, was ... | ||
| XMLPullParsing | 29 May 2002 - 22:20 - NEW | MartinBravenboer |
| Java: http://www.xmlpull.org/ JSR 173: http://www.jcp.org/jsr/detail/173.jsp Microsoft's XmlReader Main.MartinBravenboer 30 May 2002 | ||
| XMLQueryAlgebra | 17 May 2001 - 10:39 - r1.2 | RubenBoer? |
| The XML Query Algebra is a proposal from the WorldWideWebConsortium as a formal basis for query languages for XML. http://www.w3.org/TR/query-algebra/ CategoryLanguage ... | ||
| XMLSchema | 29 May 2002 - 22:51 - NEW | MartinBravenboer |
| Standard : http://www.w3.org/XML/Schema XMLSchema is the new SchemaLanguageForXML standard of the W3C. It should replace DocumentTypeDefinition. Main.MartinBravenboer ... | ||
| XP | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Abbreviation for ExtremeProgramming. | ||
| XRefactory | 03 May 2001 - 12:07 - NEW | EelcoVisser |
| Homepage: http://www.xref-tech.com/ XRefactory is a refactoring browser/editor for C and Java based on XEmacs CategorySystem Main.EelcoVisser 03 May 2001 | ||
| XSL | 31 Oct 2001 - 15:26 - NEW | TWikiGuest |
| ExtensibleStylesheetLanguage | ||
| XTRAN | 09 Jun 2014 - 15:53 - r1.2 | MaD |
| Quoting from http://www.xtran-llc.com/xtran.html : XTRAN is a proprietary expert system for symbolic manipulation of computer languages, including: Assemblers Third ... | ||
| XrayArchitectureRecovery | 24 Sep 2002 - 12:04 - r1.2 | ArieVanDeursen |
| The design and evaluation of appropriate SoftwareArchitectures is key to the effective development, management, evolution, and reuse of software systems. However, ... | ||
| Y2K | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| Y2K is the techies term for the year 2000. The year in which power plants, nuclear rocket installations and the like where supposed to blow up. Nothing big happend ... | ||
| YannisSmaragdakis | 06 Dec 2001 - 13:07 - r1.2 | EelcoVisser |
| Homepage: http://www.cs.utexas.edu/users/smaragd/ DiSTiL CategoryPeople | ||
| Yaxx | 16 Mar 2004 - 21:20 - NEW | YijunYu |
| YAXX an extension to YACC grammar parser Bison, capable of output syntax tree into an XML document and its corresponding DTD rules. http://sourceforge.net/projects ... | ||
| YetAnotherCompilerCompiler | 09 Mar 2004 - 10:12 - r1.3 | MartinBravenboer |
| YACC is a grammar formalism and parser generator. The class of context-free grammars accepted by YACC is LALR(1) with disambiguating rules. | ||
| ZinoBenaissa | 11 Dec 2001 - 11:57 - NEW | EelcoVisser |
| Homepage: http://www.cse.ogi.edu/~benaissa/ MetaML Stratego.StrategoLanguage CategoryPeople | ||
| aTermPatternMatchCompilerInspiredByFiniteAutomataTheory | 09 May 2001 - 21:26 - r1.2 | EelcoVisser |
| A Term Pattern-Match Compiler Inspired by Finite Automata Theory by MikaelPettersson In International Workshop on Compiler Construction (CC'92) LNCS 641, SpringerVerlag ... | ||