NDLTD logo NDLTD Union Catalog and Global ETD Search

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 385 for “"Programming languages"”.

  1. Multiparadigm visual programming languages

    Borges, Jose A.University of Illinois at Urbana-Champaign2011

    Successful visual programming languages are all specialized, and general-purpose visual programming languages are unsuccessful. One of the reasons is that visual programming languages are usually based on a single programming paradigm. A multiparadigm visual programming language is described and …

    uiuc Repository record

  2. Procedural reflection in programming languages

    Smith, Brian CantwellMassachusetts Institute of Technology1982

    Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982.

    mit Repository record

  3. Resource Bound Guarantees via Programming Languages

    Burrell, Michael JThe University of Western Ontario2017

    We present a programming language in which every well-typed program halts in time polynomial with respect to its input and, more importantly, in which upper bounds on resource requirements can be inferred with certainty. Ensuring that software meets its resource constraints is important in a number …

    uwo Repository record

  4. Multiple inheritance in contemporary programming languages

    Carnese, Daniel JosephMassachusetts Institute of Technology1984

    Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1984.

    mit Repository record

  5. Lambda-calculus models of programming languages.

    Morris, James Hiram, JrMassachusetts Institute of Technology1969

    Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D.

    mit Repository record

  6. Array optimizations for high productivity programming languages

    Joyner, MackaleRice University2009

    While the HPCS languages (Chapel, Fortress and X10) have introduced improvements in programmer productivity, several challenges still remain in delivering high performance. In the absence of optimization, the high-level language constructs that improve productivity can result in order-of-magnitude …

    rice Repository record

  7. Programming Languages for Bit-Serial Array Machines

    Mancl, Dennis MichaelUniversity of Illinois at Urbana-Champaign2014

    Many high-level languages have been created or are under development for large nearest-neighbor connected multiprocessors, such as the ILLIAC IV, the ICL DAP, and the Goddard-Goodyear MPP. These higher-level languages are intended to make these machines easier to program.

    uiuc Repository record

  8. Lambda calculus models of typed programming languages

    Mitchell, John CliffordMassachusetts Institute of Technology1984

    Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1984.

    mit Repository record

  9. Selection of programming languages for structural engineering

    Huxford, David C., Jr.Virginia Tech1987

    This thesis presents the concepts of structured programming and illustrates how they can be used to develop efficient and reliable programs and aid in language selection. Topics are presented and used to compare several languages with each other rather than with some abstract ideal. Structured …

    vt Repository record

  10. Some aspects of error correction of programming languages

    Frentiu, Militon1976

    … of a context free language as a model for a programming language, and the definitions and results used later are presented or reviewed. A distance between two strings is defined and used to develop a “minimum distance error correcting parser”. Second, the thesis develops two global error …

    brunel Repository record

  11. Types for mutual exclusion in concurrent programming languages

    Lee, John JUniversity of Illinois at Urbana-Champaign2022

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-04-12 without embargo terms

    uiuc Repository record

  12. Generating threads for non-strict functional programming languages

    Toutet, Christiana Virginia, 1974-Massachusetts Institute of Technology1998

    Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.

    mit Repository record

  13. Helping Developers Migrate their Code across Programming Languages

    Elarnaoty, Mohammed ElsayedVirginia Tech2024

    Migrating source code from one programming language to another is a common task in software development. This migration can be done by completely rewriting the code in the target language, or it can be facilitated through code-reuse or automation techniques. This thesis explores both approaches. …

    vt Repository record

  14. Programming languages and principles for read–write linked data

    Horne, Ross J.University of Southampton2011

    … have drawn attention to the necessity of update languages for the Web of Data, coining the notion of Read–Write Linked Data. A dynamicWeb of Data with updates is a more realistic reflection of the Web.<br/><br/>An established and versatile approach to modelling dynamic languages is to define an …

    soton Repository record

  15. Specification and verification of context conditions for programming languages

    Kaplan, Simon MarkDepartment of Computer Science1986

    … to be both useful for the specification of programming languages to an environment generator and also simple to use. The driving insight behind CFF/AML is that a language specifier conceives of the context condition checks associated with a programming language syntax description in …

    cape-town Repository record

  16. HW-SW co-design techniques for modern programming languages

    Choi, JihoUniversity of Illinois at Urbana-Champaign2019

    DSpace SAF Submission Ingestion Package generated from Vireo submission #13218 on 2019-02-05 at 11:15:13

    uiuc Repository record

  17. A no-thin-air memory model for programming languages

    Pichon-Pharabod, Jean Yves AlexisUniversity of Cambridge2018

    … We also show that it supports some established programming idioms.

    cambridge Repository record

  18. Redesigning the memory hierarchy for memory-safe programming languages

    Gan, Yee LingMassachusetts Institute of Technology2018

    … from the ground up for modern, memory-safe languages like Java, Go, and Rust. Memory-safe languages hide the memory layout from the programmer. This prevents memory corruption bugs, improves programmability, and enables automatic memory management. Hotpads extends the same insight to the …

    mit Repository record

  19. A Sparse Program Dependence Graph For Object Oriented Programming Languages

    Garfield, Keith

    … represent programs written in object-oriented languages such as Java. This formalism is called sparse because, in contrast to other OO and Java-specific adaptations of PDG's, it introduces few node types and no new edge types beyond those used in traditional dependence-based representations. …

    ucf

  20. Type checking and type inference for object-oriented programming languages

    Graver, Justin OwenUniversity of Illinois at Urbana-Champaign2011

    Type systems for object-oriented programming languages have been studied a great deal over the past few years. Since Smalltalk was one of the earliest object-oriented languages, it is not surprising that there have been several attempts to provide a type system for it. Unfortunately, none of the …

    uiuc Repository record

Page 1 of 20