Keyphrases
Top-hat
100%
Semantic Equivalence
100%
Task-oriented
100%
Execution Semantics
100%
Task-based Programming Model
60%
Transformation Law
20%
Dependently Typed Programming
20%
Compiler
20%
Formal Languages
20%
Operational Semantics
20%
Programming Languages
20%
Multi-user
20%
Monads
20%
Programming Paradigms
20%
User Workflow
20%
Declarative Specification
16%
Aberrant Behavior
16%
Semantic Rules
16%
Interactive Workflow
16%
Coast Guard
16%
Non-programmers
16%
Declarative Programming
16%
Navy
16%
Dutch Coast
16%
Programming Style
16%
Simply Typed lambda Calculus
16%
Base Language
16%
Computer Science
Oriented Program
100%
Symbolic Execution
100%
Programming Paradigm
66%
Formal Language
66%
Transformation Law
50%
Operational Semantics
50%
Programming Language
50%
Programming Language
50%
Elementary Language
50%
Formal Verification
33%
Soundness
16%
Execution Path
16%