Homepage: http://caml.inria.fr/consortium/ CAML is a dialect of the FunctionalProgrammingLanguage ML.

CC Compiler Construction, a series of conferences. The 2001 version is to be held as part of ETAPS'01 CategoryConference

IEEE-CS/ACM Computing Curricula: Software Engineering. Part of the IEEE/ACM Computer Curriculum activity, aimed at developing the software engineering volume. Computer ...

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 is an acronym that stands for CaseDataExchangeFormat.

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 HelmutPartsch

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 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 is the major international forum for researchers, practitioners, managers, and policy makers interested in computer software and applications. It was first ...

CONS is a replacement for make, written in Perl. It is not compatible with make. http://www.dsmit.com/cons/

http://www.canb.auug.org.au/~millerp/cook/cook.html Cook is a replacement for make.

C++ is an object-oriented extension of CProgrammingLanguage. Transformation of C++ programs is supported by AcaCia / CIAO OpenCpp Stratego.CodeBoost DMSSoftwareReengineeringToolkit ...

See http://www.frontendart.com and http://www.frontendart.com/cppml/cppml-2.0.dtd for details. Main.RudolfFerenc 20 Feb 2003

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

Conference on Software Engineering Education and Training 2002: http://www.site.uottawa.ca/cseet2002 Submission deadline: September Conference: February CategoryConference ...

Homepage: http://www.lsv.ens-cachan.fr/csl01/ Annual Conference of the European Association for Computer Science Logic Deadline: March Conference: September

European Conference on SoftwareMaintenance and ReEngineering Conference: 2005: http://www.rcost.unisannio.it/csmr2005/ 2004: http://www.cs.tut.fi/~csmr2004 2003: http ...

CUP (Constructor of Useful Parsers) is a LALR parser generator for Java. Website: http://www.cs.princeton.edu/~appel/modern/java/CUP/

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

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

http://www.castsoftware.com/ CAST is a software company committed to simplifying the complexity of software engineering through Application Mining solutions. CategoryCompany ...

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

The category of pages related to ProgramAnalysis. SEARCH{search "CategoryAnalysis" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...

Pages dealing with SoftwareArchitecture the title gives them all. SEARCH{search "CategoryArchitecture" nosummary "on" scope "text" noheader "on" nosearch "on" format ...

CategoryBinaryTranslation: pages devoted to BinaryTranslation. SEARCH{search "CategoryBinaryTranslation" nosummary "on" scope "text" header "" nosearch "on" web "Transform ...

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

The category of all categories. Categories are a way to organize Wiki pages: see Wiki:CategoryCategory SEARCH{search "Category" nosummary "on" scope "topic" header ...

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

The category of companies offering ProgramTransformation products or services. Click on the title to get them. SEARCH{search "CategoryCompany" nosummary "on" scope ...

The category of conferences in the area of ProgramTransformation. TransformationConferences has conferences ordered by submission deadline. SEARCH{search "CategoryConference ...

Category of pages related to DomainSpecificLanguages. SEARCH{search "CategoryDSL" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic ...

The Category of data formats. Click on the title. CategoryCategory

CategoryDecompilation: pages devoted to DeCompilation. SEARCH{search "CategoryDecompilation" nosummary "on" scope "text" header "" nosearch "on" web "Transform" format ...

Pages devoted to DomainEngineering. SEARCH{search "CategoryDomainEngineering" nosummary "on" scope "text" noheader "on" nosearch "on"} CategoryCategory

All EntryPoints into ProgramTransformationOrg. SEARCH{search "CategoryEntryPoint" nosummary "on" scope "text" header "" nosearch "on" nototal "on" format " $web / ...

All pages belonging to the GenerativeProgrammingWiki: SEARCH{search "CategoryGenerativeProgrammingWiki" nosummary "on" scope "text" noheader "on" nosearch "on"} See ...

Click on the title to find all research groups. (Ehhh, all pages containing the word CategoryGroup) CategoryCategory

The category of TransformationJournals. Click on the title to see them SEARCH{search "CategoryJournal" nosummary "on" scope "text" noheader "on" nosearch "on" nototal ...

CategoryLanguage is the category of ProgrammingLanguages that are subject to ProgramTransformation. SEARCH{search "CategoryLanguage" nosummary "on" scope "text" noheader ...

The category of ProgramOptimizations. SEARCH{search "CategoryOptimization" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory ...

The category of pages about a paper. SEARCH{"CategoryPaper" header "" format " $topic" nototal "on" nosearch "on" web "Transform Stratego Tools"} See also CategoryBook ...

The category of computing paradigms. Click on the title to get them all. CategoryCategory

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: pages devoted to ProgramUnderstanding. SEARCH{search "CategoryProgramUnderstanding" nosummary "on" scope "text" noheader "on" nosearch ...

Category of pages describing transformation research projects. LegToNet, Marie-Curie TOK-IAP 003169 CategoryCategory

CategoryReengineeringPages: pages dealing with ReEngineering topics. SEARCH{search "CategoryReengineeringPages" nosummary "on" scope "text" noheader "on" nosearch ...

CategoryReengineeringWiki: Category of main topics (categories) in the ReengineeringWiki. SEARCH{search "CategoryReengineeringWiki" nosummary "on" scope "text" noheader ...

CategoryReverseEngineering: pages devoted to ReverseEngineering. SEARCH{search "CategoryReverseEngineering" nosummary "on" scope "text" noheader "on" nosearch "on ...

This is the category of paper reviews. SEARCH{"CategoryReview" format " $topic " nosearch "on"} CategoryCategory TransformationReviews

CategoryRigi: all pages containing the word "CategoryRigi" are devoted to the RigiSystem. SEARCH{search "CategoryRigi" nosummary "on" scope "text" noheader "on" nosearch ...

CategorySoftwareEvolution: Pages devoted to SoftwareEvolution SEARCH{search "CategorySoftwareEvolution" nosummary "on" scope "text" noheader "on" nosearch "on" format ...

The category of syntax related topics. Click on the title to get them all. CategoryCategory

The category of TransformationSystems. SEARCH{"CategorySystem" format " $topic " nosearch "on" noheader "on"} CategoryCategory

The category of taxonomies SEARCH{search "CategoryTaxonomy" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic " } CategoryCategory ...

CategoryTeaching: pages devoted to teaching ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTeaching" nosummary "on" scope "text" noheader "on ...

Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms ) between objects . For example, we ...

The category of topics related to ProgramTransformation. Click on the title to get them all. CategoryCategory

The Category of TransformationParadigms. (Click on the title to see them all.) CategoryCategory

CategoryTutorial: Category of tutorial articles in the areas of ProgramTransformation, ReverseEngineering, ... SEARCH{search "CategoryTutorial" nosummary "on" scope ...

CategoryWcre: Pages on WCRE SEARCH{search "CategoryWcre" nosummary "on" scope "text" noheader "on" nosearch "on" format " $topic " } CategoryCategory

Category of pages devoted to discussions of wiki style and techniques. SEARCH{search "CategoryWiki" nosummary "on" scope "text" header "" nosearch "on" format " $topic ...

http://www.iu.hioslo.no/cfengine/ cfengine is short for `configuration engine'. Although its primary goal is to `administrate and configure large computer networks ...

Homepage: http://brahms.fmi.uni-passau.de/cl/staff/lengauer/ CategoryPeople

Chris' information page is maintained at: Main.ChrisRussell

Chris Verhoef mr X X http://www.cs.vu.nl/~x/ SoftwareArchitecture, in particular archictural modification.

Homepage: http://research.microsoft.com/~cwfraser/ Christopher Fraser is one of the designers of BURG and many other things. CategoryPeople

Homepage: http://cs.hofstra.edu/~cscccl/ Construction in Higher Order Logic Programming Order Compilation Project CategoryPeople

The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ...

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

This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works!

Homepage: http://www.cs.kun.nl/~clean/ Clean is a functional programming language. mailinglist: http://www.cs.kun.nl/mailman/listinfo/clean-list

Finding groups in data by computing distances or similarities between elements. In ReverseEngineering, typically used for remodularization, ObjectIdentification, and ...

CoSy is a compiler manufacturing Framework

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 from IntlandCompany is a web-based source code comprehension product that enables enterprises or geographically dispersed groups of developers to analyze ...

http://codebreakers-journal.com/ "Journal for Algorithms, Virus-Research, Software-Protection and Reverse Code Engineering". Seems to be peer reviewed, published 3 ...

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

Code Complete by Steve McConnell. Microsoft Press, 1993. A practical handbook of software construction . 800 pages every developer should study. CategoryBook

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 is a language independent ReverseEngineering tool for systems written in ObjectOrientedProgrammingLanguages which combines metrics and SoftwareVisualization ...

Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...

A code generator is a compiler component that translates intermediate representation expression trees to lists of machine instructions. See CodeGeneration. Main.EelcoVisser ...

Annotated Bibliography on Code Reading and ProgramComprehension Deimel and Naveda (1990) Reading Computer Programs: Instructor's Guide and Exercises. CMU/SEI-90-EM ...

This tool is a scripting language (distributed under LGPL at http://www.codeworker.org) dedicated to automate the development process, from requirements specification ...

Cognitive models of program comprehension model the mental processes involved in program understanding. In most cognitive models, hypotheses are key drivers of the ...

Colm: COmputer Language Manipulation Homepage: http://www.complang.org/colm/ Colm is a programming language designed for the analysis and transformation of computer ...

See FrontEndART for details. Main.RudolfFerenc 07 Jan 2003

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

The following companies offer decompilation services (from binary code or assembly code). The techniques used by these companies are usually proprietary, but often ...

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

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

Name Component name. Synopsis Short usage of the component. Description Description of the functionality offered by the component, focussing on common usage. Options ...

Homepage: http://i44w3.info.uni-karlsruhe.de/~compost/ Compost is a framework for program transformation and analysis implemented in Java. UweAssman OPTIMIX

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

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

The compiler should effectively continuously transform a program from an interpreted to a fully optimized form. http://www.cs.wustl.edu/~plezbert/contcom/ RonCytron ...

Control flow analysis in decompilation convert conditional and non-conditional jump instructions into high-level language control constructs such as if/else, while ...

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

Cost-effective Maintenance Tools for Proprietary Languages by MerijnDeJonge Ramin Monajemi Available at: http://www.cwi.nl/~mdejonge/papers/#JM2001

CppETS is an extractor benchmarks for C++ (see ExtractorBenchmarks). The benchmark has been exercised at the following occasions: CASCON 2001 workshop (CppETS 1.0 ...

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

C++ templates allow compile-time programming in the type system of C++.

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

Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople

Homepage: http://www.cs.sfu.ca/~dbeyer/CrocoPat/ CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive ...

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

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