Interfacing with Honeysuckle by formal contract

Concurrent Systems Engineering Series

Volumn 63, Issue , 2005, Pages 1-11

  East, Ian ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

Client server protocol; Component based software development; Compositionalily; Deadlock freedom; Interfacing; Programming language

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROGRAM COMPILERS; SOFTWARE ENGINEERING; USER INTERFACES;

CLIENT-SERVER PROTOCOLS; COMPONENT-BASED SOFTWARE DEVELOPMENT; COMPOSITIONALILY; DEADLOCK-FREEDOM; INTERFACING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33746375032     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. Ian R. East. The Honeysuckle programming language: An overview. IEE Software, 150(2):95-107, 2003.
2. Per Brinch Hansen. Operating System Principles. Automatic Computation. Prentice Hall, 1973.
3. Ian R. East. Prioritised service architecture. In I. R. East and J. M. R. Martin et al., editors, Communicating Process Architectures 2004, Series in Concurrent Systems Engineering, pages 55-69. IOS Press, 2004.
4. Inmos. occam 2 Reference Manual. Series in Computer Science. Prentice Hall International, 1988.
5. Ian R. East. Towards a successor to occam. In A. Chalmers, M. Mirmehdi, and H. Muller, editors, Proceedings of Communicating Process Architecture 2001, pages 231-241, University of Bristol, UK, 2001. IOS Press.
6. Fred R. M. Barnes and Peter H. Welch. Communicating mobile processes. In I. R. East and J. M. R. Martin et al., editors. Communicating Process Architectures 2004, pages 201-218. IOS Press, 2004.
7. C. A. R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice Hall International, 1985.
8. A. W. Roscoe. The Theory and Practice of Concurrency. Series in Computer Science. Prentice-Hall, 1998.
9. Peter H. Welch. Emulating digital logic using transputer networks. In Parallel Architectures and Languages - Europe, volume 258 of LNCS, pages 357-373. Springer Verlag, 1987.
10. Peter H. Welch, G. Justo, and Colin Willcoek. High-level paradigms for deadlock-free high performance systems. In R. Grebe et al., editor, Transputer Applications and Systems '93, pages 981-1004, IOS Press, 1993.
11. Jeremy M. R. Martin. The Design and Construction of Deadlock-Free Concurrent Systems. PhD thesis. University of Buckingham, Hunter Street, Buckingham, MK18 1EG, UK, 1996.
12. Jeremy M. R. Martin and Peter H. Welch. A design strategy for deadlock-free concurrent systems. Transputer Communications, 3(3): 1-18, 1997.
13. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Component Software Series. Addison-Wesley, second edition, 2002.
14. R. W. Floyd. Assigning meanings to programs. In American Mathematical Society Symp. in Applied Mathematics, volume 19, pages 19-31, 1967.
15. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580, 1969.
16. C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271-281, 1972.
17. Bertrand Meyer. Design by contract. Technical Report TR-EI-12/CO, ISE Inc., 270, Storke Road, Suite 7, Santa Barbara, CA 93117 USA, 1987.
18. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, second edition, 1997.
19. Marcel Boosten. Formal contracts: Enabling component composition. In J. H. Broenink and G. H. Hilderink, editors. Proceedings of Communicating Process Architecture 2003, pages 185-197, University of Twente, Netherlands, 2003. IOS Press.
20. Geoff Barrett. occam 3 Reference Manual. Inmos Ltd., 1992.
21. Adrian E. Lawrence. Triples. In I. R. East and J. M. R. Martin et al., editors. Proceedings of Communicating Process Architectures 2004, Series in Concurrent Systems Engineering, pages 157-184. IOS Press, 2004.