Essays about: "Andrew Bwogi"

Found 2 essays containing the words Andrew Bwogi.

  1. 1. Metametaprogramming for Java with Spoon

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

    Author : Andrew Bwogi; [2021]
    Keywords : ;

    Abstract : Metaprogramming is used to abstract away complicated code by o˙ering a more intuitive interface that automatically generates it. Spoon and ASM are two metaprogram libraries for Java that operate on programs at source code and bytecode level respectively. READ MORE

  3. 2. Configuring Java Pathfinder for concurrent Java programs

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Andrew Bwogi; Tuncay Dagdelen; [2017]
    Keywords : ;

    Abstract : Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties. READ MORE