• 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
Conference article
2003
20 Citations (Scopus)

An effective theory of type refinements

Mandelbaum, Y., Walker, D. P. & Harper, R., Jan 1 2003, In : ACM SIGPLAN Notices. 38, 9, p. 213-225 13 p.

Research output: Contribution to journalConference article

Syntactics
Semantics
Acoustic waves
23 Citations (Scopus)

A theory of aspects

Walker, D. P., Zdancewic, S. & Ligatti, J., Jan 1 2003, In : ACM SIGPLAN Notices. 38, 9, p. 127-139 13 p.

Research output: Contribution to journalConference article

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

Reasoning about hierarchical storage

Ahmed, A., Jia, L. & Walker, D. P., Sep 1 2003, In : Proceedings - Symposium on Logic in Computer Science. p. 33-44 12 p.

Research output: Contribution to journalConference article

Layout
Reasoning
Semantics
Data storage equipment
Substructural Logics