Results 1 - 10
of
22
Exploiting Parallelism In Setl Programs
, 1993
"... CONTENTS CHAPTER PAGE 1 INTRODUCTION : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 2 BACKGROUND : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.1 Languages, Programs, Machines, and Executions : : : : : : : : : : : : : : : 4 2.2 Our Shared-M ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
CONTENTS CHAPTER PAGE 1 INTRODUCTION : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 2 BACKGROUND : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.1 Languages, Programs, Machines, and Executions : : : : : : : : : : : : : : : 4 2.2 Our Shared
The SETL2 Programming Language
, 1990
"... The SETL2 programming language is a very high level language based on the theory and notation of finite sets. It is evolved from SETL, developed at New York University by J. T. Schwartz. SETL2 adds to SETL a syntax and name scoping closer to more recent imperative languages, full block structure, ..."
Abstract
-
Cited by 31 (0 self)
- Add to MetaCart
The SETL2 programming language is a very high level language based on the theory and notation of finite sets. It is evolved from SETL, developed at New York University by J. T. Schwartz. SETL2 adds to SETL a syntax and name scoping closer to more recent imperative languages, full block structure
Experience with the SETL optimizer
- ACM Transactions on Programming Languages and Systems
, 1983
"... The structure of an existing optimizer for the very high-level, set theoretically oriented programming language SETL is described, and its capabilities are illustrated. The use of novel techniques (supported by state-of-the-art interprocedural program analysis methods) enables the optimizer to accom ..."
Abstract
-
Cited by 30 (0 self)
- Add to MetaCart
The structure of an existing optimizer for the very high-level, set theoretically oriented programming language SETL is described, and its capabilities are illustrated. The use of novel techniques (supported by state-of-the-art interprocedural program analysis methods) enables the optimizer
Combining SETL/E with Linda
- In Wilson G (ed), Proc. Workshop on Linda-Like Systems and Their Implementation, pp 84--99. Edinburgh Parallel Computing Centre
, 1991
"... SETL/E is a procedural prototyping language based on the theory of finite sets. The coordination language Linda provides a distributed shared memory model, called tuple space, together with some atomic operations on this shared data space. Process communication and synchronization in Linda is also c ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
for changing tuples in tuple space to combine set-oriented programming with generative communication: SETL/E-Linda. 1 Introduction and
µSETL: A Set Based Programming Abstraction for Wireless Sensor Networks
, 2011
"... Programming wireless sensor networks is a major challenge, even for experienced programmers. To alleviate this problem, prior work has proposed a paradigm shift from node-level microprogramming to macroprogramming, where the user specifies a distributed ap-plication using a single macroprogram that ..."
Abstract
- Add to MetaCart
that is automatically trans-lated into a set of node-level microprograms. This paper makes the case that node-level microprogramming itself can be made much easier by using the right set of programming abstractions. To sup-port this claim, this paper presents µSETL, a programming abstrac-tion for sensor networks based
µsetl: A set based programming abstraction for wireless sensor networks
- in Information Processing in Sensor Networks (IPSN), 2011 10th International Conference on
, 2011
"... Programming wireless sensor networks is a major challenge, even for experienced programmers. To alleviate this problem, prior work has proposed a paradigm shift from node-level microprogramming to macroprogramming, where the user specifies a distributed application using a single macroprogram that i ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
that is automatically translated into a set of node-level microprograms. This paper makes the case that node-level microprogramming itself can be made much easier by using the right set of programming abstractions. To support this claim, this paper presents µSETL, a programming abstraction for sensor networks based
A Language for Semantic Analysis
, 1993
"... Semantic analysis is important for compilers. In the APTS program transformation system, semantics is specified by rules in the language RSL. The semantic rules are interpreted by APTS to generate the semantic information of the program, which is then used by the rewriting engine for program tran ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
program transformation system on which Robert Paige and the author have been working for several years. Recently, a SETL-to-C translator, written in RSL, has been built in the APTS environment with some success [4]. SETL is a very-high-level language and is convenient to use, but usually much slower than
Collection-Oriented Languages
- PROCEEDINGS OF THE IEEE
, 1991
"... Several programming languages arising from widely diverse practical and theoretical considerations share a common high-level feature: their basic data type is an aggregate of other more primitive data types and their primitive functions operate on these aggregates. Examples of such languages (and th ..."
Abstract
-
Cited by 60 (5 self)
- Add to MetaCart
the collections they support) are FORTRAN 90 (arrays), APL (arrays), Connection Machine LISP (xectors), PARALATION LISP (paralations), and SETL (sets). Acting on large collections of data with a single operation is the hallmark of data-parallel programming and massively parallel computers. These languages
ISETL-LINDA: Parallel Programming with Bags
, 1995
"... . This paper describes the parallel language ISETL-LINDA. The language is an extension of ISETL, an imperative language whose main data structure is the set. We extend ISETL by adding a new type of distributed bags, and operations to act on bags which correspond to the LINDA primitives. However, we ..."
Abstract
-
Cited by 12 (8 self)
- Add to MetaCart
to another parallel language, ProSet [5]. Both are embeddings of Linda [4] into SETL. Linda is a mode...
IBM AIX Parallel Environment Parallel Programming
"... Introduction to SETL. Springer-Verlag, New York, 1986. [24] Seevers, B., Quinn, M. and Hatcher, P. A Parallel Programming Environment Supporting Multiple Data-Parallel Modules. In Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multicomputers, pages 44--47, Boulder ..."
Abstract
- Add to MetaCart
Introduction to SETL. Springer-Verlag, New York, 1986. [24] Seevers, B., Quinn, M. and Hatcher, P. A Parallel Programming Environment Supporting Multiple Data-Parallel Modules. In Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multicomputers, pages 44
Results 1 - 10
of
22