Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Gary_T._Leavens> ?p ?o }
Showing triples 1 to 52 of
52
with 100 triples per page.
- Gary_T._Leavens abstract "Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University.He is also the Program Chair for 2009 OOPSLA.".
- Gary_T._Leavens wikiPageID "21871772".
- Gary_T._Leavens wikiPageLength "1074".
- Gary_T._Leavens wikiPageOutDegree "13".
- Gary_T._Leavens wikiPageRevisionID "616423464".
- Gary_T._Leavens wikiPageWikiLink Category:American_computer_scientists.
- Gary_T._Leavens wikiPageWikiLink Category:Living_people.
- Gary_T._Leavens wikiPageWikiLink Category:University_of_Central_Florida_faculty.
- Gary_T._Leavens wikiPageWikiLink Computer_science.
- Gary_T._Leavens wikiPageWikiLink Iowa_State_University.
- Gary_T._Leavens wikiPageWikiLink Java_Modeling_Language.
- Gary_T._Leavens wikiPageWikiLink C++.
- Gary_T._Leavens wikiPageWikiLink Smalltalk.
- Gary_T._Leavens wikiPageWikiLink OOPSLA.
- Gary_T._Leavens wikiPageWikiLink Professor.
- Gary_T._Leavens wikiPageWikiLink Specification_language.
- Gary_T._Leavens wikiPageWikiLinkText "Gary T. Leavens".
- Gary_T._Leavens name "Leavens, Gary T.".
- Gary_T._Leavens shortDescription "American computer scientist".
- Gary_T._Leavens wikiPageUsesTemplate Template:Compu-scientist-stub.
- Gary_T._Leavens wikiPageUsesTemplate Template:Persondata.
- Gary_T._Leavens wikiPageUsesTemplate Template:Primary_sources.
- Gary_T._Leavens description "American computer scientist".
- Gary_T._Leavens description "American computer scientist".
- Gary_T._Leavens subject Category:American_computer_scientists.
- Gary_T._Leavens subject Category:Living_people.
- Gary_T._Leavens subject Category:University_of_Central_Florida_faculty.
- Gary_T._Leavens hypernym Professor.
- Gary_T._Leavens type Agent.
- Gary_T._Leavens type List.
- Gary_T._Leavens type Person.
- Gary_T._Leavens type Scientist.
- Gary_T._Leavens type Person.
- Gary_T._Leavens type List.
- Gary_T._Leavens type Scientist.
- Gary_T._Leavens type Agent.
- Gary_T._Leavens type NaturalPerson.
- Gary_T._Leavens type Thing.
- Gary_T._Leavens type Q215627.
- Gary_T._Leavens type Q5.
- Gary_T._Leavens type Person.
- Gary_T._Leavens comment "Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University.He is also the Program Chair for 2009 OOPSLA.".
- Gary_T._Leavens label "Gary T. Leavens".
- Gary_T._Leavens sameAs Q5526028.
- Gary_T._Leavens sameAs m.05p2c4s.
- Gary_T._Leavens sameAs Q5526028.
- Gary_T._Leavens wasDerivedFrom Gary_T._Leavens?oldid=616423464.
- Gary_T._Leavens givenName "Gary T.".
- Gary_T._Leavens isPrimaryTopicOf Gary_T._Leavens.
- Gary_T._Leavens name "Gary T. Leavens".
- Gary_T._Leavens name "Leavens, Gary T.".
- Gary_T._Leavens surname "Leavens".