Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
person
|
| gptkbp:affiliatedWith |
gptkb:University_of_California,_Berkeley
|
| gptkbp:hasOccupation |
computer scientist
|
| gptkbp:hasPublications |
Software Testing Techniques
Type Inference for Programming Languages Static_Analysis_of_Programs |
| gptkbp:hasResearchInterest |
program analysis
software verification type systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Jeffrey W. W. Yang
|
| gptkbp:knownFor |
contributions to programming languages
|