Programming Languages and Software Engineering group at Microsoft Research
URI: https://gptkb.org/entity/Programming_Languages_and_Software_Engineering_group_at_Microsoft_Research
GPTKB entity
Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research_institute
|
| gptkbp:abbreviation |
PLSE
|
| gptkbp:developedBy |
gptkb:F#
gptkb:Spec# gptkb:Code_Contracts C# (contributions) FORMULA Pex Roslyn (contributions) Z3 theorem prover |
| gptkbp:focusesOn |
gptkb:programming_language
software engineering |
| gptkbp:hasMember |
gptkb:Simon_Peyton_Jones
gptkb:Don_Syme gptkb:Byron_Cook Judith Bishop |
| https://www.w3.org/2000/01/rdf-schema#label |
Programming Languages and Software Engineering group at Microsoft Research
|
| gptkbp:locatedIn |
gptkb:Redmond,_Washington
|
| gptkbp:parentOrganization |
gptkb:Microsoft
|
| gptkbp:partOf |
gptkb:Microsoft_Research
|
| gptkbp:researchArea |
formal methods
type systems compilers software verification program analysis |
| gptkbp:website |
https://www.microsoft.com/en-us/research/group/programming-languages-and-software-engineering/
|
| gptkbp:bfsParent |
gptkb:Ben_Zorn
|
| gptkbp:bfsLayer |
8
|