Filters








11 Hits in 1.6 sec

SuperPascal: A Publication Language for Parallel Scientific Computing [chapter]

Per Brinch Hansen
1994 The Origin of Concurrent Programming  
This paper describes the publication language SuperPascal by examples. SuperPascal extends Pascal with deterministic statements for parallel processes and synchronous message communication.  ...  The language permits unrestricted combinations of recursive procedures and parallel statements. SuperPascal omits ambiguous and insecure features of Pascal.  ...  Acknowledgements While writing this paper, I have benefited from the perceptive comments of James Allwright, Jonathan Greenfield and Peter O'Hearn.  ... 
doi:10.1007/978-1-4757-3472-0_19 fatcat:loofchqnnfg7pnc2bzkq6or5se

SuperPascal—a publication language for parallel scientific computing

Per Brinch Hansen
1994 Concurrency Practice and Experience  
This paper describes the publication language SuperPascal by examples. SuperPascal extends Pascal with deterministic statements for parallel processes and synchronous message communication.  ...  The language permits unrestricted combinations of recursive procedures and parallel statements. SuperPascal omits ambiguous and insecure features of Pascal.  ...  Acknowledgements While writing this paper, I have benefited from the perceptive comments of James Allwright, Jonathan Greenfield and Peter O'Hearn.  ... 
doi:10.1002/cpe.4330060504 fatcat:dvaeoof7bzdpnepm6ey3gubviu

Efficient Parallel Recursion [chapter]

Per Brinch Hansen
1995 The Origin of Concurrent Programming  
The method is about as fast as the traditional stack discipline for sequential languages. It has been used to implement the parallel programming language SuperPascal. P.  ...  A simple mechanism is proposed for dynamic memory allocation of a parallel recursive program with Algol-like scope rules.  ...  Acknowledgements It is a pleasure to acknowledge the comments of Art Bernstein, Ole-Johan Dahl, Ric Holt, Butler Lampson, Peter O'Hearn, Ron Perrott, and Jørgen Staunstrup.  ... 
doi:10.1007/978-1-4757-3472-0_20 fatcat:llact6z47jcw7pzsw5zhbz5p4y

Derivation of Secure Parallel Applications by Means of Module Embedding [chapter]

Atanas Radenski
2000 Lecture Notes in Computer Science  
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.  ...  A SuperPascal parallel application consists of a single main program, exactly as in the standard Pascal language.  ...  We have incorporated module embedding in the experimental language Paradigm/SP. Our language is an enhancement of SuperPascal, a high-level parallel programming language developed by Hansen [5] .  ... 
doi:10.1007/10722581_3 fatcat:2twuajblfbe23am5lo7inejguu

The Invention of Concurrent Programming [chapter]

Per Brinch Hansen
2001 The Origin of Concurrent Programming  
This programming technique became known as multiprogramming. The early multiprogramming systems were programmed in assembly language without any conceptual foundation.  ...  A PROGRAMMING REVOLUTION This is the story of one of the major revolutions in computer programming: the invention of concurrent programming.  ...  I thank the Association for Computing Machinery, the Institute of Electrical and Electronics Engineers, and Springer-Verlag for permission to include parts of my earlier essays:  ... 
doi:10.1007/978-1-4757-3472-0_1 fatcat:ngxptj4ch5dqpnte5jnrtruqty

Biography Per Brinch Hansen

J.A.N. Lee, T. Haigh
2003 IEEE Annals of the History of Computing  
; the Solo operating system; the monitor notation for modular parallel programming; the parallel programming languages Concurrent Pascal, Edison, Joyce, and SuperPascal; and his scientific programs for  ...  He is a pioneer in the development of operating system principles and parallel programming languages.  ...  Developers of the Simula I modeling language and Simula 67 general-purpose language, generally recognized as the ancestors of all subsequent object-oriented programming languages.  ... 
doi:10.1109/mahc.2003.1179888 fatcat:m5qze6v2jfhgbmdah6nmbw5i2i

Multiple-length division revisited: A tour of the minefield

Per Brinch Hansen
1994 Software, Practice & Experience  
I illustrate the subtleties of long division by examples, define the problem concisely, summarize the theory, and develop a complete SuperPascal algorithm using a consistent terminology. P.  ...  Brinch Hansen, Multiple-length division revisited: A tour of the minefield.  ...  It is also a pleasure to acknowledge the comments of Suad Alagić, Christian Gram, Hans Riesel and Peter Villemoes.  ... 
doi:10.1002/spe.4380240605 fatcat:4twf6eagabewlde4r2spw6gxle

Parallel Probabilistic Computations on a Cluster of Workstations [chapter]

A. Radenski, A. Vann, B. Norris
1998 Advances in Parallel Computing  
Finally, we measure the parallel efficiency of the cluster implementation.  ...  We implement the algorithms on clusters of Sun Ultra SPARC-1 workstations using PVM, the parallel virtual machine software package.  ...  We specify and test this generic master-server algorithm using the publication language SuperPascal * [5] .  ... 
doi:10.1016/s0927-5452(98)80011-7 fatcat:ciqc24ov5zg6hmbnj6odyty5pa

Modular Programming Languages

Atanas Radenski, Atanas Radenski
2000 Modular Programming Languages   unpublished
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.  ...  A SuperPascal parallel application consists of a single main program, exactly as in the standard Pascal language.  ...  We have incorporated module embedding in the experimental language Paradigm/SP. Our language is an enhancement of SuperPascal, a high-level parallel programming language developed by Hansen [5] .  ... 
fatcat:jv54t2sbw5cydohpqa7xhct464

Semantics and implementation of a generalized forall statement for parallel languages

P. Dechering, L. Breebaart, F. Kuijlman, K. van Reeuwijk, H. Sips
Proceedings 11th International Parallel Processing Symposium  
Denotational semantics are used to define the meaning of the forall and define only one possible program state change.  ...  In addition, the forall statement we propose has the ability to spawn more complex independent activities than can be found in these languages.  ...  In the control parallel language SuperPascal [13] the forall statement is used to denote an array of parallel processes.  ... 
doi:10.1109/ipps.1997.580953 dblp:conf/ipps/DecheringBKRS97 fatcat:qmegmyu4qfcthm6qfmajfnpogu

Introspective pushdown analysis and nebo

Christopher Earl
2014
Nonshared memory MpC [84] implements a subset of MPI as part of its core language. SuperPascal [63] is Pascal [139] extended with message passing.  ...  Fortress [10] is a PGAS language that incorporates many recent concepts and designs from the programming language research community.  ...  details of the analysis, I have transliterated the formalism into Haskell.  ... 
doi:10.26053/0h-qyge-1xg0 fatcat:ulxuw3tcezfole5pmnmcc2df5m