King, Andy (2008) Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry. In: Arenas, Puri and Zanardini, Damiano, eds. Proceedings on Logic-Based Methods in Programming Envrionments. . pp. 1-7. CoRR, Udine (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24085)
| The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication) |
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.
| Item Type: | Conference or workshop item (Keynote) |
|---|---|
| Additional information: | Invited paper |
| Uncontrolled keywords: | CoRR abs/0903.2353 |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Sciences > School of Computing > Theoretical Computing Group |
| Depositing User: | Andy King |
| Date Deposited: | 29 Mar 2010 12:14 UTC |
| Last Modified: | 15 Feb 2020 04:03 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/24085 (The current URI for this page, for reference purposes) |
| King, Andy: |  https://orcid.org/0000-0001-5806-4822 |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
