An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming Harjot Gill Taher Saeed

Source URL: edusigcomm.info.ucl.ac.be

• Distributed data storage
• Distributed hash table
• Routing protocol
• Optimized Link State Routing Protocol
• Peer-to-peer
• Chord
• Wireless ad hoc network
• Routing
• Internet protocol suite
• Link-state routing protocol
• Overlay network
• Gnutella

Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1

Source URL: tmancini.di.uniroma1.it

• Programming paradigms
• Abductive logic programming
• Linear temporal logic
• Model checking
• Formal verification
• NuSMV
• Constraint programming
• Temporal logic
• Declarative programming
• Prolog
• Logic programming
• Entityrelationship model

Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11

Source URL: www.janis-voigtlaender.eu

• Programming paradigms
• Functional programming
• Programming language theory
• Literate programming
• Monad
• Declarative programming
• Haskell
• Side effect
• Echo
• Referential transparency
• Imperative programming
• Rc

Emma in Action: Declarative Dataflows for Scalable Data Analysis Alexander Alexandrov Andreas Salzmann Georgi Krastev Asterios Katsifodimos

Source URL: stratosphere.eu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Concurrent programming languages
• Functional languages
• Apache Software Foundation
• Cluster computing
• Apache Spark
• Apache Flink
• Scala
• Monad

Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias

Source URL: www.cs.tufts.edu

• Hoare logic
• Static program analysis
• Predicate transformer semantics

Comprehensive Optimization of Declarative Sensor Network Queries Ixent Galpin, Christian Y.A. Brenninkmeijer, Farhana Jabeen, Alvaro A.A. Fernandes, Norman W. Paton University of Manchester, United Kingdom

Source URL: www.semsorgrid4env.eu

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Functional languages
• Curry
• Fold
• Monad
• Constraint

Original version appeared in the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters (Extended Version) Jan Midtgaard Norman Ramsey

Source URL: www.cs.tufts.edu

• Logic in computer science
• Greek letters
• Denotational semantics
• Eval
• Lua
• Normal distribution
• San
• Semantics

Deriving a Relationship from a Single Example

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Monad
• Fold
• Scheme