Declarative Semantics of Production Rules for Integrity Maintenance L. Caroprese, S. Greco, C. Sirangelo, and E. Zumpano DEIS, Univ. della Calabria, 87030 Rende, Italy {caroprese, greco, sirangelo, zumpano}@deis.unical.i

Source URL: www.sirangelo.info

2013 IEEE Symposium on Security and Privacy Declarative, Temporal, and Practical Programming with Capabilities William R. Harris∗ , Somesh Jha∗ , Thomas Reps∗† , Jonathan Anderson‡ , and Robert N. M. Watson‡

Source URL: www.ieee-security.org

WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen,

Source URL: www.diku.dk

Authoring an Interactive Narrative with Declarative Optimization-Based Drama Management∗ Mark J. Nelson1 , Calvin Ashmore2 , and Michael Mateas1,2 1 College of Computing School of Literature, Communication, and Culture

Source URL: www.kmjn.org

2014 IEEE Security and Privacy Workshops Insider Attack Identification and Prevention Using a Declarative Approach Anandarup Sarkar∗ , Sven K¨ohler∗ , Sean Riddle∗ , Bertram Lud¨ascher∗ , Matt Bishop∗ ∗ U

Source URL: ieee-security.org

Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov

Source URL: okmij.org

• Functional programming
• Data types
• Type theory
• Higher-order functions
• Adjoint functors
• Monad
• Pattern matching
• Type system
• List
• Software engineering
• Declarative programming
• Computing

Reinforcement Learning for Declarative Optimization-Based Drama Management Mark J. Nelson, David L. Roberts, Charles L. Isbell, Jr., Michael Mateas College of Computing Georgia Institute of Technology Atlanta, Georgia, U

Source URL: www.kmjn.org

• Temporal difference learning
• Software
• Artificial intelligence
• Learning
• Anchorhead
• Interactive fiction
• Reinforcement learning

Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences

Source URL: www.cs.berkeley.edu

• Declarative programming
• Satisfiability Modulo Theories
• Type system
• Prolog
• Symbolic execution
• Linear programming
• Theoretical computer science
• Software engineering
• Constraint programming

2013 IEEE Symposium on Security and Privacy Declarative, Temporal, and Practical Programming with Capabilities William R. Harris∗ , Somesh Jha∗ , Thomas Reps∗† , Jonathan Anderson‡ , and Robert N. M. Watson‡

Source URL: ieee-security.org

• Text mode
• Wget
• Capability-based security
• Capsicum
• Process
• Programming language
• Computer program
• Computer security
• Algorithm
• Software
• Computing
• Portable software

Automated Planning for Configuration Changes Herry Paul Anderson Gerhard Wickler LISA Conference, December 2011

Source URL: static.usenix.org

• Software
• Programming paradigms
• System administration
• Multi-agent systems
• Puppet
• Declarative programming
• CFEngine
• E
• Database
• Information technology management
• Configuration management
• Computing