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 30 for “"Language Design"”.
-
Language design for distributed stream processing
… commonplace. WaveScript is a domain-specific language that brings high-level, type-safe, garbage-collected programming to these domains. This is made possible by three primary implementation techniques, each of which leverages characteristics of the streaming domain. First, WaveScript employs …
-
Nondeterminism and Language Design in Deep Inference
This thesis studies the design of deep-inference deductive systems. In the systems with deep inference, in contrast to traditional proof-theoretic systems, inference rules can be applied at any depth inside logical expressions. Deep applicability of inference rules provides a rich combinatorial …
-
Programming language design for service-oriented systems
Designing systems in a service-oriented manner, in which application features are decoupled and run as independently executing services over a network, is becoming more commonplace and popular. Service-oriented programming provides a natural way to model and manage many types of systems and allows …
-
A rewriting approach to concurrent programming language design and semantics
A plethora of programming languages have been and continue to be developed to keep pace with hardware advancements and the ever more demanding requirements of software development. As these increasingly sophisticated languages need to be well understood by both programmers and implementors, precise …
-
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 …
-
Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context
Programming is not just about the syntax of the language; the programming environment is also an important part of the process. In English prose speech recog- nition, knowledge of the context of the conversation or document being produced is useful to disambiguate otherwise error-prone phrases or …
-
Experimental and Formal Language Design Applied to Control Constructs for Interactive Computing
Made available in DSpace on 2014-12-13T18:01:51Z (GMT). No. of bitstreams: 1 7708984.pdf: 4129893 bytes, checksum: 8a8fcf104e231389c4841c3939043a16 (MD5) Previous issue date: 1976
-
The application of some second language teaching/learning principles in multimedia language design : a case study of a multimedia approach to an undergraduate course in Swahili
… that takes place in the Computer-Assisted Language Learning (CALL) classroom in the Department of Linguistics and Southern African Languages at the University of Cape Town. It also studies how a small sample of students make adjustments in language learning with the help of the multimedia …
-
The Systematic Design of a Protection Mechanism to Support a High Level Language
… use today are the results of a haphazard design process. This work represents an attempt to correct this state of affairs by integrating a wide variety of previous work in the areas of programming language design, memory protection, and design methodology. The design process is formalized …
-
The design and implementation of a language environment for evaluating the programming task
The thesis describes the requirement, design, and implementation of a software package that can be used to perform quantitative studies on certain aspects of a programming task. Of specific interest are experiments with the level of interactiveness of the human-computer interface relating to …
-
Zifazah: A Scientific Visualization Language for Tensor Field Visualizations
<p>This thesis presents the design and prototype implementation of a scientific visualization language called Zifazah for composing and exploring 3D visualizations of diffusion tensor magnetic resonance imaging (DT-MRI or DTI) data. Unlike existing tools allowing flexible customization of data …
-
Request-Based Mediated Execution
How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses this problem. The basic idea is to structure programs as systems of multiple …
-
Automatic generation of SDL specifications from MSCs
… and maintenance, a software system goes through design, implementation and testing phases. The time for developing software systems is crucial. The goal of software teams is to shorten the development time and guarantee the quality of the end product. Formal Description Techniques (FDTs) has been …
-
A comparison of designs for extensible and extension-oriented compilers
… programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers and errors in Linux and other systems, and add support for specialized control flow to Qt and event-based programs. These compilers are difficult to build and cannot always …
-
Drawing as Programming Language
… express themselves. While numerous programming languages have previously been designed to break from the traditional text-based linear approach, the idea of using drawings as a means of computation yet presents many exciting and novel opportunities. This thesis explores some of such …
-
Urml: A textual toolkit for teaching model-driven development for reactive systems
… science—from computational models to formal languages. However, even though software designers use formal systems of software, a dominant modelling methodology—model-driven development (MDD)—has not yet penetrated into the industry. This can be attributed to the practitioners’ flawed …
-
Reducing remodularization complexity through modular-objective decoupling
… coupling", and shows that programming language designs which imply reduced modular-objective coupling reduce complexity of remodularizations--behaviour-preserving restructurings for which the only intended goals are to change program source code structure. We explicitly distinguish …
-
A formal semantics of P4 and applications
… packet processors and P4 as a programming language for such devices have gained significant interest, because their flexibility enables rapid development of a diverse set of applications that work at line rate. However, this flexibility, combined with the complexity of devices and networks, …
-
Architectural Level Computational Hardware Abstraction: A New Programming Language for FPGA Projects
… gate arrays, or FPGAs. Modern software languages have been developed, adding features such as duck-typing, dynamic interpretation, built-in high level data structures, etc. Yet, FPGA development is still mostly using traditional hardware description languages such as VHDL and Verilog, …
-
Designing a statically typed actor-based concurrent object-oriented programming language
… the power and flexibility of an object-oriented language with inheritance, Static typing, and concurrency. A language supporting inheritance, static typing, and concurrency offers a significant leverage in software development. However, when these features are provided together, the benefits of …
Page 1 of 2