Skip to main navigation
Skip to search
Skip to main content
TU Delft Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at TU Delft Research Portal
Home
Research units
Researchers
Research output
Datasets
Projects
Equipment
Press/Media
Prizes
Activities
A.S. Zwaan, BSc
Electrical Engineering, Mathematics and Computer Science
,
Programming Languages
https://orcid.org/0000-0002-1818-4245
Overview
Fingerprint
Network
Research output
(7)
Similar Profiles
(3)
Fingerprint
Dive into the research topics where A.S. Zwaan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Type Checking
98%
Type Systems
80%
Name Resolution
55%
System Specification
55%
Typing Rule
32%
Static Name
25%
Reasoning
25%
Essential Aspect
25%
Soundness
25%
Time Performance
25%
Refactoring
25%
Language Class
25%
Service
25%
Formalization
25%
INIS
graphs
100%
specifications
81%
resolution
75%
implementation
52%
algorithms
31%
units
29%
errors
29%
synthesis
25%
transformations
25%
Keyphrases
Scope Graphs
50%
Type Checking
31%
Type Checker
31%