Essays about: "Theory of Heaps"

Found 3 essays containing the words Theory of Heaps.

1. 1. Automated Inference of ACSL Contracts for Programs with Heaps

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Oskar Söderberg; [2023]
   Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

3. 2. The Princess and Some Roses

   University essay from KTH/Matematik (Inst.)

   Author : Kenjoe Lim; [2014]
   Keywords : ;

   Abstract : Impartial combinatorial game theory will be explained briefly and used to analyze two impartial take-away heap games, ”The Princess and the Roses” (P&R) and ”The Princess and Two Roses” (P2R). P2R is a variant of P&R that only allows taking one chip from two different heaps. READ MORE

4. 3. Representing a Nation of Tailors and Cobblers : A Study of Bulstrode Whitelocke´s Journal of the Swedish Embassy, 1653-1654

   University essay from Institutionen för idé- och lärdomshistoria

   Author : Rebecca Martin; [2007]
   Keywords : Bulstrode Whitelocke 1605-1675; Queen Christina of Sweden 1626-1689; Axel Oxenstierna 1583-1654; Diary; Diplomacy; English Civil War; Seventeenth Century Political Theory.;

   Abstract : In November 1653, a vessel arrived in the harbour town of Gothenburg, on the west coast of the Protestant monarchy of Sweden. Aboard the ship was the newly appointed English Ambassador Extraordinary, Bulstrode Whitelocke (1605-1675); jurist, Puritan and avid diary keeper. READ MORE