Essays about: "recursion"

Showing result 1 - 5 of 23 essays containing the word recursion.

1. 1. Implementation of Dyson equation to accelerate convergence in RS-LMTO-ASA code

   University essay from Uppsala universitet/Materialteori

   Author : Elis Uebel; Viktor Frilén; [2024]
   Keywords : Density functional theory; Dyson equation;

   Abstract : First-principle calculations is a key ingredient for us to understand, improve and design new materials. Density functional theory (DFT) [1] has proven to be a very powerful tool and a number of different versions exist depending on the problem at hand. READ MORE

3. 2. Adding Basic Support for Function Pointers in TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2023]
   Keywords : ;

   Abstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. READ MORE

4. 3. Functional Programming Languages and the JVM : Comparing Functional Language Compilation Techniques for the JVM

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

   Author : Asta Olofsson; [2023]
   Keywords : Compilation; Functional Programming; Java; Kompilering; Funktionell Programmering; Java;

   Abstract : Because of its security, high availability, and automatic memory management, the JVM (Java Virtual Machine) is a desirable execution environment. However, since the JVM was originally made for Java, which is an objectoriented language, it is hard for languages with other paradigms to run on it. READ MORE

5. 4. Floating Thresholds – On the Idea of the Portal in Architecture

   University essay from KTH/Arkitektur

   Author : Ivan Grelz; [2023]
   Keywords : Portal; Gate; Architecture; Theory; Threshold; Liminal; Nature; Myth; Ritual; Speed; Depth;

   Abstract : This project investigates a specific concept within architecture: the portal. Divided into eight independent chapters, all possible to read as stand-alone parts, the thesis – a hybrid essay consisting of text, images, drawings and models – uses the portal as a springboard, or tool, for approaching existing theories on the invisible forces that shape the world and our built environment. READ MORE

6. 5. 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