SETL for Internet Data Processing
作者： David Bacon
DOI:
关键词: SETL 、 The Internet 、 Software engineering 、 Challenging environment 、 Data processing 、 Resource scarcity 、 Computer science 、 Database 、 Public network
摘要: Abstract : Public network services have to be coherent, reliable, and responsive in the face of errors, failures, attacks, intermittent resource scarcity. SETL [181] turns out a convenient powerful tool for dealing with this challenging environment. This dissertation describes extensions that are useful data processing, especially when Internet numerous processes involved. It is intended serve as tutorial on design moderately complex distributed systems using SETL, accordingly provides many examples.
参考文章(122)
Brian W. Kernighan, Rob Pike, The Practice of Programming ,(1999)
Ernst-Erich Doberkat, Integrating Persistence into a Set-Oriented Prototyping Language. Structured Programming. ,vol. 13, pp. 137- 153 ,(1992)
Alfredo Ferro, Eugenio Omodeo, Domenico Cantone, Computable set theory ,(1990)
Wilhelm Hasselbring, Approaches to High-Level Programming and Prototyping of Concurrent Applications Hasselbring, Wilhelm (1997) Approaches to High-Level Programming and Prototyping of Concurrent Applications SWT-Memo, 91 . Universität Dortmund.. ,(2002) , 10.17877/DE290R-14528
John W. Lloyd, Programming in an Integrated Functional and Logic Language. Journal of Functional and Logic Programming. ,vol. 1999, ,(1999)
Robert Paige, Efficient Translation of External Input in a Dynamically Typed Language. ifip congress. pp. 603- 608 ,(1994)
M. Fuchs, Escaping the event loop: an alternative control structure for multi-threaded GUIs Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction. pp. 69- 87 ,(1995) , 10.1007/978-0-387-34907-7_5
Frances E. Allen, Interprocedural Data Flow Analysis. ifip congress. pp. 398- 402 ,(1974)
W. Hasselbring, Animation of Object-Z Specifications with a Set-Oriented Prototyping Language Z User Workshop, Cambridge 1994. pp. 337- 356 ,(1994) , 10.1007/978-1-4471-3452-7_20
E. Dubinsky, S. Freudenberger, E. Schonberg, J. T. Schwartz, Reusability of design for large software systems: and experiment with the SETL optimizer Software reusability: vol. 1, concepts and models. pp. 275- 293 ,(1989) , 10.1145/73103.73114