SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 258, Issue 1-2, 2001, Pages 233-267

Concrete data structures and functional parallel programming

(3) Hains, Gaétan a Loulergue, Frédéric a Mullins, John b

a UNIVERSITÉ D'ORLÉANS (France)

b ÉCOLE POLYTECHNIQUE DE MONTRÉAL (Canada)

Author keywords

Concrete data structures; Deterministic parallel programming; Functional programming; Semantic models

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA REDUCTION; DATA STRUCTURES; MATHEMATICAL MODELS;

CONCRETE DATA STRUCTURES; DETERMINISTIC PARALLEL PROGRAMMING; FUNCTIONAL PARALLEL PROGRAMMING;

PARALLEL PROCESSING SYSTEMS;

EID: 0034911470 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00010-4 Document Type: Article

Times cited : (2)

References (27)

1
- 0003757180
- MIT Press, Cambridge, MA
- (1991) Categories, Types and Structures
- Asperti, A.¹ Longo, G.²

2
- 0004511732
- Programming with concrete data structures and sequential algorithms
- ACM, October, Portsmouth, New Hampshire, ACM Press
- (1981) Conference on Functional Programming Languages and Computer Architecture , pp. 49-57
- Berry, G.¹

3
- 0004454911
- Theory and practice of sequential algorithms: The kernel of the applicative language CDS
- J.C. Reynolds, M. Nivat (Eds.), Cambridge University Press, Cambridge
- (1985) Algebraic Semantics , pp. 35-84
- Berry, G.¹ Curien, P.-L.²

4
- 84955619423
- Efficient parallel programming with algorithmic skeletons
- L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, LIP-ENSL, Springer, Berlin, August
- (1996) Lecture Notes in Computer Science , vol.1123-1124
- Botorog, G.H.¹ Kuchen, H.²

5
- 4244211288
- Le modèle de programmation à parallélisme de données: Une perspective sémantique
- (1993) RAIRO Technique et Science Informatiques , vol.12 , Issue.5
- Bougé, L.¹

6
- 84955589529
- Euro-Par'96 Parallel Processing, Lyon, LIP-ENSL, Springer, Berlin, August
- (1996) Lecture Notes in Computer Science , vol.1123-1124
- Bougé, L.¹ Fraigniaud, P.² Mignotte, A.³ Robert, Y.⁴

7
- 0347269301
- Computational comonads and intensional semantics
- M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Durham, Proceedings of the LMS Symposium, Cambridge University Press, Cambridge
- (1991) Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series , vol.177
- Brookes, S.¹ Geva, S.²

8
- 77957790670
- Continuous functions and parallel algorithms on concrete data structures
- Springer, Berlin
- (1991) MFPS'91, Lecture Notes in Computer Science
- Brookes, S.¹ Geva, S.²

9
- 0001590639
- Fully abstract semantics for observably sequential languages
- (1994) Inform. and Comput. , vol.111 , Issue.2 , pp. 297-401
- Cartwright, R.¹ Curien, P.-L.² Felleisen, M.³

10
- 0000045014
- Crystal: Theory and pragmatics of generating efficient parallel code
- B.K. Szymanski (Ed.), ACM Press, New York
- (1991) Parallel Functional Languages and Compilers , pp. 7
- Chen, M.¹ Choo, Y.-Il.² Li, J.³

11
- 0003587629
- MIT Press, Cambridge, MA
- (1989) Algorithmic Skeletons: Structured Management of Parallel Computation
- Cole, M.¹

12
- 0003720556
- Birkhäuser, Boston
- (1993) Categorical Combinators, Sequential Algorithms and Functional Programming 2nd ed.
- Curien, P.-L.¹

13
- 4244211286
- High-performance distributed computing: The I-WAY experiment and beyond
- L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, LIP-ENSL, Springer, Berlin, August
- (1996) Lecture Notes in Computer Science , vol.1123-1124
- Foster, I.¹

14
- 0001848686
- Semantic domains
- J. Van Leeuwen (Ed.), North-Holland, MIT-Press, Amsterdam, Cambridge, MA
- (1990) Handbook of Theoretical Computer Science
- Gunter, C.A.¹ Scott, D.S.²

15
- 4243677229
- Research Note RR-95-1E, ISIS, Fujitsu Labs, Makuhari, Japan
- (1995) Array structures and data-parallel algorithms
- Hains, G.¹ Mullins, J.²

16
- 21444452942
- Array structures and data-parallel algorithms
- L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96, Lyon, LIP-ENSL, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1124 , pp. 409-416
- Hains, G.¹ Mullins, J.²

17
- 84882584876
- A monadic calculus for parallel costing of a functional language of arrays
- C. Lengauer, M. Griebl, S. Gorlatch (Eds.), Euro-Par'97, Springer, Passau
- (1997) Lecture Notes in Computer Science , vol.1300 , pp. 650-661
- Jay, C.B.¹ Cole, M.I.² Sekanina, M.³ Steckler, P.⁴

18
- 0027910778
- Concrete domains
- (1993) Theoret. Comput. Sci. , vol.121 , pp. 187-277
- Kahn, G.¹ Plotkin, G.D.²

19
- 85029804070
- Distributed CCS
- Theories of Concurrency: Unification and Extension: CONCUR-91, Springer, Berlin, August
- (1991) Lecture Notes in Computer Science , vol.407 , pp. 393-407
- Krishnan, P.¹

20
- 33847141898
- Data parallelism and functional programming
- France, PRC-CNRS, Springer, Berlin
- (1996) École de Printemps sur le Data-Parallélisme, Les Menuires
- Lisper, B.¹

21
- 0346477036
- Parallel functional programming with explicit processes: Beyond SPMD
- C. Lengauer, M. Griebl, S. Gorlatch (Eds.), Euro-Par'97 Parallel Processing, Passau, Germany, Springer, Berlin, August
- (1997) Lecture Notes in Computer Science , vol.1300 , pp. 530-537
- Loulergue, F.¹ Hains, G.²

22
- 84955600770
- Universal computing
- L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, LIP-ENSL, Springer, Berlin, August
- (1996) Lecture Notes in Computer Science , vol.1123-1124
- McColl, W.F.¹

23
- 0029193621
- First-class schedules and virtual maps
- FPCA'95, La Jolla, CA, ACM Press
- (1995) Proc. 7th Ann. Conf. on Functional Programming Languages and Computer Architecture
- Mirani, R.¹ Hudak, P.²

24
- 0003949908
- Taylor & Francis, London
- (1997) Structured Development of Parallel Programs
- Pelagatti, S.¹

25
- 84955559132
- Dynamic load balancing in parallel database systems
- L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, LIP-ENSL, Springer, Berlin, August
- (1996) Lecture Notes in Computer Science , vol.1123-1124
- Rahm, E.¹

26
- 0004489591
- Foundations of Parallel Processing
- Cambridge University Press, Cambridge
- (1994) International Series on Parallel Computation , vol.6
- Skillicorn, D.B.¹

27
- 85022794780
- Event structures
- W. Brauer (Ed.), Petri Nets: Central Models and Their Properties; Advances in Petri nets; Proceedings of an Advanced Course, Bad Honnef, 8-19 September 1986, vol. 2, Springer, Berlin
- (1986) Lecture Notes in Computer Science , vol.255
- Winskel, G.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.