• 4936 Citations
  • 35 h-Index
19982019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1998 2019

Filter
Paper
2005
88 Citations (Scopus)

Composing security policies with polymer

Bauer, L., Ligatti, J. & Walker, D. P., Dec 1 2005, p. 305-314. 10 p.

Research output: Contribution to conferencePaper

Polymers
Chemical analysis
Electronic mail
Semantics
2003
53 Citations (Scopus)

A Theory of Aspects

Walker, D. P., Zdancewic, S. & Ligatti, J., Dec 1 2003, p. 127-139. 13 p.

Research output: Contribution to conferencePaper

Aspect oriented programming
Computer programming languages
Labels
Semantics
Syntactics
2001
29 Citations (Scopus)

On regions and linear types

Walker, D. P. & Watkins, K., Jan 1 2001, p. 181-192. 12 p.

Research output: Contribution to conferencePaper

Data structures
Functional programming
Data storage equipment
Access control
Computer programming languages