Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

October 26, 2013 FOSD Workshop October 27, 2013 Opening and Keynote Address 08:30-08:40 Welcome and Introduction 08:40-10:00 Don Batory. Dark Knowledge and Graph ...

Joint GPCE/SLE Keynote Programming Cloud-connected Mobile Devices Nikolai Tillmann (Microsoft Research) We are experiencing a technology shift: Powerful and easy-to ...

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Call For Papers ACM SIGPLAN 2008 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'08) Nice, France January 7-8, 2008 (Co-located with POPL 2008) http ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Christopher Brown and Simon Thompson. Clone Detection and ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation, which spans from refactoring ...

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Jeroen Weijers, Jurriaan Hage and Stefan Holdermans ...

The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...

The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

C A L L F O R P A P E R S P E P M 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM14 January 20 ...

Monday, January 20th, 2014 09:00 10:00 Invited Talk Session Chair: Wei-Ngan Chin Michal Moskal: Lessons from a Web-Based IDE and Runtime 10:30 12:00 Meta-Programming ...

This page provides a tour of the different features of Spoofax. For additional supporting material and documentation, visit our page. For a quick overview of features ...

TOC Features Java-front is a package you can use to generate or transform Java code. It contains a handcrafted SDF grammar for Java, signatures generated from this ...

Delft University of Technology The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most ...

Stratego/XT 0.17 released July 2009 Known issues On 64 bit systems, parsing using SGLR (which is used in many Stratego programs) can result in SEGV due to limited ...

Strategies for Program Transformation Stratego Tutorial at ETAPS Full Day Tutorial on April 14, 2002 at Transform.ETAPS 2002 in Grenoble, France Handouts are now ...

2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ...

Attribute grammars were introduced by DonaldKnuth in 1968 for the definition of the semantics of (programming) languages. An attribute grammar is a specification that ...

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

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

International Symposium on SoftwareTesting and Analysis Every two years. Call for papers: February Conference: July Proceedings: ACM SIGSOFT Software Engineering Notes ...

John Gallagher works in program analysis and transformation of logic programs Homepage: http://www.cs.bris.ac.uk/~john/ CategoryPeople

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

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

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

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

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

ProgramAnalysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range ...

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

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

Bibliographies TransformationReviews ResearchIndex on program transformation : http://citeseer.nj.nec.com/cs?q program+transformation cs 1 Bibliography on partial ...

Description Several companies provide products or services based on program analysis and transformation technology AbsInt AbsoftCompany AllenSystemsGroup (Viasoft ...

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

Here are some research groups that work on program transformation, ordered by region. Netherlands Software Technology Group (Universiteit Utrecht), http://www.cs.uu ...

An overview of various forms of ProgramTransformation. Translation ProgramMigration ProgramSynthesis ProgramRefinement ProgramCompilation ReverseEngineering DeCompilation ...

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

VISSOFT: Visualising Software for Understanding and Analysis Deadline: February Conference: June Colocated with IWPC. URL: http://www.dur.ac.uk/vissoft.2002/ Topics ...

Topics Topics discussed at WCRE include but are not limited to: SoftwareMaintenance and SoftwareEvolution DeCompilation and BinaryTranslation ProgramComprehension ...

2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ...