๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Programming Languages and Systems Security

โœ Scribed by Skalka, C.

Book ID
120273906
Publisher
IEEE
Year
2005
Tongue
English
Weight
132 KB
Volume
3
Category
Article
ISSN
1540-7993

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 20th annual ACM SIGPLAN c
[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Finding application errors and security flaws using PQL
โœ Martin, Michael; Livshits, Benjamin; Lam, Monica S. ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› ACM Press โš– 310 KB

A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with sequences of events associated with a set of related objects. This paper presents a language called PQL (Program Query Lan