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

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

2009-03-13

arxiv.org/abs/0903.2353v1

Computer Science

Programming Languages

Paper presented as an invited talk at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-228611