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 10 of 10 for “"Programming languages (Electronic computers)"”.

  1. Design of systems languages : a thesis presented in partial fulfillment of the requirements for the degree of Master of Science in Computer Science at Massey University

    Freyberg, Christopher Allen1975

    massey

  2. A multi-level code comprehension model for large scale software

    Vans, A. Marie, author, von Mayrhauser, Anneliese, advisor, Bieman, James, committee member, Olender, Kurt, committee member, Volbrecht, Vicki, committee memberColorado State University. Libraries1996

    For the past 20 years researchers have studied how programmers understand code they did not write. Most of this research has concentrated on small-scale code understanding. We consider it necessary to design studies that observe programmers working on large-scale code in production environments. We …

    colostate Repository record

  3. Towards a methodology for logic programming

    Vasak, ThomasUNSW, Sydney1986

    unsw Repository record

  4. Interactions of (co)monads in Agda

    Calvin Santiago Lee 2000-2024

    We study interaction laws of monads and comonads in the interactive theorem prover Agda. Effectful computations are modeled as monads, while comonads model computation-running machines. Interaction laws describe how computations may be uniformly run to yield values. We study monads and comonads on …

    reykjavik Repository record

  5. Recognizing promises, advice, threats and warnings in natural language discourse

    Donaghy, Kevin

    rit Repository record

  6. Machine learning in the classification of computer code

    Tasnim, Nazia, University of Lethbridge. Faculty of Arts and Science2020

    lethbridge

  7. MANDO : a computer program for symbolic manipulation of differential operators generating continuous transformations

    Davison, David Kenneth2018

    <p>The program MANDO efficiently performs computations involving pairs of operators, a single operator, and operators applied to functions, saving time and cost over pencil-·and-paper methods.</p> <p>A versatile but compact data structure, defined under SPIT-BOL's facility for creation of …

    u-pacific Repository record

  8. The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types

    Ahn, Ki Yung

    portland-state Repository record

  9. Classification of computer programming contest programs based on gender, region and software metrics

    Zinnat, Sara Binte, University of Lethbridge. Faculty of Arts and Science2021

    lethbridge

  10. Exploring a technology-facilitated part-complete solution method for learning computer programming

    Garner, Stuart K.Edith Cowan University, Research Online, Perth, Western Australia2005

    … from academic courses. It is accepted that programming is an intrinsically difficult subject however the teaching and learning methods used in many programming courses have changed little over the years. The literature indicates the importance of reducing the cognitive load that students …

    edithcowan Repository record