MoL201103: Wortel, Lars (2011) Side Effects in Steering Fragments. [Report]

Text (Full Text)
MoL201103.text.pdf Download (686kB)  Preview 

Text (Abstract)
MoL201103.abstract.txt Download (1kB) 
Abstract
In this thesis I will give a formal definition of side effects. I will do so by modifying a system for modelling program instructions and program states, Quantified Dynamic Logic, to a system called DLA_f (for Dynamic Logic with Assignments as Formulas), which in contrast to QDL allows assignments in formulas and makes use of shortcircuit evaluation. I will show the underlying logic in those formulas to be a variant of shortcircuit logic called repetition proof shortcircuit logic. Using DLA_f I will define the actual and the expected evaluation of a single instruction. The side effects are then defined to be the difference between the two. I will give rules for composing those side effects in single instructions, thus scaling up our definition of side effects to a definition of side effects in deterministic DLA_f programs. Using this definition I will give a classification of side effects, introducing as most important class that of marginal side effects. Finally, I will show how to use our system for calculating the side effects in a real system such as Program Algebra (PGA).
Item Type:  Report 

Report Nr:  MoL201103 
Series Name:  Master of Logic Thesis (MoL) Series 
Year:  2011 
Date Deposited:  12 Oct 2016 14:38 
Last Modified:  12 Oct 2016 14:38 
URI:  https://eprints.illc.uva.nl/id/eprint/848 
Actions (login required)
View Item 