King, Andy (2008) Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry. In: Proceedings on Logic-Based Methods in Programming Envrionments.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
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.
|Item Type:||Conference or workshop item (Paper)|
|Additional information:||Invited paper|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||29 Mar 2010 12:14|
|Last Modified:||29 Mar 2010 12:14|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/24085 (The current URI for this page, for reference purposes)|
- Depositors only (login required):