This HTML5 document contains 618 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n8https://global.dbpedia.org/id/
n23https://kuleuven.limo.libis.be/discovery/fulldisplay%3Fdocid=lirias1655948&context=SearchWebhook&vid=32KUL_KUL:
provhttp://www.w3.org/ns/prov#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://dbpedia.org/resource/PL/
wikidatahttp://www.wikidata.org/entity/
dbthttp://dbpedia.org/resource/Template:
dbpedia-fahttp://fa.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbchttp://dbpedia.org/resource/Category:
dbohttp://dbpedia.org/ontology/
wikipedia-enhttp://en.wikipedia.org/wiki/
dctermshttp://purl.org/dc/terms/
dbphttp://dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbrhttp://dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
n11http://web.comlab.ox.ac.uk/oucl/publications/books/PfS/
goldhttp://purl.org/linguistics/gold/
n25https://www.cs.cmu.edu/~mleone/
n12https://orc.csres.utexas.edu/
n18http://dbpedia.org/resource/SP/
n22http://dbpedia.org/resource/Compilers:
n17https://www.sigplan.org/Awards/POPL/
n20http://dbpedia.org/resource/S/
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
dbr:List_of_programming_language_researchers
rdfs:label
List of programming language researchers
rdfs:comment
The following is list of researchers of programming language theory, design, implementation, and related areas.(This is a dynamic list and may never be able to satisfy particular standards for completeness. You can help by adding missing items with reliable sources.)
dcterms:subject
dbc:Programming_language_researchers dbc:Lists_of_computer_scientists dbc:Programming_language_designers
dbo:wikiPageID
20567976
dbo:wikiPageRevisionID
1121278625
dbo:wikiPageWikiLink
dbr:George_N._Baird dbr:David_Parnas dbr:Cyclone_(programming_language) dbr:Yoshihiko_Futamura dbr:Thomas_Henzinger dbr:Charles_H._Lindsey dbr:Microsoft_Research dbr:Formal_specification dbr:Java_programming_language dbr:Daniel_P._Friedman dbr:Mitchel_Resnick dbr:Kristen_Nygaard dbr:Alan_Edelman dbr:Kenneth_E._Iverson dbr:David_H._D._Warren dbr:Visual_programming_language dbr:SASL_(programming_language) dbr:Daniel_Jackson_(computer_scientist) dbr:Radhia_Cousot dbr:Artspeak dbr:Susan_Owicki dbr:Infer_Static_Analyzer dbr:Yanhong_Annie_Liu dbr:Partitioned_global_address_space dbr:Charles_H._Moore dbr:General-purpose_macro_processor dbr:Leslie_Lamport dbr:Eiiti_Wada dbr:Program_analysis dbr:Marvin_Zelkowitz dbr:Concurrent_Pascal dbr:Per_Brinch_Hansen dbr:Alan_Kay dbr:Concurrent_computing dbr:PDP-1 dbr:Greg_Morrisett dbr:Robert_Griesemer dbr:Calculus_of_communicating_systems dbr:Stephanie_Weirich dbr:BETA_(programming_language) dbr:Frances_Allen dbr:Baby_Modula-3 dbr:Nobuo_Yoneda dbr:BLISS dbr:Test-driven_development dbr:Remote_procedure_call dbr:Stack_(abstract_data_type) dbr:Integrated_Development_Environment dbr:John_Darlington dbr:W._Wallace_McDowell_Award dbr:IEEE_John_von_Neumann_Medal dbr:Carroll_Morgan_(computer_scientist) dbr:Brian_Kernighan dbr:Xavier_Leroy dbr:Donald_Knuth dbr:Syntactic_sugar dbr:B_(programming_language) dbr:Gordon_Plotkin dbr:Toolchain dbr:Ted_Kaehler dbr:Niklaus_Wirth dbr:Program_refinement dbr:Common_Lisp_Object_System dbr:John_Cocke_(computer_scientist) dbr:Luca_Cardelli dbr:Erik_Meijer_(computer_scientist) n6:C n6:I dbr:Martin_Odersky dbr:Richard_P._Gabriel dbr:Jeannette_Wing dbr:Doug_Lea dbr:Coq_proof_assistant dbr:Concurrency_theory dbr:Thomas_E._Kurtz dbr:John_Guttag dbr:HTML dbr:Thierry_Coquand dbr:Generics_in_Java dbr:Scala_(programming_language) dbr:TLA+ dbr:Wim_Ebbinkhuijsen dbc:Programming_language_researchers dbr:Fortress_programming_language dbr:Generic_programming dbr:William_Cook_(computer_scientist) dbr:Dines_Bjørner dbr:AWK dbr:David_Gries dbr:Perl dbr:Ralph_Griswold dbr:Shriram_Krishnamurthi dbr:Böhm's_language dbr:David_J._Wheeler dbr:Turbo_Pascal dbr:Eiffel_(programming_language) dbr:FL_(programming_language) dbr:Program_dependence_graph dbr:PostScript dbr:Ken_Knowlton dbr:Mike_Woodger dbr:Walter_Bright dbr:Edsger_W._Dijkstra dbr:Eric_Hehner dbr:John_Reif dbr:John_Warnock dbr:AspectJ dbr:Synchronization_(computer_science) dbr:George_Necula dbr:Strongtalk dbr:Sidney_Fernbach_Award dbr:Bert_Sutherland dbr:WATFIV dbr:GNU_Compiler_Collection dbr:Stack_(data_structure) dbr:Grady_Booch dbr:Type_theory dbr:Keith_D._Cooper dbr:Tony_Hoare dbr:George_Radin dbr:Hope_(programming_language) dbr:Douglas_McIlroy dbr:Victor_A._Vyssotsky dbr:Type_system dbr:Philip_Wadler dbr:John_Chambers_(statistician) dbr:ACM_Fellow dbr:IEEE_Computer_Society dbr:Modula-2 dbr:David_Kuck dbr:Peter_Naur dbr:Semantics dbr:Ken_Kennedy_(computer_scientist) dbr:Macro_(computer_science) dbr:Concurrent_Haskell dbr:Dataflow_programming dbr:Actor-Based_Concurrent_Language dbr:Mark_N._Wegman dbr:Ric_Holt dbr:Mitchell_Wand dbr:Pascal_(programming_language) dbr:Affix_grammar dbr:Rod_Burstall dbr:Jean_E._Sammet dbr:Parsing dbr:Larry_Wall dbr:Provable_security dbr:Predicative_programming dbr:Petri_net dbr:Alloy_(specification_language) dbr:C_(programming_language) dbr:Larry_Masinter dbr:Stefan_Karpinski dbr:Peter_Wegner dbr:AWK_programming_language dbr:Modula-3 dbr:Mahmoud_Samir_Fayed dbr:Ronald_Kaplan dbr:Grace_Murray_Hopper_Award dbr:Algol_60 dbr:Off-side_rule dbr:Haskell_(programming_language) dbr:FindBugs dbr:Algol_68 dbr:Alfred_Aho dbr:Javac dbr:CYK_algorithm dbr:Integrated_development_environment dbr:Forth_(programming_language) dbr:Programming_language dbr:Akinori_Yonezawa dbr:BBN_LISP dbr:Vikram_Adve dbr:Gérard_Huet dbr:Craig_Chambers dbr:V8_(JavaScript_engine) dbr:Icon_(programming_language) dbr:Anders_Hejlsberg dbr:Programming_language_design dbr:Krzysztof_R._Apt dbr:Cecil_(programming_language) dbr:Alloy_Analyzer dbr:Rob_Pike dbr:Essentials_of_Programming_Languages dbr:ISWIM dbr:Greibach_normal_form dbr:Programming_languages dbr:Ravi_Sethi dbr:Grap dbr:Abstract_interpretation dbr:Stephen_R._Bourne dbr:Alain_Colmerauer dbr:C_Sharp_(programming_language) dbr:Smalltalk dbr:Programming_methodology dbr:Philip_Woodward dbr:Robin_Milner dbr:Dennis_Ritchie dbr:ALTRAN dbr:Isabelle_theorem_prover dbr:Lisp_(programming_language) dbr:C_Sharp_programming_language dbr:Logic_programming dbr:Robert_W._Floyd dbr:Richard_Stallman dbr:J._H._Wilkinson_Prize_for_Numerical_Software dbr:John_G._Kemeny dbr:Programming_Language_Design_and_Implementation dbr:Racket_(programming_language) dbr:Mixin dbr:Ilya_Sergey dbr:Simula dbr:Program_optimization dbr:J_(programming_language) dbr:Simon_Marlow dbr:Rebol dbr:Sheila_Greibach dbr:Modal_logic dbr:APL_(programming_language) dbr:Swift_(programming_language) dbr:Ralph-Johan_Back dbr:NPL_(programming_language) dbr:Extensibility dbr:Cordell_Green dbr:Hoard_memory_allocator dbr:Hope_programming_language dbr:CodeSonar dbr:Common_Lisp dbr:Transactional_memory dbr:Jeffrey_Ullman dbr:Friedrich_L._Bauer dbr:Golang dbr:Richard_W._Conway dbr:Olivier_Danvy dbr:Benjamin_C._Pierce dbr:Garbage_collection_(computer_science) dbr:Lua_(programming_language) dbr:Occam_(programming_language) dbr:Alan_Perlis dbr:Design_Patterns dbr:James_H._Morris dbr:Type_systems dbr:Coral_66 dbr:Roberto_Ierusalimschy dbr:Domain_specific_language dbr:Dan_Ingalls dbr:Kathleen_Booth dbr:Ken_Thompson dbr:Static_analysis dbr:Lambda_calculus dbr:Abstract_data_type dbr:Carl_Sassenrath dbr:Operational_semantics dbr:Robin_Popplestone dbr:John_Launchbury dbr:Stephen_Wolfram dbr:Newspeak_(programming_language) dbr:Erich_Gamma dbr:Rigorous_Approach_to_Industrial_Software_Engineering dbr:Brendan_Eich dbr:ABC_(programming_language) dbr:Carl_Adam_Petri dbr:John_Vlissides dbr:Warren_Teitelman dbr:Calvin_Mooers dbr:Liveness dbr:Robert_France dbr:COWSEL dbr:Nico_Habermann dbr:Martin_Vechev dbr:Jeff_Bezanson dbr:ML_(programming_language) dbr:Bruce_Jay_Nelson dbr:Bird–Meertens_formalism dbr:D_(programming_language) dbr:Oberon_(programming_language) dbr:Computational_reflection dbr:Corrado_Böhm dbr:HotSpot_(virtual_machine) dbr:IBM_650 dbr:Susan_L._Graham dbr:Static_single-assignment_form dbr:Turing_Award dbr:Static_code_analysis dbr:Daniel_G._Bobrow dbr:Jean-Raymond_Abrial dbr:Jayadev_Misra dbr:AMPL dbr:Keno_Fischer dbr:TMG_(language) dbr:Communicating_sequential_processes dbr:Python_(programming_language) dbr:Adriaan_van_Wijngaarden dbr:Chris_Lattner dbr:Patrick_Cousot dbr:Pratt_parsing dbr:Scheme_(programming_language) dbr:ACM_Software_System_Award dbr:Amir_Pnueli dbc:Lists_of_computer_scientists dbr:Glasgow_Haskell_Compiler dbr:Polyphonic_C_Sharp dbr:John_McCarthy_(computer_scientist) dbr:Dynamic_logic_(modal_logic) dbr:Jürg_Gutknecht dbr:Limbo_(programming_language) dbr:Lazy_evaluation dbr:Mesa_(programming_language) dbr:Oscar_Nierstrasz dbr:Metaobject dbr:Greenfoot dbr:Jensen's_device dbr:Jeremy_Gibbons dbr:Clojure dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Herbrand_Award dbr:C_programming_language dbr:Turing_(programming_language) dbr:Richard_R._Burton dbr:Jeanne_Ferrante dbr:Jennifer_Widom dbr:Mads_Tofte dbr:PWCT dbr:Separation_logic dbr:Euler_(programming_language) dbr:Bisimulation dbr:John_Ousterhout dbr:Brad_A._Myers dbr:C++ dbr:Stagecast_Creator dbr:Maurice_Herlihy dbr:Lars_Bak_(computer_programmer) dbr:Susan_B._Horwitz dbc:Programming_language_designers dbr:SecPAL dbr:Richard_H._Lathwell dbr:Brian_Cantwell_Smith dbr:Andrew_D._Gordon dbr:Tim_Teitelbaum dbr:SETL dbr:Prolog dbr:Ole-Johan_Dahl dbr:Programming_by_example dbr:Multiprocessor dbr:Programming_language_theory dbr:Bjarne_Stroustrup dbr:Interference_freedom dbr:Barbara_Liskov dbr:Predicate_transformer_semantics dbr:Computer_Pioneer_Award dbr:Roger_Hui dbr:Gilles_Kahn dbr:Zonnon dbr:Robert_M._Graham_(computer_scientist) dbr:Christopher_Strachey dbr:Assembly_language dbr:List_of_programmers dbr:Jacob_T._Schwartz dbr:Michael_Guy dbr:John_Hughes_(computer_scientist) dbr:James_Noble_(computer_scientist) dbr:William_Wulf dbr:Andrey_Yershov dbr:David_Ungar dbr:Bertrand_Meyer dbr:Gerald_Jay_Sussman dbr:APT_(programming_language) dbr:LIS_(programming_language) dbr:Christine_Paulin-Mohring dbr:Vaughan_Pratt dbr:F_Sharp_(programming_language) dbr:JUnit dbr:John_C._Reynolds dbr:C_Traps_and_Pitfalls dbr:Julia_(programming_language) dbr:BASIC dbr:Katherine_Yelick dbr:Region_inference dbr:Samson_Abramsky dbr:Heinz_Zemanek dbr:Design_by_contract dbr:Unified_Parallel_C dbr:Structured_program_theorem dbr:IFIP_Working_Group_2.1 dbr:Ring_(programming_language) dbr:Dahl-Nygaard_Prize dbr:Ada_(programming_language) dbr:Manchester_Mark_1 dbr:Urs_Hölzle dbr:Refinement_(computing) dbr:Peter_Lucas_(computer_scientist) dbr:Matthew_Flatt dbr:Gregor_Kiczales dbr:F77 dbr:Denotational_semantics dbr:Ambient_calculus dbr:Programming_language_implementation dbr:SIGPLAN dbr:Miranda_(programming_language) dbr:Robert_Bruce_Findler dbr:Computer_architecture dbr:Specification_language dbr:Martin_Richards_(computer_scientist) dbr:Roland_Carl_Backhouse dbr:NPL_programming_language dbr:Design_Patterns_(book) dbr:National_Academy_of_Engineering dbr:Alexander_Stepanov dbr:MAD_(programming_language) dbr:Neil_D._Jones dbr:Cornelis_H._A._Koster dbr:Krishna_Palem dbr:Scratch_(programming_language) dbr:Lawrence_M._Breed dbr:Rasmus_Lerdorf dbr:Ada_programming_language dbr:Roger_Moore_(computer_scientist) dbr:Call_by_name dbr:Monica_S._Lam dbr:Greg_Nelson_(computer_scientist) dbr:L._Peter_Deutsch dbr:James_G._Mitchell dbr:Defunctionalization dbr:Adele_Goldberg_(computer_scientist) dbr:LLVM dbr:Larch_Prover dbr:Van_Wijngaarden_grammar dbr:Self_(programming_language) dbr:Larch_family dbr:Robert_Kowalski dbr:Harold_Lawson dbr:Kent_Beck dbr:IBM_Laboratory_Vienna dbr:Existential_type dbr:Sophia_Drossopoulou dbr:AppleScript dbr:Don_Syme dbr:Peter_O'Hearn dbr:Java_Memory_Model dbr:Peter_J._Weinberger dbr:Bruce_Arden dbr:John_Backus dbr:UNITY_(programming_language) dbr:Cryptol dbr:COBOL dbr:Guido_van_Rossum dbr:Fred_B._Schneider dbr:Refinement_calculus dbr:Dexter_Kozen dbr:James_Gosling dbr:Unified_Modeling_Language dbr:Peter_Lee_(computer_scientist) dbr:Klaus_Samelson dbr:TXL_(programming_language) dbr:Eqn_(software) dbr:Jim_Horning dbr:Lambert_Meertens dbr:Computer_program dbr:SLD_resolution dbr:OCaml dbr:Tk_(software) dbr:Rich_Hickey dbr:Oberon dbr:Static_program_analysis dbr:Specification dbr:LF_(logical_framework) dbr:JavaScript dbr:Z_notation dbr:Cornell_University_Programming_Language dbr:Gul_Agha_(computer_scientist) dbr:BEFLIX dbr:Barbara_G._Ryder dbr:Polymorphic_lambda_calculus n18:k dbr:Kim_Bruce dbr:Read–eval–print_loop dbr:Cicely_Popplewell n20:SL_programming_language dbr:Milner_Award dbr:The_Design_of_an_Optimizing_Compiler dbr:Henri_Bal dbr:David_Turner_(computer_scientist) dbr:BCPL dbr:IJCAI_Award_for_Research_Excellence dbr:Viral_B._Shah dbr:Laurie_Hendren dbr:CGOL dbr:SNOBOL dbr:Mary_Lou_Soffa dbr:David_Park_(computer_scientist) dbr:Proof-carrying_code dbr:Yukihiro_Matsumoto dbr:Types_and_Programming_Languages dbr:Steven_Pemberton dbr:Ken_Kennedy_Award dbr:FORMAC dbr:Emina_Torlak dbr:Argument-dependent_name_lookup dbr:ALGOL_68S dbr:ALGOL_N dbr:List_of_computer_scientists dbr:ALGOL_W dbr:ALGOL_X dbr:ALGOL_68 dbr:ALGOL_68-R n22:_Principles,_Techniques,_and_Tools dbr:Dijkstra_Prize dbr:ALGOL_68C dbr:Gilad_Bracha dbr:Andrew_Koenig_(programmer) dbr:K._Mani_Chandy dbr:Kent_Recursive_Calculator dbr:John_C._Mitchell dbr:Andrew_Appel dbr:QuickCheck dbr:Information_hiding dbr:William_Pugh_(computer_scientist) dbr:Brian_Randell dbr:Functional_programming dbr:Thomas_W._Reps dbr:Robert_Harper_(computer_scientist) dbr:PHP dbr:Columbia_University dbr:Charles_Geschke dbr:Paul_Hudak dbr:Ruby_(programming_language) dbr:Rapira dbr:Kathryn_S._McKinley dbr:Whetstone_(benchmark) dbr:Lawrence_Paulson dbr:Actor_model dbr:Flapjax dbr:TRAC_(programming_language) dbr:Harlan_Mills dbr:ALGOL dbr:Jean_Ichbiah dbr:BlueJ dbr:Numerical_control dbr:Mathematica dbr:ALGOL_60 dbr:Bernard_Galler dbr:Partial_evaluation dbr:Douglas_T._Ross dbr:Ralph_Johnson_(computer_scientist) dbr:Formal_verification dbr:Newsqueak dbr:David_May_(computer_scientist) dbr:Mobile_code dbr:Grace_Hopper dbr:Standard_Template_Library dbr:Software_design_pattern dbr:S_(programming_language) dbr:Structured_programming dbr:Martín_Abadi dbr:Wolfram_Language dbr:Standard_ML dbr:Guy_L._Steele,_Jr. dbr:Cliff_Jones_(computer_scientist) dbr:GrammaTech dbr:Meta-circular_evaluator dbr:CPL_(programming_language) dbr:Software_engineering dbr:Java_(programming_language) dbr:CORC dbr:Michael_Kölling dbr:Compilers dbr:Tartan_Laboratories dbr:J._Eliot_B._Moss dbr:Warren_Abstract_Machine dbr:Peter_Landin dbr:Euclid_(programming_language) dbr:Interlisp dbr:David_Canfield_Smith dbr:Continuation dbr:FORTRAN dbr:James_Cordy dbr:Compiler_Description_Language dbr:POP-2 dbr:Static_typing dbr:Jaap_A._Zonneveld dbr:Jørn_Jensen dbr:PIC_(markup_language) dbr:Matthias_Felleisen dbr:Safety_and_liveness_properties dbr:Go_(programming_language) dbr:John_Larry_Kelly_Jr. dbr:Compiler dbr:Damien_Doligez dbr:Object-oriented_programming dbr:Vienna_Development_Method
dbo:wikiPageExternalLink
n11: n12: n17: n23:Lirias&search_scope=lirias_profile&tab=LIRIAS&adaptor=SearchWebhook&lang=en n25:language-people.html
owl:sameAs
n8:4qgkk dbpedia-fa:فهرست_محققان_زبان‌های_برنامه‌نویسی wikidata:Q6635104
dbp:wikiPageUsesTemplate
dbt:Expand_list dbt:Horizontal_TOC dbt:Reflist dbt:Refn dbt:Dynamic_list dbt:Short_description dbt:ISBN dbt:Cite_web
dbo:abstract
The following is list of researchers of programming language theory, design, implementation, and related areas.(This is a dynamic list and may never be able to satisfy particular standards for completeness. You can help by adding missing items with reliable sources.)
gold:hypernym
dbr:List
prov:wasDerivedFrom
wikipedia-en:List_of_programming_language_researchers?oldid=1121278625&ns=0
dbo:wikiPageLength
59855
foaf:isPrimaryTopicOf
wikipedia-en:List_of_programming_language_researchers