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 46 for “"Programming Languages and Compilers"”.
-
Efficacy of frequent, secure, automated testing on student academic performance
… on student performance in CS 421, a class titled Programming Languages and Compilers at the University of Illinois at Urbana- Champaign, and examines in-depth the tools utilized to enable such testing. In particular, it looks into the use of PrairieLearn and the Computer-based Testing Center as a …
-
Visualization of logic programming
… that visually depict the execution processes of programming languages. It is believed that visual traces of program execution in some language may help to expedite the learning of those that are unfamiliar with that language. In particular, the execution processes of logic programming languages …
-
Standard Form Contract Regulation in the Transaction of Computer Program.
… after examining the history of the study of standard form contract, without surrendering the general contract theory, but with the change of the tendency of court decisions. I provide a new approach to protect consumer in consumer goods transaction with standard terms. First as most courts …
-
Conversion form structured programming to an object-oriented programming structure
<p>Structured programming languages have been in use for several decades. Each of these languages has different techniques for promoting modularity. As a result of those techniques, computing professionals have become accustomed to the notlon that data and procedures are separate entities. …
-
Visual parallel programming via petri nets
… of this paper is to determine the feasibility and produceability of a Petri net based CASE tool, thus the majority of this paper is the implementation and explanation thereof. The requirements of this implementation are as follows: a. Graphical input and manipulation of a Petri net. b. The …
-
Interactive 3D model display in Java 3D
… thesis explores the use of Java 3D application programming interface (API) to create an interactive 3D application or applet that allows display and manipulation of complex three dimensional objects. J3dViewer, a program written using the Java 3D API, is used to illustrate the general process of …
-
Subtyping and inheritance in a metamodel of abstractions
… paper, two fundamental techniques (subtyping and inheritance) for reusing existing components in the design of complex systems are investigated. The objective is to raise the level of abstraction of our understanding of each technique by more rigorously defining them at an abstract level, …
-
SIMNET, a primal Simplex code for networks
… Typically, the origins are production plants and the destinations are consumer markets for some commodity, and a cost is associated with shipping one unit from a given plant to a given market. If some intermediate nodes are introduced, such as warehouses, which are not origins or destinations, …
-
Ta Da! - The Text Adventure Design Assistant a Visual Tool for the Development of Adventure Games
In this paper, I survey past and present tools available to text adventure game authors, and then describe a new product: the Text Adventure Design Assistant (TA DA!), a visual programming system for creating text adventure games. My system consists of two parts: an abstract framework which defines …
-
Compiling Haskell into Lean: A Common Abstract Syntax for Haskell and Interactive Theorem Provers
… of a fragment of Haskell into correct and executable Lean code that users can prove theorems about. We conducted a case study using a heap sort algorithm to support our claim that HS-TO-LEAN produces verifiable Lean code. Our approach is inspired by recent advances in formal …
-
Supported Programming for Beginning Developers
… inputs to reach specified lines in a function, and asks the user what the expected outputs would be for those inputs. The resulting test cases check the correctness of the output, rather than merely ensuring the code does not crash. Further, by querying the user for expectations, TestBuilder …
-
An Empirical Study of Alias Analysis Techniques
<p>As software projects become larger and more complex, software optimization at that scale is only feasible through automated means. One such component of software optimization is alias analysis, which attempts to determine which variables in a program refer to the same area in memory, and is used …
-
Extending Traditional Static Analysis Techniques to Support Development, Testing and Maintenance of Component-Based Solutions
… a mature set of techniques for helping understand and optimize programs, such as dead code elimination, program slicing, and partial evaluation (code specialization). It is well understood that compared to other program analysis techniques (e.g., dynamic analysis), static analysis techniques do …
-
Designing a High-Quality Network: An Application-Oriented Approach
… technologies emerge, the application designers and the application users expect an increasing level of quality of service from them. Hence, it is a common practice in the newer technologies to provide more Quality of Service (QoS) components. Until now, these QoS solutions have been both …
-
Multicast Services for Multimedia Collaborative Applications
… group size, slow group membership dynamics, and awareness of participants' identities and locations. Moreover, they usually consist of several components such as audio, video, shared whiteboard, and single user application sharing engines that collectively help make the collaboration session …
-
SUCCESSFUL SHOT LOCATIONS AND SHOT TYPES USED IN NCAA MEN’S DIVISION I BASKETBALL
… the effect of court location (distance and angle from basket) and shot types used on shot success in NCAA Men’s DI basketball during the 2017-18 season. A secondary purpose was to further expand the analysis based on two additional factors: player position (guard, forward, or center) and …
-
GPUMap: A Transparently GPU-Accelerated Map Function
… However, due to the current state of GPGPU programming, programmers are typically required to be familiar with the architecture of the GPU in order to effectively program it. Fortunately, there are software packages that attempt to simplify GPGPU programming in higher-level languages such as …
-
Effective Knowledge Graph Aggregation for Malware-Related Cybersecurity Text
… extract relevant information pertaining to new and active threats in a timely and effective manner. Having to manually read through articles and blog posts on the internet is time consuming and usually involves sifting through much repeated information. Knowledge graphs, a structured …
Page 1 of 3