Citations: Data Flow Analysis for Reverse Engineering

18 citations found. Retrieving documents...

L. Moonen. Data Flow Analysis for Reverse Engineering.

Home/Search Document Details and Download Summary Related Articles Check

This paper is cited in the following contexts:

Two Recursive Generalizations of Iteration in Process Algebra - Bergstra (1998) (Correct)

....of Iteration in Process Algebra Jan A. Bergstra Alban Ponse J.A. Bergstra Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7591 e mail: janb wins.uva.nl Department of Philosophy Utrecht University P.O.Box 80126 NL 3508 TC Utrecht The Netherlands tel. 31 30 253 5579 e mail: Jan.Bergstra phil.uu.nl A. Ponse Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7592 e mail: alban wins.uva.nl Universiteit van ....

....3.3. 1: A counter (a(a c can be defined in ACP ; fl) if jA n Aj = 5. 2: With seven additional actions, a half counter ( s c can be specified in ACP ; fl) Proof. As for 1: let A n A = ftg [ fr i ; s i j i = 0; 1g and consider (a(a b) z)s1 c abbreviated by P (r1 Delta P ) r0 abbreviated by Q (r1 Delta s1 ) s0 abbreviated by R: Then it follows with RSP that (a(a c = ftg ffi fr i ;s i ji=0;1g (P Delta Q k R) As for 2: let A n A = ftg [ fr i ; s i j i = 0; 1; 2g and consider m)z Delta s1 c Delta s0 abbreviated by S (r1 Delta S s2 Delta r2) ....

[Article contains additional citation context not shown here]

L. Moonen. Data Flow Analysis for Reverse Engineering.

A specification of Box to HTML in ASF+SDF - van der Graaf (1997) (1 citation) (Correct)

.... of Amsterdam Programming Research Group index.html Layout.html Bool.html Strings.html Int.html A specification of Box to HTML in ASF SDF Maarten van der Graaf Report P9720 november 1997 University of Amsterdam Department of Computer Science Programming Research Group A specification of box to html in asf sdf Maarten van der Graaf Report P9720 november 1997 M. van der Graaf Programming Research Group Department of Computer Science University of Amsterdam ....

.... Layout.html Bool.html Strings.html Int.html A specification of Box to HTML in ASF SDF Maarten van der Graaf Report P9720 november 1997 University of Amsterdam Department of Computer Science Programming Research Group A specification of box to html in asf sdf Maarten van der Graaf Report P9720 november 1997 M. van der Graaf Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7586 e mail: graaf wins.uva.nl Universiteit van Amsterdam, 1997 A specification of Box to HTML in ASF SDF ....

[Article contains additional citation context not shown here]

L. Moonen. Data Flow Analysis for Reverse Engineering.

A formal axiomatization for alphabet reasoning with.. - Korver, Sellink (1997) (9 citations) (Correct)

.... of Amsterdam Programming Research Group a b A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes Henri Korver Alex Sellink Report P9703 Februari 1997 University of Amsterdam Department of Computer Science Programming Research Group A formal axiomatization for alphabet reasoning with parametrized processes Henri Korver Alex Sellink Report P9703 Februari 1997 H.P. Korver ID Research Groningenweg 6 2803 PV Gouda The ....

.... Alphabet Reasoning with Parametrized Processes Henri Korver Alex Sellink Report P9703 Februari 1997 University of Amsterdam Department of Computer Science Programming Research Group A formal axiomatization for alphabet reasoning with parametrized processes Henri Korver Alex Sellink Report P9703 Februari 1997 H.P. Korver ID Research Groningenweg 6 2803 PV Gouda The Netherlands tel. 31 182 546546 e mail: H.Korver idr.nl M.P.A. Sellink Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. ....

[Article contains additional citation context not shown here]

L. Moonen. Data Flow Analysis for Reverse Engineering.

Annotated Algebraic Specification of the Syntax and Semantics.. - Brunekreef (1998) (2 citations) (Correct)

.... of Amsterdam Programming Research Group Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 University of Amsterdam Department of Computer Science Programming Research Group Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 J.J. Brunekreef Programming Research Group Department of ....

.... Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 University of Amsterdam Department of Computer Science Programming Research Group Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 J.J. Brunekreef Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7588 e mail: jacob wins.uva.nl Universiteit van Amsterdam, 1998 Annotated algebraic specification of the syntax and ....

[Article contains additional citation context not shown here]

L. Moonen. Data Flow Analysis for Reverse Engineering.

Reengineering COBOL software implies specification of the.. - van den Brand, al. (1997) (1 citation) (Correct)

....of Amsterdam Programming Research Group DATA DIVISION. WORKING STORAGE SECTION. 01. DSJDFRR IJ192390 SDJGEHJ2. 02. UI8T G5KM N034D PIC 99 99 99. 02. HJML97G KNBVFD45 7 HG PIC XXXXXX. 02. LK21 34 JSJKDJR 93894J PIC : 01. DVK54 FJKFJK4390 23 OKR2349IO PIC 9999. 01. HDRISO0934834R3NMJRQRRUJJJ49 PIC 9(2) Reengineering COBOL software implies specification of the underlying dialects Mark van den Brand Alex Sellink Chris Verhoef Report P9702 Februari University of Amsterdam Department of Computer Science ....

....of Amsterdam Programming Research Group DATA DIVISION. WORKING STORAGE SECTION. 01. DSJDFRR IJ192390 SDJGEHJ2. 02. UI8T G5KM N034D PIC 99 99 99. 02. HJML97G KNBVFD45 7 HG PIC XXXXXX. 02. LK21 34 JSJKDJR 93894J PIC : 01. DVK54 FJKFJK4390 23 OKR2349IO PIC 9999. 01. HDRISO0934834R3NMJRQRRUJJJ49 PIC 9(2) Reengineering COBOL software implies specification of the underlying dialects Mark van den Brand Alex Sellink Chris Verhoef Report P9702 Februari University of Amsterdam Department of Computer Science Programming Research Group Reengineering COBOL ....

[Article contains additional citation context not shown here]

L. Moonen. Data Flow Analysis for Reverse Engineering.

Re-engineering needs Generic Programming Language Technology - van den Brand, Klint.. (1996) (5 citations) (Correct)

....Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7593 e mail: markvdb fwi.uva.nl P. Klint Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7585 e mail: paulk fwi.uva.nl CWI P.O.Box 94079 1090 GB Amsterdam The Netherlands tel. 31 20 592 4126 e mail: paulk cwi.nl C. Verhoef Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7581 e mail: x fwi.uva.nl Universiteit van Amsterdam, ....

.... van Amsterdam, Re engineering needs Generic Programming Language Technology Mark van den Brand 1 , Paul Klint 2;1 , Chris Verhoef 1 1 University of Amsterdam, Programming Research Group Kruislaan 403, NL 1098 SJ Amsterdam, The Netherlands 2 CWI, Department of Software Technology P.O. Box 94079, NL 1090 GB Amsterdam, The Netherlands markvdb wins.uva.nl, paulk cwi.nl, x wins.uva.nl Abstract Generic language technology and compiler construction techniques are a prerequisite to build analysis and conversion tools that are needed for the re engineering of large software systems. We ....

L. Moonen. Data Flow Analysis for Reverse Engineering.

Re-engineering needs Generic Programming Language Technology - van den Brand, Klint.. (1996) (5 citations) (Correct)

....the fields of programming environment generators and compiler generators. The generic aspect is thus extremely valuable in re engineering, see [PP94a] The def use relations in programs, for example, are in fact language independent, however their implementation is often language dependent. In [Moo96] a generic data flow language is defined which is powerful enough to do all kinds of data flow analysis. An arbitrary language is translated to this data flow language. Various new, generic, approaches to program analysis exist. In [BDFH96] an equational logic language, pim [Fie92] is presented ....

L. Moonen. Data flow analysis for reverse engineering. Technical Report P96113, University of Amsterdam, Programming Research Group, 1996.

Generation of Components for Software Renovation.. - van den Brand.. (1997) (20 citations) (Correct)

.... of Amsterdam Programming Research Group Original Code Renovated Abstract Syntax Tree Transform Parse Unparse Code Generation of Components for Software Renovation Factories from Context free Grammars Mark van den Brand Alex Sellink Chris Verhoef Report P9705 June University of Amsterdam Department of Computer Science Programming Research Group Generation of components for software renovation factories from context free grammars Mark van den Brand Alex Sellink Chris Verhoef Report P9705 June M.G.J. van den Brand Programming Research Group ....

.... Grammars Mark van den Brand Alex Sellink Chris Verhoef Report P9705 June University of Amsterdam Department of Computer Science Programming Research Group Generation of components for software renovation factories from context free grammars Mark van den Brand Alex Sellink Chris Verhoef Report P9705 June M.G.J. van den Brand Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7593 e mail: markvdb fwi.uva.nl M.P.A. Sellink Programming Research Group Department of Computer Science University of ....

[Article contains additional citation context not shown here]

L. Moonen. Data Flow Analysis for Reverse Engineering.

Language Independent Structure Editing using the ToolBus - Kuipers (1996) (Correct)

....in part by Mark van den Brand. The picture in Figure 3.1 is a modification of a picture by Pieter Olivier. The example ToolBus script in Figure 3.4 was written by Eelco Visser, as was the syntax definition for the While language in Appendix B. Parts of Section 1.4. 2 were inspired by Appendix A of [Moo96]. The grammar in Appendix C was taken from [BKOV] Contents 1 Introduction 1 1.1 Goals of this Thesis : 2 1.2 Overview of the thesis : 2 1.3 Basic Notions : ....

L.M.F. Moonen. Data flow analysis for reverse engineering. Master's thesis, University of Amsterdam, Programming Research Group, 1996. Also appeared as Technical Report P9613.

A Generic Architecture for Data Flow Analysis to Support Reverse.. - Moonen (1997) (14 citations) Self-citation (Moonen) (Correct)

....chaining for all variables (dotted arrows) The characters t and f denote the path that is taken when the condition of the while is respectively true or false. program fac begin declare input: natural, output: natural, repnr: natural, rep: natural; input : 3; output : 1; while (input 1 0) do rep : output; repnr : input; while (repnr 1 0) do output : output rep; repnr : repnr 1 od; input : input 1 od end program fac input : 3 output : 1 while (input 1 0) do t rep : output repnr : input while (repnr 1 0) do t output : output rep repnr : ....

.... t and f denote the path that is taken when the condition of the while is respectively true or false. program fac begin declare input: natural, output: natural, repnr: natural, rep: natural; input : 3; output : 1; while (input 1 0) do rep : output; repnr : input; while (repnr 1 0) do output : output rep; repnr : repnr 1 od; input : input 1 od end program fac input : 3 output : 1 while (input 1 0) do t rep : output repnr : input while (repnr 1 0) do t output : output rep repnr : repnr 1 input : input 1 end f f 4 A Generic ....

[Article contains additional citation context not shown here]

L. Moonen. Data Flow Analysis for Reverse Engineering.

Basic Multi-Competence Programming - Bergstra, Bethke, Ponse (2000) (Correct)