Essays about: "compositionality"

Found 5 essays containing the word compositionality.

1. 1. Composing Specifications Given in Different Formalisms

   University essay from KTH/Datavetenskap

   Author : Arvid Siberov; Gabriel Skoglund; [2022]
   Keywords : ;

   Abstract : The field of contract theory is concerned with formal proofs of how smaller components may be composed into larger systems. This thesis shows how one framework for constructing such proofs may be used to prove properties of compositions where some components are specified using the TLA+ formalism. READ MORE

3. 2. Evaluating the utility of a contract compositionality proof framework

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

   Author : Anton Lövström; Anders Steen; [2020]
   Keywords : ;

   Abstract : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. READ MORE

4. 3. Verifying Correctness of Contract Decompositions

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

   Author : Gustav Hedengran; [2020]
   Keywords : ;

   Abstract : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. READ MORE

5. 4. Exploring the Compositionality of German Particle Verbs

   University essay from Uppsala universitet/Institutionen för lingvistik och filologi

   Author : Carina Rawein; [2018]
   Keywords : particle verbs; German particle verbs; distributional similarity; word embeddings; compositionality;

   Abstract : In this thesis we explore the compositionality of particle verbs using distributional similarity and pre-trained word embeddings. We investigate the compositionality of 100 pairs of particle verbs with their base verbs. The ranking of our findings are compared to a ranking of human ratings on compositionality. READ MORE

6. 5. Onomatopoeic phrasal verbs : A corpus study of their meanings and usage in American English

   University essay from Institutionen för språk och litteratur, SOL

   Author : Oskar Rydblom; [2010]
   Keywords : Compositionality; corpus study; figurative meaning; extension of meaning; meaning; metaphors; onomatopoeia; ontological metaphors; orientational metaphors; phrasal verbs; registers; semantic;

   Abstract : This study examines how the meanings of onomatopoeic phrasal verbs are created and in which register these verbs are most frequently used. Through the study of previous research on the subject qualities of onomatopoeia and phrasal verbs are identified. READ MORE