Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry

2009/03/13 by Andy King, King, Andy
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.PL

paper · pdf · doi:10.48550/arxiv.0903.2353

Paper presented as an invited talk at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

arxiv created 2009/03/13 · openalex publication_date 2009/03/13 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Logic programming is sometimes described as relational programming: a paradigm in which the programmer specifies and composes n-ary relations using systems of constraints. An advanced logic programming environment will provide tools that abstract these relations to transform, optimise, or even verify the correctness of a logic program. This talk will show that these concepts, namely relations, constraints and abstractions, turn out to also be important in the reverse engineer process that underpins the discovery of bugs within the security industry.

Related

• Relational Logic with Framing and Hypotheses: Technical Report
• Logic programming beyond Prolog
• Relational Symbolic Execution
• Expert Systems with Logic#. A Novel Modeling Framework for Logic Programming in an Object-Oriented Context of C#
• Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming