Netlog, a Rule-Based Language for Distributed Programming-Reference-Cited by-同舟云学术

Netlog, a Rule-Based Language for Distributed Programming

Published:2010 Issue: Volume: Page:88-103
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Grumbach Stéphane,Wang Fang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-11503-5_9.pdf

Reference19 articles.

1. Abadi, M., Loo, B.T.: Towards a declarative language and system for secure networking. In: NETB 2007: Proceedings of the 3rd USENIX international workshop on Networking meets databases, pp. 1–6 (2007)

2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)

3. Lecture Notes in Computer Science;G. Alonso,2003

4. Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations and Advanced Topics. Wiley Interscience, Hoboken (2004)

5. Bejerano, Y., Breitbart, Y., Garofalakis, M.N., Rastogi, R.: Physical topology discovery for large multi-subnet networks. In: INFOCOM (2003)

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CPDE: A Methodology for the Transparent Distribution of Centralized Smart Grid Programs;IEEE Transactions on Parallel and Distributed Systems;2021-02-01

2. Developing and certifying Datalog optimizations in coq/mathcomp;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

3. Smartlog – A declarative language for distributed programming in smart grids;Computers & Electrical Engineering;2019-12

4. Using declarative programming for network data management in smart grids;Proceedings of the 22nd International Database Engineering & Applications Symposium on - IDEAS 2018;2018

5. Certifying Standard and Stratified Datalog Inference Engines in SSReflect;Interactive Theorem Proving;2017