Search Results

Advanced search parameters have been applied.
open access

A Formal Notation for Hardware and Software Verification

Description: Some years ago a theory was published describing compilation of digital logic system build descriptions (list of behaviors for elementary components and connections between them) into recursively computable system behavior descriptions. The current work describes an analogous theory for computer programs.
Date: October 1986
Creator: Chapman, Richard O. & Gabriel, John R.
Partner: UNT Libraries Government Documents Department

Cross-Language Comparison of Mismatched Annotation in Interlinear-Glossed Texts

Description: This presentation explores the variation in interlinear-glossed text (IGT) in 5 closely related South-Central Tibeto-Burman languages with verb stem alternation, reduplicated adverbial modifiers, and pre-verbal directionals. While IGT is a rich representation of language, IGT for even closely related languages can look markedly different due to individual linguists’ divergent analyses. In comparing the discrepancies between representations of such features, we gain insight into the underlying a… more
Date: January 8, 2021
Creator: Burke, Mary & Chelliah, Shobhana Lakshmi
Partner: UNT College of Information
open access

The Use of Selected Aptitude Test Scores for Predicting Achievement in Modern Foreign Languages at North Texas State University

Description: The problem of this study was to determine the value of certain selected aptitude test scores for predicting student achievement in Spanish, French, and German at North Texas State University. Particular emphasis was placed on freshmen enrolled in beginning courses.
Date: August 1971
Creator: Akins, Dolores C.
Partner: UNT Libraries
open access

Generating Machine Code for High-Level Programming Languages

Description: The purpose of this research was to investigate the generation of machine code from high-level programming language. The following steps were undertaken: 1) Choose a high-level programming language as the source language and a computer as the target computer. 2) Examine all stages during the compiling of a high-level programming language and all data sets involved in the compilation. 3) Discover the mechanism for generating machine code and the mechanism to generate more efficient machine code … more
Date: December 1976
Creator: Chao, Chia-Huei
Partner: UNT Libraries
open access

Revising the worksheet with L3: a language and environment foruser-script interaction

Description: This paper describes a novel approach to the parameter anddata handling issues commonly found in experimental scientific computingand scripting in general. The approach is based on the familiarcombination of scripting language and user interface, but using alanguage expressly designed for user interaction and convenience. The L3language combines programming facilities of procedural and functionallanguages with the persistence and need-based evaluation of data flowlanguages. It is implemented in… more
Date: January 22, 2008
Creator: Hohn, Michael H.
Partner: UNT Libraries Government Documents Department

Photograph of research trip to Manipur

Description: Photograph of MA student Mary Burke at the Manipur Institute of Technology, Imphal. The research team (Shobhana Chelliah, Mark Phillips, Mary Burke) gave presentations to students at MIT about the digital library and about connections between language technologies and computer science.
Date: 2018
Creator: Chelliah, Shobhana Lakshmi
Partner: UNT College of Information
open access

Lamkang Hymnal

Description: Lamkang Hyms written in an older orthography. A few of the contributors are listed in the preface.
Date: November 19, 2009
Creator: Lamkang (Ksen) Naga Christian Literature Society
Partner: UNT College of Information
Back to Top of Screen