𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formal relationship between program slicing and partial evaluation

✍ Scribed by David W. Binkley; Sebastian Danicic; Mark Harman; John Howroyd; Lahcen Ouarbya

Publisher
Springer
Year
2006
Tongue
English
Weight
231 KB
Volume
18
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A formalisation of the relationship betw
A formalisation of the relationship between forms of program slicing
✍ Dave Binkley; Sebastian Danicic; Tibor GyimΓ³thy; Mark Harman; Ákos Kiss; Bogdan πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 467 KB

The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different forms of slicing. Each preserves some aspect of a program's behaviour and simplifies the program to focus exclusively upon this behaviour.

A First Formal Link between the Price Eq
A First Formal Link between the Price Equation and an Optimization Program
✍ ALAN GRAFEN πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 236 KB

The Darwin unification project is pursued. A meta-model encompassing an important class of population genetic models is formed by adding an abstract model of the number of successful gametes to the Price equation under uncertainty. A class of optimization programs are defined to represent the "indiv