The Honeysuckle programming language: An overview

IEE Proceedings: Software

Volumn 150, Issue 2 SPEC, 2003, Pages 95-107

  East, I ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEM RECOVERY; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING;

COMMUNICATING PROCESS ARCHITECTURE (CPA);

COMPUTER PROGRAMMING LANGUAGES;

EID: 0037657888     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20030130     Document Type: Conference Paper

References (38)

1. MEYER, B.: 'Object-oriented software construction' (Prentice-Hall, 1997)
2. DAHL, O.J.: 'Simula - An ALGOL-based simulation language', Commun. ACM, 1966, 9, (9), pp. 671-678
3. DAHL, O.-J., and HOARE, C.A.R.: 'Hierarchical, program structures', in 'Structured programming' (Academic Press, 1972), pp. 175-220
4. NYGAARD, K., and DAHL, O.-J.: 'The development of the Simula languages', in 'History of programming languages' (Academic Press, 1981)
5. EAST, I.R.: 'Parallel processing with communicating process architecture' (UCL Press, 1995)
6. HOARE, C.A.R.: 'Communicating sequential process' (Prentice-Hall, 1985)
7. ROSCOE, A.W.: 'The theory and practice of concurrency' (Prentice Hall, 1998)
8. Inmos Ltd.: 'occam 2 reference manual' (Prentice Hall International, 1988)
9. WIRTH, N.: 'Algorithms+Data structures=programs' (Prentice-Hall, 1976)
10. WELCH, P.H., and BARNES, F.R.M.: 'Mobile data types for communicating processes' in ARABNIA, H.R. (Ed.): 'Proceedings of the 2001 International Conference on Parallel and distributed processing techniques and applications' (CSREA Press, 2001), pp. 20-26
11. LAWRENCE, A.E.: 'Extending CSP' in WELCH, P.H. and BARKERS, A.W.P. (Eds.): 'Proceedings of the 21st Technical Meeting of the World occam Transputer User Group', University of Kent, UK (IOS Press, 1998), pp. 111-132
12. EAST, I.R.: 'Towards a successor to occam' in CHALMERS, A., MIRMEHDI, M. and MÜLLER, H. (Eds.): 'Proceedings of Communicating Process Architectures 2001' (IOS Press, 2001), pp. 231-241
13. EAST, I.R.: 'Programming prioritized alternation' in ARABNIA, H.R. (Ed.): 'Proceedings of the 2002 International Conference on Parallel distributed processing techniques and applications' (CSREA Press, 2002), pp. 531-537
14. MARTIN, J., EAST, I., and JASSIM, S.: 'Design rules for deadlock freedom', Transput. Commun., 1994, 2, (3), pp. 121-133
15. MARTIN, J.M.R.: 'The design and construction' of deadlock-free concurrent systems'. PhD thesis, University of Buckingham, Hunter Street, Buckingham MK18 1EG, 1996
16. HOARE, C.A.R.: 'Hints on programming language design' in BUNYAN, C.J.: 'State of the art report: computer systems reliability' (Pergamon/Infotech, 1974), pp. 505-534 (reprinted in [37])
17. DIJKSTRA, E.W.: 'The GOTO statement considered harmful', Commun. ACM, 1968, 11, (3), pp. 147-148
18. KNUTH, D.: 'Structured programming with GOTO statements', ACM Comput. Surv., 1974, 6, (4), pp. 261-301 (reprinted in [38])
19. NAUR, P. (Ed.): 'Report on the algorithmic language Algol 60', Commun. ACM, 1960, 3, (5), pp. 299-314
20. NAUR, P. (Ed.): 'Revised report on the algorithmic language Algol 60', Commun. ACM, 1963, 6, (1), pp. 1-17
21. DIJKSTRA, E.: 'An essay on the notion "The scope of variables'", in 'A discipline of programming' (Prentice-Hall, 1976), pp. 79-93
22. DIJKSTRA, E.: 'Array variables', in 'A discipline of programming' (Prentice-Hall, 1976), pp. 94-104
23. MADDUX, R.: 'A study of program structure'. PhD thesis, University of Waterloo, 1975
24. BÖHM, C., and JACOPINI, G.: 'Flow diagrams, turing machines, and languages with only two formation rules', Commun. ACM, 1966, 9, (5), pp. 366-371
25. JONES, G.: 'On guards'. Proceedings of the 7th Technical Meeting of the oocam User Group: International Workshop on the Parallel Programming of Transputer-Based Machines, 1987
26. HOARE, C.A.R.: 'The emperor's old clothes', Commun. ACM, 1981, 24, (2), pp. 75-83 (reprinted in [37])
27. HOARE, C.A.R.: 'Recursive data structures', Int. J. Comput, Inf. Sci., 1975, 4, (2), pp. 105-132 (reprinted in [37])
28. BURSTALL, R.: 'Proving programs by structures induction', Commut. J., 1969, 12, (1), pp. 41-48
29. COHN, P.M.: 'Universal algebra' (Harper & Row, 1965)
30. BRINCH-HANSEN, P.: 'Operating system principles' (Prentice-Hall, 1973)
31. BROOKES, S.D., and ROSCOE, A.W.: 'Deadlock analysis in networks of communicating processes' in APT, K.R. (Ed.): 'Logics and models of concurrent systems', NATO ASI Series, (Springer, 1984), Vol. 13, pp. 305-324
32. BROOKES, S.D., HOARE, C.A.R., and ROSCOE, A.W: 'A theory of communicating sequential processes', J. ACM, 1984, 31, (3), pp. 560-599
33. WELCH, P.H., JUSTO, G., and WILLCOCK, C.: 'High-level paradigms for deadlock-free high-performance systems', in 'Transputer applications and systems'93' (IOS Press, 1993), pp. 981-1004
34. EAST, I.R.: 'Deadlock-free programming with service protocol' (to be published)
35. EAST, I.R.: 'The "Honeysuckle" programming language: Event and process'. Proceedings of communicating process architectures 2002 (IOS press, 2002), pp. 285-299
36. EAST, I.R.: 'The 'Honeysuckle' programming language: Object and protocol'. Proceedings of communicating process architectures 2002 (IOS Press, 2002), pp. 301-310
37. HOARE, C.A.R., and JONES, C.B.: 'Essays in computing science' (Prentice-Hall, 1989)
38. KNUTH, D.: 'Literate programming', CSLI Lecture Notes, Vol. 27, (Center for the Study of Language and information, Stanford University, 1992)