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 614 for “"programming language"”.
-
Visual Programming Language for Tacit Subset of J Programming Language
Visual programming is the idea of using graphical icons to create programs. I take a look at available solutions and challenges facing visual languages. Keeping these challenges in mind, I measure the suitability of Blockly and highlight the advantages of using Blockly for creating a visual …
-
Drawing as Programming Language
… and 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 …
-
ULTRA - A Logic Transaction Programming Language
Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics
-
Programming language trends : an empirical study
… dissertation, one field of software engineering, programming languages, will be discussed. After reviewing the history of a group of programming languages, it shows that two kinds of factors, intrinsic factors and extrinsic factors, could affect the evolution of a programming language. Intrinsic …
-
Programming Language Foundations for Packet Processing
… gives semantics to P4, a domain-specific language for describing packet processing in packet-switched computer networks. Additionally it describes verification tools for checking the equivalence of P4 programs. These verifiers can be used to check that a P4 compiler has not introduced bugs …
-
Comparison of an object-oriented programming language to a procedural programming language for effectiveness in program maintenance
… claims have been made about object-oriented programming. However, without rigorous scientific evidence, it is impossible to accept these claims as valid. Although experimentation has been done in the past, most of the research is very recent and the most relevant research has serious …
-
Programming Language and Tools for Automated Testing
… $22.2 and $59.5 billion. We present Sulu, a programming language designed with automated unit testing specifically in mind, as a demonstration of how software testing may be more integrated and automated into the software development process. Sulu's runtime and tools support automated testing …
-
Winâ Foy : functional object-oriented programming language
This thesis will introduce a new strongly typed programming language utilizing Self types, named Win--*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a programming language is based on deficiencies found in programming languages …
-
A modular programming language for engineering design
… This model leads naturally to a new type of programming language that combines the key strengths of imperative and functional languages for development and analysis of programs. These strengths have particular relevance for rapid analysis of large-scale engineering design problems. MDPL uses …
-
A programming language for precision--cost tradeoffs
… the program, because there does not yet exist a programming model that gives the programmer the ability to easily describe the relevant tradeoffs between precision and cost of operations or to express in an algorithm what tradeoffs are appropriate under what circumstances. This paper lays a solid …
-
Programming language design for service-oriented systems
… more commonplace and popular. Service-oriented programming provides a natural way to model and manage many types of systems and allows software development teams to achieve operational flexibility, scalability, and reliability in a cost-effective manner. In particular, it has been used quite …
-
Towards A Practical High-Assurance Systems Programming Language
… requires considerable expertise in both systems programming and formal verification. The development can be extremely costly due to the sheer complexity of the systems and the nuances in them, if not assisted with appropriate tools that provide abstraction and automation. Cogent is designed to …
-
P-Pascal : a data-oriented persistent programming language
… retained and is usable in a system. Persistent languages extend general purpose languages by providing the full range of persistence for data of any type. Moreover, data which remains on disk after program termination, is manipulated in the same way as transient data. As these languages are …
-
Metaglue : a programming language for multi-agent systems
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.
-
Reducing Compilation Latency in the Julia Programming Language
The Julia programming language is a high performance computing language that employs an LLVM-based just-in-time compiler and an LLVM-based ahead-of-time compiler to produce optimized machine code. When Julia uses its just-in-time compiler, compilation of methods must be done before methods can …
-
AMIBE: an Imperative Programming Language with First Class Continuations
… representation(IR) to compile functional programming languages, make control flow explicit and full beta-reduction(function inlining) possible. Continuations are also a language feature that gives user the ability to completely control the execution control flow(first class continuation). …
-
Automated Unit Test Generation for the Python Programming Language
… software system from the developers. The Python programming language imposes additional challenges to the test-generation problem, such as the dynamic typing. Previous work has confirmed that type information is beneficial for a test generator. However, the type information is often not …
Page 1 of 31