Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Computer software -- Development (10)
- Programming languages (Electronic computers) (10)
- Functional programming (Computer science) (8)
- Compilers (Computer programs) (4)
- Computer software (3)
-
- Functional programming languages (3)
- Logic programming (3)
- Compiling (Electronic computers) (2)
- Computer algorithms (2)
- Electronic data processing -- Distributed processing (2)
- Object-oriented languages (Computer program languages) (2)
- Object-oriented methods (Computer science)--Software (2)
- Object-oriented programming (Computer science) (2)
- Object-oriented programming languages -- Design and construction (2)
- Programming languages (Electronic computers)--Software (2)
- Software refactoring (2)
- Systems software (2)
- Algebraic data types (1)
- Algorithms (1)
- Aspect-oriented software development (1)
- Browsers (Computer programs) (1)
- Cache memory (1)
- Computer architecture (1)
- Computer security (1)
- Computer software & programming (1)
- Computer systems -- Design and construction (1)
- Computer systems -- Verification (1)
- Cryptography (1)
- Curry-Howard isomorphism (1)
- Data abstraction (1)
- Publication Year
- Publication
- Publication Type
Articles 31 - 36 of 36
Full-Text Articles in Programming Languages and Compilers
Structured Web Databases, Shuang Li
Structured Web Databases, Shuang Li
Dissertations and Theses
Recent research has focused on the cooperation of web server and database server software in the deployment of data-intensive web sites. That work has focused either on storing data in a database that can be used to generate the contents of a web site, or on providing interfaces and gateways to enable queries to be invoked from web pages and executed at external database servers.
This thesis describes the implementation of a prototype of the Data Web system that is being implemented at Portland State University. With Data Web, a user can embed in a web page virtual tables that …
Continuation-Passing Style Versus Direct Style: Choosing An Intermediate Representation For Higher-Order Applicative Languages, Paul Andrew Seale
Continuation-Passing Style Versus Direct Style: Choosing An Intermediate Representation For Higher-Order Applicative Languages, Paul Andrew Seale
Dissertations and Theses
This study analyzes the use of a continuation-passing style (CPS) intermediate representation versus a direct style intermediate representation in the compilation of a higher-order applicative language. The translator used accepts a program written in an ML-like language as input, and outputs a C program acceptable to a standard C compiler. The effects of the translator's simplification and higher-order function removal transformations on the intermediate language are the primary focus of the analysis. The machine code programs generated from both representations are also analyzed.
Initially, the programs under the direct style representation performed better than those that underwent the CPS transformation. …
Usability Of Visual Basic For Parallel Programming On Windows Nt, James Scott Barker
Usability Of Visual Basic For Parallel Programming On Windows Nt, James Scott Barker
Dissertations and Theses
Visual Basic is a very popular language. Many hardware engineers have learned Visual Basic because of its simplicity, but have never learned C or C++. Furthermore, people are choosing not to use C or C++ for business software development, but instead are embracing languages such as Visual Basic. Since one of the goals of the parallel programming community has been to encourage more widespread use of parallelism in software, this body of programming talent needs to be addressed.
This thesis intends to prove that Visual Basic can be used for parallel programming, that using it is at least as easy …
Microlanguages For Operating System Specialization, Calton Pu, Andrew P. Black, Crispin Cowan, Jonathan Walpole, Charles Consel
Microlanguages For Operating System Specialization, Calton Pu, Andrew P. Black, Crispin Cowan, Jonathan Walpole, Charles Consel
Computer Science Faculty Publications and Presentations
Specialization is a technique that has the potential to provide operating system clients with the performance and functionality that they need, while still retaining the advantages of a simple generic code base for the operating system maintainer. However, at present the specialization process is labor-intensive and requires the knowledge of an expert in the domain of application behavior. In order to realize the full advantages of specialization, we believe that the process must be automated. This means building tools for specialization, and also making the domain knowledge explicit in some form or other. A specialization toolkit has been developed jointly …
Compiling Evaluable Functions In The GöDel Programming Language, David Shapiro
Compiling Evaluable Functions In The GöDel Programming Language, David Shapiro
Dissertations and Theses
We present an extension of the Gödel logic programming language code generator which compiles user-defined functions. These functions may be used as arguments in predicate or goal clauses. They are defined in extended Gödel as rewrite rules. A translation scheme is introduced to convert function definitions into predicate clauses for compilation. This translation scheme and the compilation of functional arguments both employ leftmost-innermost narrowing. As function declarations are indistinguishable from constructor declarations, a function detection method is implemented.
The ultimate goal of this research is the implementation of extended Gödel using needed narrowing. The work presented here is …
Compiling Ace For Distributed-Memory Machines, Jun Song
Compiling Ace For Distributed-Memory Machines, Jun Song
Dissertations and Theses
Distributed-memory machines offer a very high level of performance, flexibility and scalability. But the memory organization of this kind of machine determines that processes on different processors must communicate explicitly by sending and receiving messages. As a result, the programmer faces the enormously difficult task of detailed planning of algorithm-irrelevant, low-level communication issues. This level of programming resembles writing assembly programs for a sequential machine.
ACE is a message-passing language with abstract communication statements. It was defined by Dr. Jingke Li at Portland State University. The communication in ACE is still explicit, but it is abstracted to a higher level. …