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 21 for “"intermediate language"”.
-
The parallel intermediate language
… all of their applications by hand in the new languages, or be provided with tools to help them move to the new languages. Requiring users to rewrite applications is very costly, time consuming, and error prone. We believe a better approach is to help ease users into new programming paradigms …
-
Compiler architecture using a portable intermediate language
… and difficult to debug. In addition, in languages that require run-time services such as garbage collection, the back end must interface with the run-time system to provide those services. The net result is that building a compiler back end entails a high implementation cost. In this …
-
Computer Programs in Intermediate Language Arts for Use in a Rural School System
… developed and field tested computer programs in language arts for use in a rural school system. A review of the literature compared the effectiveness of computer-assisted instruction(CAI) in various academic areas, specifically focusing on the English curriculum. Commercially available computer …
-
Symbolic Execution Over Native X86
… program analysis largely rely on the use of an intermediate language to derive intermediate representations of source code or binaries under evaluation. This can simplify semantics when dealing with a complex instruction set such as the Intel Industry Standard Architecture (ISA) instruction set. …
-
Chare kernel and its implementation on multicomputers
… feature with low overhead. The chare kernel language can be used in two ways: as a user programming language or as an intermediate language for implementing high-level languages. As an intermediate language, the chare kernel language serves as a compilation target to which high-level …
-
Weld : fast data-parallel computation on modern hardware
… hardware performance. We have developed Weld, an intermediate language and runtime that can run data-parallel computations efficiently on modern hardware. The core of Weld is a novel intermediate language (IL) that is expressive enough to capture common data-parallel applications (e.g., SQL, graph …
-
A Language-Independent Static Checking System for Coding Conventions
… can be used to examine code in a variety of languages, including program code, in-line documentation, markup languages and so on. This means that checkable coding standards adhered to by a particular project or institution can be handled by a single tool. Consequently, a major challenge in …
-
Compiling functional reactive macroprograms for sensor networks
… thesis presents a functional macroprogramming language called Regiment. The essential data model in Regiment is based on regions, which represent spatially distributed, time-varying collections of state. The programmer uses regions to define and manipulate dynamic sets of sensor nodes. A first …
-
The Effect of Exposure Frequency and Reading Comprehension on Incidental Vocabulary Acquisition and Retention Through Reading for Learners of German as a Foreign Language
The results indicated that intermediate language learners acquire a significant amount of vocabulary incidentally during reading after only two exposures, and that receptive as well as productive gains are moderately to strongly related to learners' text comprehension. It was further found that two …
-
A transportable natural language front-end to data base management systems
… been achieved in the design of front-end natural language processors to data base management systems, transporting the processor to various data base management systems has proven to be elusive. A transportable system must be modular; it must be able to adapt to radically different data domains; …
-
A simulator for the IOA language
… on the I/O automaton model, a new programming language, the IOA language, together with a suite of tools for testing, verifying, and analyzing distributed algorithms is being developed at MIT. The topic of this thesis is a simulator for the IOA language. Simulation allows one to test and debug …
-
An Intermediate Code for Interpretation and Code Generation in ADA.
An intermediate language for compilers, called CL-code, is presented which allows the combined advantages of direct interpretation and usage as an intermediate form in machine code generation. CL-code is an intermediate code defined to execute on a virtual stack machine and is machine— …
-
An update expert and response generator for a transportable natural language interface to database management systems
Fully transportable natural language interfaces to database management systems (DBMS) have been under study for some years I but until now I all have suffered from a lack of response ability and lack of natural language update ability. Response generation is relatively easy to overcome, but the …
-
Combining linguistics and statistics for high-quality limited domain English-Chinese machine translation
Second language learning is a compelling activity in today's global markets. This thesis focuses on critical technology necessary to produce a computer spoken translation game for learning Mandarin Chinese in a relatively broad travel domain. Three main aspects are addressed: efficient Chinese …
-
A Transformation-based Approach to Building Multi-Platform User Interfaces Using a Task Model and the User Interface Markup Language
… modeling notation for the task model and an intermediate language for UIs, the User Interface Markup Language (UIML). This research associates a new vocabulary with the UIML language to facilitate a multi-step transformation-based MPUI development process.
-
Literal and figurative meanings of Spanish spatial prepositions in Chinese students’ acquisition of Spanish as a third language
… university students of Spanish as a foreign language at intermediate and upper-intermediate language levels. More specifically, this study aims to answer two questions. The first question considers the order of acquisition of prepositional meanings, that is, whether this is similar to a …
-
Specifying and verifying program transformations with PTRANS
… verification. Program correctness for compiled languages depends fundamentally on compiler correctness, and compiler optimizations are usually not formally verified due to the effort involved. This is particularly true for optimizations on parallel programs, which are often more difficult to …
-
Representation decomposition for knowledge extraction and sharing using restricted Boltzmann machines
… for deep networks in diverse areas ranging from language generation to video analysis and speech recognition. Despite their success and the creation of increasingly complex network models and learning algorithms based on RBMs, the question of how knowledge is represented, and could be shared by …
-
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 …
-
A wide spectrum type system for transformation theory
… and abstract legacy code within a special intermediate language called WSL (Wide Spectrum Language). Unfortunately, the current transformation process only supports the migration of assembler as WSL lacks the ability to handle data types properly. The data structures in assembler are …
Page 1 of 2