Stratego/XT 0.17. A language and toolset for program transformation
M Bravenboer, KT Kalleberg, R Vermaas… - Science of computer …, 2008 - Elsevier
Stratego/XT is a language and toolset for program transformation. The Stratego language
provides rewrite rules for expressing basic transformations, programmable rewriting …
provides rewrite rules for expressing basic transformations, programmable rewriting …
[PDF][PDF] Program understanding and the concept assignment problem
TJ Biggerstaff, BG Mitbander, DE Webster - Communications of the ACM, 1994 - Citeseer
ABSTRACT A person understands a program because he is able to relate the structures of
the program and its environment to his conceptual knowledge about the world. The problem …
the program and its environment to his conceptual knowledge about the world. The problem …
Language-oriented programming
R Pickering - Beginning F#, 2009 - Springer
In this chapter, you will begin by taking a look at what I mean by language-oriented
programming, a term that has been used by many people to mean different things. I'll also …
programming, a term that has been used by many people to mean different things. I'll also …
[图书][B] Successful evolution of software systems
H Yang, M Ward - 2003 - books.google.com
In todayOCOs fast-changing, competitive environment, having an up-to-date information
system (IS) is critical for all companies and institutions. Rather than creating a new system …
system (IS) is critical for all companies and institutions. Rather than creating a new system …
[PDF][PDF] Improving Evolutionary Testing By Flag Removal.
M Harman, L Hu, RM Hierons, A Baresel, H Sthamer - GECCO, 2002 - researchgate.net
This paper argues that Evolutionary testing can be improved by transforming programs with
flags into flag free programs. The approach is evaluated by comparing results from the …
flags into flag free programs. The approach is evaluated by comparing results from the …
Decision model for legacy systems
KH Bennett, M Ramage, M Munro - IEE Proceedings-Software, 1999 - IET
Legacy systems pose major problems for industry-existing software seems so difficult and
expensive to change quickly to keep up with the needs of business. The authors firstly …
expensive to change quickly to keep up with the needs of business. The authors firstly …
A multipurpose backtracking algorithm
HA Priestley, MP Ward - Journal of Symbolic Computation, 1994 - Elsevier
A Multipurpose Backtracking Algorithm Page 1 J. Symbolic Computation (1994) 18, 140 A
Multipurpose Backtracking Algorithm I-LA. PRIESTLEYT AND MP WARD1 tHAP0::ua\1:hs.e1:.a<:.ul …
Multipurpose Backtracking Algorithm I-LA. PRIESTLEYT AND MP WARD1 tHAP0::ua\1:hs.e1:.a<:.ul …
Reverse Engineering through Formal Transformation: Knuth's 'Polynomial Addition'Algorithm
MP Ward - The Computer Journal, 1994 - academic.oup.com
In this paper we will take a detailed look at a larger example of program analysis by
transformation. We will be considering Algorithm 2.3. 3. A from Knuth's 'Fundamental …
transformation. We will be considering Algorithm 2.3. 3. A from Knuth's 'Fundamental …
Assignment scheduling capability for unmanned aerial vehicles-a discrete event simulation with optimization in the loop approach to solving a scheduling problem
Many military planning problems are difficult to solve using pure mathematical programming
techniques. One such problem is scheduling unmanned aerial vehicles (UAVs) in military …
techniques. One such problem is scheduling unmanned aerial vehicles (UAVs) in military …
Derivation of data intensive algorithms by formal transformation: the Schnorr-Waite graph marking algorithm
M Ward - IEEE Transactions on Software Engineering, 1996 - ieeexplore.ieee.org
Considers a particular class of algorithms which present certain difficulties to formal
verification. These are algorithms which use a single data structure for two or more …
verification. These are algorithms which use a single data structure for two or more …