- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 591 (0.042 seconds)Spelling suggestions: "subject:"[een] PROGRAMMING LANGUAGES"" "subject:"[enn] PROGRAMMING LANGUAGES""
| 1 |
An integration of reduction and logic for programming languagesWright, David A January 1988 (has links)
A new declarative language is presented which captures the expressibility of both logic programming languages and functional languages. This is achieved by conditional graph rewriting, with full unification as the parameter passing mechanism. The syntax and semantics are described both formally and informally, and examples are offered to support the expressibility claim made above. The language design is of further interest due to its uniformity and the inclusion of a novel mechanism for type inference in the presence of derived type hierarchies
|
| 2 |
The design and implementation of Troy, a distributed object-based languageHailes, Stephen Mark Vernon January 1991 (has links)
No description available.
|
| 3 |
Modular compilation in high level languagesAnderson, Melvin John January 1988 (has links)
No description available.
|
| 4 |
Logics of domainsZhang, Guo Qiang January 1989 (has links)
No description available.
|
| 5 |
Higher-level algorithmic structures in the refinement calculusKing, Stephen January 1998 (has links)
No description available.
|
| 6 |
High level language constructs for relational database designConnolly, Michelle M. January 1986 (has links)
No description available.
|
| 7 |
Recognition of identical stubs in a decision table processorLu, Chi-Dong January 2010 (has links)
Digitized by Kansas Correctional Industries
|
| 8 |
Implementation of committed choice logic languages on shared memory multiprocessorsCrammond, James Alexander January 1988 (has links)
No description available.
|
| 9 |
A formal semantics of parallel features of Fortran 95Reid, N. K. January 2003 (has links)
No description available.
|
| 10 |
Usability evaluation of grammar formalisms for free wold order natural language processingPedersen, M. Unknown Date (has links)
No description available.
|
Page generated in 0.0474 seconds