• 5314 Citations
  • 35 h-Index
19982021
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

Walker, D., Sep 2003, In : ACM SIGPLAN Notices. 38, 9, p. 213-225 13 p.

Princeton University

Research output: Contribution to journalConference article

Syntactics
Semantics
Acoustic waves
23 Citations (Scopus)

A theory of aspects

Walker, D., Sep 2003, In : ACM SIGPLAN Notices. 38, 9, p. 127-139 13 p.

Princeton University

Research output: Contribution to journalConference article

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

Reasoning about hierarchical storage

Walker, D., Sep 1 2003, In : Proceedings - Symposium on Logic in Computer Science. p. 33-44 12 p.

Princeton University

Research output: Contribution to journalConference article

Layout
Reasoning
Semantics
Data storage equipment
Substructural Logics
1999
124 Citations (Scopus)

Typed memory management in a calculus of capabilities

Walker, D., Jan 1 1999, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 262-275 14 p.

Research output: Contribution to journalConference article

Data storage equipment
Computer programming languages
1998
196 Citations (Scopus)

From system F to typed assembly language

Walker, D., Jan 1 1998, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 85-97 13 p.

Research output: Contribution to journalConference article

Abstract data types
Reduced instruction set computing
High level languages
Scheduling