Operational semantics for declarative networking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5418 LNCS, Issue , 2009, Pages 76-90

  Navarro, Juan A ^a   Rybalchenko, Andrey ^a  

^a MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

Declarative networking; Distributed systems; Programming language semantics

Indexed keywords

APPLICATION DEVELOPMENT; ASYNCHRONOUS COMMUNICATION; BYZANTINE FAULT TOLERANCE; DATALOG; DECLARATIVE NETWORKING; DESIGN SPACES; DISTRIBUTED HASH TABLE; DISTRIBUTED SYSTEMS; HIGH-LEVEL PROGRAMMING PARADIGMS; LANGUAGE DEVELOPMENT; NETWORK OVERLAY; NETWORKED SYSTEMS; NETWORKING APPLICATIONS; OPERATIONAL SEMANTICS; PARAMETERIZED; PROGRAM ANALYSIS; PROGRAM STATE; PROGRAMMING LANGUAGE SEMANTICS; RULE-BASED PROGRAMMING; RUNTIME ENVIRONMENTS; VERIFICATION TOOLS;

ADA (PROGRAMMING LANGUAGE); C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; LINGUISTICS; NETWORK PROTOCOLS; PROGRAM INTERPRETERS; QUALITY ASSURANCE; QUERY LANGUAGES; SEMANTICS; TEXTILES;

COMPUTER SYSTEMS PROGRAMMING;

EID: 70350648923     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-92995-6_6     Document Type: Conference Paper

References (18)

1. Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, KTH (2003)
2. Fournet, C., Fessant, F.L., Maranget, L., Schmitt, A.: JoCaml: A language for concurrent distributed and mobile programming. In: Advanced Func. Prog. Springer, Heidelberg (2002)
3. Hanus, M.: Distributed programming in a multi-paradigm declarative language. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol. 1702. Springer, Heidelberg (1999)
4. Killian, C.E., Anderson, J.W., Braud, R., Jhala, R., Vahdat, A.: Mace: language support for building distributed systems. In: PLDI. ACM, New York (2007)
5. Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: Language, execution and optimization. In: SIGMOD, pp. 97-108. ACM, New York (2006)
6. Sewell, P., Leifer, J.J., Wansbrough, K., Nardelli, F.Z., Allen-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level programming language design for distributed computation. J. Funct. Program. 17(4-5), 547-612 (2007)
7. Stoica, I., Morris, R., Liben-Nowell, D., Karger, D.R., Kaashoek, M.F., Dabek, F., Balakrishnan, H.: Chord: A scalable peer-to-peer lookup protocol for Internet applications. IEEE/ACM Trans. Netw. 11(1), 17-32 (2003)
8. Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol. 2218, p. 329. Springer, Heidelberg (2001)
9. Chu, D., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: SenSys. ACM, New York (2007)
10. Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I.: Implementing declarative overlays. In: SIGOPS, pp. 75-90. ACM, New York (2005)
11. Singh, A., Das, T., Maniatis, P., Druschel, P., Roscoe, T.: BFT protocols under fire. In: NSDI, USENIX (2008)
12. Condie, T., Gay, D.E., Loo, B.T., et al.: P2: Declarative networking website (2008)
13. Loo, B.T.: The Design and Implementation of Declarative Networks. PhD thesis, UC Berkeley (2006)
14. Rossberg, A., Botlan, D.L., Tack, G., Brunklaus, T., Smolka, G.: Alice through the looking glass. In: Trends in Func. Prog., Intellect. (2004)
15. Rossberg, A., Tack, G., Kornstaedt, L.: Status report: HOT pickles, and how to serve them. In: Workshop on ML, pp. 25-36. ACM, New York (2007)
16. Beyer, D., Noack, A., Lewerentz, C.: Efficient relational calculation for software analysis. Trans. on Soft. Eng. 31(2), 137-149 (2005)
17. Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: PLDI. ACM, New York (2004)
18. Carriero, N., Gelernter, D.: Linda in context. Commun. ACM 32(4) (1989)