Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 25 for “"Language Semantics"”.
-
Semantics-based program verification
"We present language-independent formal methods that are parameterized by the operational semantics of languages. We provide the theory, implementation, and extensive evaluation of the language-parametric formal methods. Specifically, we consider two formal analyses: program verification and …
-
Abstracting the hardware/software boundary through a standard system support layer and architecture
… tasks, and providing equivalent high-level language constructs for hardware tasks. This thesis demonstrates that a shared memory multi-threaded programming model with high-level language semantics may be extended to hardware, consequently abstracting the hardware/software boundary. The …
-
A modular rewriting approach to language design, evolution and analysis
… and in safety-critical settings. In response, languages are being defined with support for new domains and complex computational abstractions. The need for formal techniques to help better understand the languages we use, correctly design new language abstractions, and reason about the behavior …
-
Explicit Software Speculation for Dynamic Language Runtimes
… speculation improves the performance of dynamic language implementations on existing managed runtimes by speculatively executing dynamic language code with a common case interpretation of the language semantics. I implement a variety of optimizations at a high level, maintaining correct execution …
-
Arm systems semantics
… and bringing them into the scope of programming-language semantics and verification. However, the system semantics, of address translation and TLB maintenance, instruction-fetch and its required cache maintenance, and exceptions and interrupts, remains mostly obscure, leaving us without a solid …
-
Measurement that transcends time : a Lebesgue integral approach to existential sentences
In the study of natural language semantics, sentences that assert the existence of entities predicated of by noun phrases have traditionally been analyzed with simple usage of the existential quantifier. In this thesis, I challenge this standard approach through discussion of sentences whose …
-
Toward Bridging the Semantic Gap Between x86-64 Software Binaries and Abstract Languages for Formal Verification and Security
… properties at the source code (abstract language) level (e.g., C++, Java, Python), as the language semantics are more amenable to use by mathematical libraries. However, this approach comes with limitations. Firstly, not all software has source code. Secondly, the source code may be …
-
Grounding robot motion in natural language and visual perception
… humans to interact with robots through a natural-language interface. I conduct this research on a custom-built six-wheeled mobile robot.</p> <p>First I present a unified framework which supports grounding natural-language semantics in robotic driving. This framework supports learning the meanings …
-
VRCC-3D+: Qualitative spatial and temporal reasoning in 3 dimensions
… Information Systems (GIS), visual programming language semantics, and digital image analysis. Systems for spatial reasoning over a set of objects have evolved in both expressive power and complexity, but implementations or usages of these systems are not common. This is partially due to the …
-
Addressing the Higher Level Language Skills for the Common Core State Standards in Kindergarten
… 1979; Snow, Burns & Griffin, 1998) or because of language delays associated with developmental disabilities or delays (e.g., Catts, Adolf & Weismer, 2006; Gough & Tunmer, 1986; Kuhn & Stahl, 2003; Nation & Snowling, 1998; Yuill & Oakhill, 1991) are already far behind their peers upon entrance into …
-
Learning narrative structure from annotated folktales
… retrieval, persuasion and negotiation, natural language understanding and generation, and computational creativity. Second, abstraction from natural language semantics is a skill that underlies many cognitive tasks, and so this work provides insight into those processes. Finally, the work opens …
-
Framework for Automatic Translation of Hardware Specifications Written in English to a Formal Language
… of hardware specifications from natural language to assertions in a formal representation has the potential to improve the verification productivity of ICs. However, natural language specifications have the characteristics of being imprecise, incomplete, and ambiguous. An automation …
-
Mining novel sources of knowledge to identify causal information in text
… consequences of their decisions. In natural language, causal relations can be encoded using various linguistic constructions. Each construction with its own semantics can pose various challenges for the problem of identifying causality. In this thesis, we address the tasks of identifying …
-
The Cerberus C semantics
The C programming language, has since its introduction fifty years ago, become central to our computing infrastructure. It would therefore be desirable to have a precise semantics, that in particular could serve as a reference for implementers of compiler, analysis tools, etc. The ISO standard that …
-
The Semantics of Multicopy Atomic ARMv8 and RISC-V
Previous work has established precise operational concurrency models for Power and ARMv8, in an abstract micro-architectural style based on detailed discussion with IBM and ARM staff and extensive hardware testing. To account for the precise architectural behaviour these models are complex. This …
-
Translation validation for compilation verification
… as well as independent of the input/output languages. This allows the same system to be reused across the many transformation and translation passes found in modern compilers. However, this is not true in the state of the art: most existing systems are custom-tailored for a particular …
-
Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language
WebAssembly is the first new programming language to be supported natively by all major Web browsers since JavaScript. It is designed to be a natural low-level compilation target for languages such as C, C++, and Rust, enabling programs written in these languages to be compiled and executed …
-
A verification framework suitable for proving large language translations
… to specify a compiler translation in a small language and prove the semantic preservation property of the translation in the language under the assumption of sequential consistency. Based on the Morpheus specification language, we extend the verification framework to prove the compiler …
-
The Effect of Instructional Embodiment Designs on Chinese Language Learning: The Use of Embodied Animation for Beginning Learners of Chinese Characters
… for beginning learners of Chinese as a Foreign Language (CFL). Chinese characters have three main features: semantic meaning, pronunciation, and written form. Chinese characters are different from English words in that they are non-alphabetic orthographies. Though popular, they are deemed very …
Page 1 of 2