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

Fingerprint Dive into the research topics where David P. Walker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Semantics
Computer programming languages
Switches
Data description
Aspect oriented programming
Functional programming
Data storage equipment
Hardware
Acoustic waves
Syntactics
High level languages
Computer programming
Labels
Data structures
Specifications
Processing
Fault tolerance
Context free grammars
Access control
Monitoring
Controllers
Flow control
Shovels
Routers
Markup languages
Algebra
Propane
Engines
Topology
Machine oriented languages
Chemical analysis
Servers
XML
Resource allocation
Query languages
Polymers
Associative storage
Computer debugging
Pipelines
Inference engines
Application programming interfaces (API)
Metadata
Network protocols
Transistors
Software defined networking

Mathematics

Type Systems
Concurrent
Reasoning
Monitor
Aliasing
Compilation
Distributed Programming
Transient Faults
Logic
Security Policy
Linear Logic
Separation Logic
Automated Reasoning
Programming Languages
Data Structures
Fragment
Safety