|
gptkbp:instance_of
|
gptkb:Research_Institute
|
|
gptkbp:bfsLayer
|
6
|
|
gptkbp:bfsParent
|
gptkb:Margaret_Ito
|
|
gptkbp:affiliated_with
|
Department of Electrical Engineering and Computer Sciences
|
|
gptkbp:collaborates_with
|
industry partners
|
|
gptkbp:focus
|
gptkb:language
|
|
gptkbp:hosts
|
workshops
seminars
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Berkeley Programming Languages Group
|
|
gptkbp:location
|
gptkb:University
|
|
gptkbp:notable_alumni
|
gptkb:John_Ousterhout
gptkb:Jeffrey_Dean
gptkb:Bjarne_Stroustrup
gptkb:M._Frans_Kaashoek
gptkb:David_Patterson
gptkb:Bill_Joy
gptkb:Tim_Sweeney
gptkb:Rob_Pike
gptkb:Peter_G._Neumark
gptkb:Barbara_Liskov
|
|
gptkbp:notable_members
|
gptkb:John_Mitchell
gptkb:Robert_Harper
gptkb:Andrew_Yao
Martin Rinard
Dan Garcia
|
|
gptkbp:produced_by
|
gptkb:software
academic papers
research reports
|
|
gptkbp:project
|
gptkb:TLA+
gptkb:X10
gptkb:church
gptkb:software
gptkb:Go
gptkb:Rust
gptkb:Skrull
gptkb:Soot
gptkb:Cilk
Jikes RVM
|
|
gptkbp:research_areas
|
gptkb:language
functional programming
concurrent programming
compiler construction
program analysis
software verification
type systems
language design
runtime systems
|