| |
Browse All Reviews > Computer Systems Organization (C) > Processor Architectures (C.1) > Other Architecture Styles (C.1.3) > High-Level Language Architectures (C.1.3...)
|
|
 |
|
|
| |
|
|
| |
1-6 of 6
Reviews about "High-Level Language Architectures (C.1.3...)":
|
Date Reviewed |
| |
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
Welch L. IEEE Transactions on Computers 43(11): 1249-1261, 1994. Type: Article
ARC, a parallel virtual machine (the paper design of a parallel computer) for executing programs composed of abstract data types (ADTs), is presented. The motivation is to support reusable components and parallel and distributed progra...
|
Jan 1 1996 |
| |
A comparative study of unification algorithms for or-parallel execution of logic languages
Crammond J. IEEE Transactions on Computers 34(10): 911-917, 1985. Type: Article
This paper will attract the attention of researchers in the field of PROLOG-style interpreter engines. It describes three algorithms for the management of unification variables, requiring the binding (for variables that have been unifi...
|
Dec 1 1986 |
| |
A modular verifiable exception handling mechanism
Yemini S., Berry D. ACM Transactions on Programming Languages and Systems 7(2): 214-243, 1985. Type: Article
This paper addresses the issue of an exception handling mechanism that is reliably added to a language that implements data abstractions. The authors argue that such an exception handler should be (1) part of an orthogonal language, wh...
|
Jan 1 1986 |
| |
Architecture for VHLL: a direct execution approach
Dromard D., Dromard F. Concurrent languages in distributed systems: hardware supported implementation (, Bristol, UK, 521985. Type: Proceedings
The authors present in this paper a closely and carefully reasoned development of the design of a non-von Neumann computer architecture. Directly executing a Very High Level Language (VHLL) is the concept driving the design. A VHLL is ...
|
Oct 1 1985 |
| |
Architectures for AI: hardware and software for efficient processing
Deering M. BYTE 10(4): 193-206, 1985. Type: Article
The author sees AI applications moving from the laboratories to the real world (to the real space, too?), producing a demand for higher computational throughput and for lower costs. The article discusses hardware support for increased ...
|
Sep 1 1985 |
| |
The verification of the protection mechanisms of high-level language machines
Gligor V. International Journal of Parallel Programming 12(4): 211-246, 1983. Type: Article
This paper discusses a methodology for the (informal) verification of processor-supported protection mechanisms of high-level language architectures (e.g., INTEL iAPX 432). The methodology takes an abstract model representation of t...
|
Feb 1 1985 |
| |
|
|
| |
|
|
