关系、约束与抽象：在安全行业中使用逻辑编程工具
编程语言
2009-03-16 v1
摘要
逻辑编程有时被描述为关系编程：一种程序员使用约束系统指定和组合 n 元关系的范式。一个先进的逻辑编程环境将提供抽象这些关系的工具，以转换、优化甚至验证逻辑程序的正确性。本报告将展示这些概念，即关系、约束和抽象，在支撑安全行业漏洞发现的逆向工程过程中也至关重要。
引用
@article{arxiv.0903.2353,
title = {Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry},
author = {Andy King},
journal= {arXiv preprint arXiv:0903.2353},
year = {2009}
}
备注
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