Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda Tohoku University

Source URL: www2.sf.ecei.tohoku.ac.jp

• Mathematics
• Special functions
• Declarative programming
• Automated theorem proving
• Logic programming
• Data types
• Functional programming
• Logical truth
• Substitution
• Cons
• Exponentiation
• Inverse trigonometric functions

Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science

Source URL: www.itu.dk

• Logic
• Declarative programming
• Software engineering
• Symbol
• Standard ML
• Substitution
• Model theory

Declarative Diagnosis of Constraint Programs: an assertion-based approach Johan Boye, Wlodek Drabent, Jan Maluszynski April 21, 1997 Abstract This paper discusses adaptation of the declarative diagnosis techniques for

Source URL: www.ep.liu.se

A Declarative Sensornet Architecture Arsalan Tavakoli† , David Chu† , Joseph M. Hellerstein† , Phillip Levis‡ , and Scott Shenker† † UC Berkeley EECS Dept. Berkeley, California 94720

Source URL: sing.stanford.edu

• TinyOS
• Predicate
• NesC
• Extension

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function

t-regex Matching using tree regular expressions Alejandro Serrano Mena Universiteit Utrecht

Source URL: wwwhome.cs.utwente.nl

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Formal languages
• Regular expressions
• Pattern matching
• List
• Cons
• TRE
• Algebraic data type

Delft University of Technology Software Engineering Research Group Technical Report Series Declarative Testing and Deployment of Distributed Systems

Source URL: www.st.ewi.tudelft.nl

Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories

fourteen declarative principles of experience-oriented intelligence 1. all goals and purposes can be well thought of as the maximization of the expected value of the cumulative sum of a single externally received number

Source URL: webdocs.cs.ualberta.ca

A Declarative and Expressive Approach to Control Forwarding in Carrier-Grade Networks Stefano Vissicchio UCLouvain

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

• Computing
• Network architecture
• Network protocols
• Emerging technologies
• OpenFlow
• Computer networking
• Frenetic
• Scalability
• Software-defined networking
• Network function virtualization