Computer Science – Logic in Computer Science
Scientific paper
2011-09-10
Computer Science
Logic in Computer Science
Master's thesis - Master of Logic - University of Amsterdam
Scientific paper
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 DLAf (for Dynamic Logic with Assignments as Formulas), which in contrast to QDL allows assignments in formulas and makes use of short-circuit evaluation. I will show the underlying logic in those formulas to be a variant of short-circuit logic called repetition-proof short-circuit logic. Using DLAf 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 \dlaf-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).
No associations
LandOfFree
Side Effects in Steering Fragments does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Side Effects in Steering Fragments, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Side Effects in Steering Fragments will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-38616