Programming language theory (original) (raw)

About DBpedia

نظرية لغة البرمجة (PLT) هي فرع من علوم الحاسوب التي تتعامل مع تصميم وتنفيذ وتحليل وتوصيف وتصنيف لغات البرمجة وخصائصها الفردية. إنه يقع ضمن تخصص علوم الحاسوب، اعتمادًا على الرياضيات وهندسة البرمجيات واللغويات وحتى العلوم المعرفية والتأثير عليها. إنه فرع معروف جيدًا لعلوم الحاسوب، وهو مجال بحث نشط، له نتائج منشورة في العديد من المجلات المخصصة لنظرية لغات البرمجة، وكذلك في منشورات علوم وهندسة الحاسوب العامة.

thumbnail

Property Value
dbo:abstract La teoria de llenguatges de programació és una branca de la informàtica que s'encarrega del disseny, implementació, anàlisi, caracterització i classificació de llenguatges de programació i els seus característiques. És un camp multidisciplinari, depenent tant de (i en alguns casos afectant) matemàtiques, enginyeria del programari, lingüística, i fins i tot ciències cognitives. És una branca ben reconeguda de la informàtica, ia data de 2006, una àrea activa d'investigació, amb resultats publicats en un gran nombre de revistes dedicades a la PLT, així com en general en publicacions d'informàtica i ingeniería. La majoria dels programes dels estudiants universitaris d'informàtica requereixen treballar en aquest tema. Un símbol no oficial de la teoria de llenguatges de programació és la lletra grega lambda en minúscules. Aquest ús deriva de l'càlcul lambda, un àmpliament usat per investigadors de llenguatges de programació. Molts textos i articles sobre programació i llenguatges de programació utilitzen lambda d'una o altra manera. Il·lustra la portada del text clàssic , i el títol de molts dels anomenats , escrits per i , creadors del llenguatge de programació Scheme. Un lloc molt conegut sobre teoria de llenguatges de programació es diu ( Lambda el primordial ), en honor de la feina de Sussman i Steele. (ca) نظرية لغة البرمجة (PLT) هي فرع من علوم الحاسوب التي تتعامل مع تصميم وتنفيذ وتحليل وتوصيف وتصنيف لغات البرمجة وخصائصها الفردية. إنه يقع ضمن تخصص علوم الحاسوب، اعتمادًا على الرياضيات وهندسة البرمجيات واللغويات وحتى العلوم المعرفية والتأثير عليها. إنه فرع معروف جيدًا لعلوم الحاسوب، وهو مجال بحث نشط، له نتائج منشورة في العديد من المجلات المخصصة لنظرية لغات البرمجة، وكذلك في منشورات علوم وهندسة الحاسوب العامة. (ar) Programazio-lengoaien teoria informatikaren adar bat da, programazio-lengoaien eta beren ezaugarrien diseinuaz, inplementazioaz, analisiaz, karakterizazioaz eta sailkapenaz arduratzen dena. Diziplina anitzeko eremu bat da, matematika, softwarearen ingeniaritza, hizkuntzalaritza eta jakintza-arloekin zerikusia (eta, zenbaitetan, bai eragina ere) duena. Informatikaren adar ezagun eta aintzatetsia da, eta, 2006ko dataz, ikerketagai garrantzitsu bat, emaitzak PLTari buruzko aldizkari berezitu nahiz informatika eta ingeniaritzako argitalpenetan, oro har, plazaratzen dituena. Unibertsitate mailako informatikako ikasketa-programa guztietan eskatzen da, gaur egun, arlo hau jorratzea. Programazio-lengoaien teoriaren ikur bat, ofiziala ez bada ere, lambda letra greko minuskula da. Erabilera hau dator, programazio-lengoaien ikertzaileek erruz erabiltzen duten , alegia. Programazioaren eta programazio-lengoaien gaineko testu eta artikulu askok erabiltzen dute lambda, modu batera edo bestera. Estructura e Interpretación de Programas de Ordenador testu-liburu klasikoaren azala ilustratzen du, eta sortzaile diren eta idatzitako delako askoren tituluetan ageri da. Programazio-lengoaien teoriari buruzko gune ezagun batek Lambda the Ultimate (funtsezko lambda) du izena, Sussman eta Steeleren ohorez. (eu) La teoría de lenguajes de programación es una rama de la ciencias de la computación que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características. Es un campo multidisciplinar, que depende de (y en algunos casos afecta a) las matemáticas, la ingeniería del software, la lingüística, e incluso las ciencias cognitivas. Es una rama bien reconocida de la informática, y a fecha de 2006, un área activa de investigación, con resultados publicados en un gran número de revistas dedicadas a la PLT, así como en general en publicaciones de informática e ingeniería. La mayoría de los programas de los estudiantes universitarios de informática requieren trabajar en este tema. Un símbolo no oficial de la teoría de lenguajes de programación es la letra griega lambda en minúsculas. Este uso deriva del cálculo lambda, un modelo computacional ampliamente usado por investigadores de lenguajes de programación. Muchos textos y artículos sobre programación y lenguajes de programación utilizan lambda de una u otra manera. Ilustra la portada del texto clásico , y el título de muchos de los llamados , escritos por y , creadores del lenguaje de programación Scheme. Un sitio muy conocido sobre teoría de lenguajes de programación se llama (Lambda el primordial), en honor al trabajo de Sussman y Steele. (es) Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area. (en) La théorie des langages de programmation (anglais : Programming language theory ou PLT) est une branche de l'informatique qui traite de la conception, de la mise en œuvre, de l'analyse, de la caractérisation et de la classification des langages formels appelés langages de programmation. Elle est étroitement liée à d'autres domaines, notamment les mathématiques, le génie logiciel et la linguistique. Il existe un nombre important de conférences universitaires et de revues sur le sujet. (fr) La teoria dei linguaggi di programmazione è un settore della scienza informatica che si occupa della progettazione, dell'implementazione, dell'analisi, della caratterizzazione e della classificazione dei linguaggi di programmazione e dei loro componenti. Pur essendo propriamente una branca dell'informatica, dove è piuttosto nota, essa è in rapporto d'influenza reciproca con la matematica, l'ingegneria del software e linguistica. La ricerca nel campo è attiva e produce risultati pubblicati sia nelle diverse riviste scientifiche ad essa dedicate, sia in altre pubblicazioni più generali di informatica e ingegneria. (it) Teoria języków programowania (ang. programming language theory, PLT) – dziedzina informatyki teoretycznej zajmująca się analizą, charakteryzacją, klasyfikacją, projektowaniem i wdrażaniem języków programowania. Ważniejszymi obszarami PLT są semantyki formalne (ang. formal semantics), teoria typów (ang. type theory), metaprogramowanie, konstrukcja kompilatorów. PLT jest związana także z językoznawstwem, matematyką i kognitywistyką. (pl) 编程语言理论（英語：Programming language theory）是计算机科学的一个分支，研究编程语言的设计、实现、分析、描述和分类及其各自的特点。它属于计算机科学，既依赖又影响着数学、软件工程、语言学，甚至认知科学。 (zh) Теория языков программирования (англ. programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике. (ru) Теорія мови програмування (англ. Programming language theory) — розділ комп'ютерних наук, який займається проєктуванням, аналізом, визначенням характеристик і класифікацією мов програмування, їх індивідуальних особливостей. Він торкається математики, програмування і лінгвістики. Це добре відома галузь інформатики, а також активна область досліджень, результати яких опубліковані в численних журналах, присвячених PLT, а також в загальних виданнях з інформатики та інженерної справи. (uk)
dbo:thumbnail wiki-commons:Special:FilePath/Lambda_lc.svg?width=300
dbo:wikiPageExternalLink http://www.cis.upenn.edu/~bcpierce/tapl/main.html http://www.cis.upenn.edu/~bcpierce/sf/ http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml http://plgrand.blogspot.com/ http://www-cs-faculty.stanford.edu/~uno/cl.html http://lambda-the-ultimate.org/policies%23Purpose https://web.archive.org/web/20070627041059/https:/www.cs.cmu.edu/~rwh/plbook/book.pdf https://web.archive.org/web/20110719175135/http:/www.eecs.qmul.ac.uk/~ohearn/Algol/algol.html https://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html https://www.cs.cmu.edu/~crary/819-f09/ http://turing100.acm.org/lambda_calculus_timeline.pdf
dbo:wikiPageID 3882218 (xsd:integer)
dbo:wikiPageLength 15465 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1106419753 (xsd:integer)
dbo:wikiPageWikiLink dbr:Carnegie_Mellon_University dbr:Benjamin_C._Pierce dbr:Programming_Computable_Functions dbr:Programming_paradigm dbr:Prolog dbr:Robin_Milner dbr:Scheme_(programming_language) dbr:SECD_machine dbr:Parsing dbr:Bertrand_Meyer dbr:Denotational_semantics dbr:Design_by_contract dbr:Peter_Landin dbr:University_of_Pennsylvania dbr:International_Conference_on_Architectu...mming_Languages_and_Operating_Systems dbr:International_Conference_on_Functional_Programming dbr:Lexical_analysis dbr:Compiler dbr:Computability_theory dbr:Corrado_Böhm dbr:Mathematics dbr:Christopher_Strachey dbr:Eiffel_(programming_language) dbr:Gerald_Jay_Sussman dbr:Gordon_Plotkin dbr:Miranda_(programming_language) dbr:Continuation dbr:Coroutine dbr:Operational_semantics dbr:Lisp_(programming_language) dbr:Luca_Cardelli dbr:MIT dbr:ML_(programming_language) dbr:Simula dbr:Smalltalk dbr:Stephen_Cole_Kleene dbr:Communicating_sequential_processes dbr:Computer_programming dbr:Computer_science dbr:Function-level_programming dbr:Fundamental_Concepts_in_Programming_Languages dbr:Parametric_polymorphism dbr:Software_engineering dbr:Ad_hoc_polymorphism dbr:Timeline_of_programming_languages dbr:Tony_Hoare dbr:Turing_Award dbr:Type_system dbr:Type_theory dbr:Domain-specific_language dbr:Garbage_collection_(computer_science) dbr:John_C._Mitchell dbr:Linguistics dbr:Logic_programming dbr:ALGOL_58 dbr:Actor_model dbr:Alan_Kay dbr:Curry–Howard_correspondence dbr:Dana_Scott dbr:Fortran dbr:Noam_Chomsky dbr:Carl_Hewitt dbr:Daniel_G._Bobrow dbr:Foreign_function_interface dbr:Formal_language dbr:Journal_of_Functional_Programming dbr:Natural_deduction dbr:Functional_programming_language dbr:Runtime_environment dbr:Gregor_Kiczales dbr:Haskell_(programming_language) dbr:Hindley–Milner dbr:J._Roger_Hindley dbr:Jean-Yves_Girard dbr:ACM_Transactions_on_Programming_Languages_and_Systems dbr:Academic_conference dbr:Academic_journal dbc:Programming_language_theory dbr:Chomsky_hierarchy dbr:John_Backus dbr:John_C._Reynolds dbr:John_McCarthy_(computer_scientist) dbr:Lambda_calculus dbr:Symposium_on_Principles_of_Programming_Languages dbr:Code_generation_(compiler) dbr:High-level_programming_language dbr:Higher-Order_and_Symbolic_Computation dbr:Hoare_logic dbr:J_operator dbr:System_F dbr:Donald_Knuth dbr:Axiomatic_semantics dbr:Martín_Abadi dbr:Philip_Wadler dbr:Plankalkül dbr:IBM dbr:ISWIM dbr:Instruction_set dbr:Konrad_Zuse dbr:Kristen_Nygaard dbr:Metaprogramming dbr:Michael_J._C._Gordon dbr:OOPSLA dbr:Ole-Johan_Dahl dbr:Category_theory dbr:Set_theory dbr:Calculus_of_Communicating_Systems dbr:Process_calculus dbr:Proof_calculus dbr:Software_bug dbr:Model_of_computation dbr:Virtual_machine dbr:Robert_Harper_(computer_scientist) dbr:Value_(computer_science) dbr:Type_inference dbr:Very_high-level_programming_language dbr:Eugenio_Moggi dbr:Programming_language dbr:Gilles_Kahn dbr:Natural_semantics dbr:SIGPLAN dbr:The_Art_of_the_Metaobject_Protocol dbr:POPL dbr:Object-oriented_programming_language dbr:William_Alvin_Howard dbr:Run-time_system dbr:Structured_operational_semantics dbr:Intuitionistic dbr:Peter._W._O'Hearn dbr:Hindley–Milner_type_inference_algorithm dbr:C._A._R._Hoare dbr:Guy_Steele dbr:Xerox_PARC dbr:Lexical_scoping dbr:Dana_S._Scott dbr:Conference_on_Programming_Language_Design_and_Implementation dbr:Compiler_optimization dbr:Monads_in_functional_programming dbr:File:Lambda_lc.svg dbr:CUCH dbr:Karl_Crary
dbp:wikiPageUsesTemplate dbt:Citation_needed dbt:Commons_category dbt:Main dbt:More_footnotes dbt:Redirect dbt:Reflist dbt:See_also dbt:Short_description dbt:Technical_statement
dct:subject dbc:Programming_language_theory
gold:hypernym dbr:Branch
rdf:type owl:Thing dbo:Organisation
rdfs:comment نظرية لغة البرمجة (PLT) هي فرع من علوم الحاسوب التي تتعامل مع تصميم وتنفيذ وتحليل وتوصيف وتصنيف لغات البرمجة وخصائصها الفردية. إنه يقع ضمن تخصص علوم الحاسوب، اعتمادًا على الرياضيات وهندسة البرمجيات واللغويات وحتى العلوم المعرفية والتأثير عليها. إنه فرع معروف جيدًا لعلوم الحاسوب، وهو مجال بحث نشط، له نتائج منشورة في العديد من المجلات المخصصة لنظرية لغات البرمجة، وكذلك في منشورات علوم وهندسة الحاسوب العامة. (ar) Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area. (en) La théorie des langages de programmation (anglais : Programming language theory ou PLT) est une branche de l'informatique qui traite de la conception, de la mise en œuvre, de l'analyse, de la caractérisation et de la classification des langages formels appelés langages de programmation. Elle est étroitement liée à d'autres domaines, notamment les mathématiques, le génie logiciel et la linguistique. Il existe un nombre important de conférences universitaires et de revues sur le sujet. (fr) La teoria dei linguaggi di programmazione è un settore della scienza informatica che si occupa della progettazione, dell'implementazione, dell'analisi, della caratterizzazione e della classificazione dei linguaggi di programmazione e dei loro componenti. Pur essendo propriamente una branca dell'informatica, dove è piuttosto nota, essa è in rapporto d'influenza reciproca con la matematica, l'ingegneria del software e linguistica. La ricerca nel campo è attiva e produce risultati pubblicati sia nelle diverse riviste scientifiche ad essa dedicate, sia in altre pubblicazioni più generali di informatica e ingegneria. (it) Teoria języków programowania (ang. programming language theory, PLT) – dziedzina informatyki teoretycznej zajmująca się analizą, charakteryzacją, klasyfikacją, projektowaniem i wdrażaniem języków programowania. Ważniejszymi obszarami PLT są semantyki formalne (ang. formal semantics), teoria typów (ang. type theory), metaprogramowanie, konstrukcja kompilatorów. PLT jest związana także z językoznawstwem, matematyką i kognitywistyką. (pl) 编程语言理论（英語：Programming language theory）是计算机科学的一个分支，研究编程语言的设计、实现、分析、描述和分类及其各自的特点。它属于计算机科学，既依赖又影响着数学、软件工程、语言学，甚至认知科学。 (zh) Теория языков программирования (англ. programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике. (ru) Теорія мови програмування (англ. Programming language theory) — розділ комп'ютерних наук, який займається проєктуванням, аналізом, визначенням характеристик і класифікацією мов програмування, їх індивідуальних особливостей. Він торкається математики, програмування і лінгвістики. Це добре відома галузь інформатики, а також активна область досліджень, результати яких опубліковані в численних журналах, присвячених PLT, а також в загальних виданнях з інформатики та інженерної справи. (uk) La teoria de llenguatges de programació és una branca de la informàtica que s'encarrega del disseny, implementació, anàlisi, caracterització i classificació de llenguatges de programació i els seus característiques. És un camp multidisciplinari, depenent tant de (i en alguns casos afectant) matemàtiques, enginyeria del programari, lingüística, i fins i tot ciències cognitives. És una branca ben reconeguda de la informàtica, ia data de 2006, una àrea activa d'investigació, amb resultats publicats en un gran nombre de revistes dedicades a la PLT, així com en general en publicacions d'informàtica i ingeniería. La majoria dels programes dels estudiants universitaris d'informàtica requereixen treballar en aquest tema. (ca) La teoría de lenguajes de programación es una rama de la ciencias de la computación que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características. Es un campo multidisciplinar, que depende de (y en algunos casos afecta a) las matemáticas, la ingeniería del software, la lingüística, e incluso las ciencias cognitivas. Es una rama bien reconocida de la informática, y a fecha de 2006, un área activa de investigación, con resultados publicados en un gran número de revistas dedicadas a la PLT, así como en general en publicaciones de informática e ingeniería. La mayoría de los programas de los estudiantes universitarios de informática requieren trabajar en este tema. (es) Programazio-lengoaien teoria informatikaren adar bat da, programazio-lengoaien eta beren ezaugarrien diseinuaz, inplementazioaz, analisiaz, karakterizazioaz eta sailkapenaz arduratzen dena. Diziplina anitzeko eremu bat da, matematika, softwarearen ingeniaritza, hizkuntzalaritza eta jakintza-arloekin zerikusia (eta, zenbaitetan, bai eragina ere) duena. Informatikaren adar ezagun eta aintzatetsia da, eta, 2006ko dataz, ikerketagai garrantzitsu bat, emaitzak PLTari buruzko aldizkari berezitu nahiz informatika eta ingeniaritzako argitalpenetan, oro har, plazaratzen dituena. Unibertsitate mailako informatikako ikasketa-programa guztietan eskatzen da, gaur egun, arlo hau jorratzea. (eu)
rdfs:label Programming language theory (en) نظرية لغات البرمجة (ar) Teoria de llenguatges de programació (ca) Teoría de lenguajes de programación (es) Programazio-lengoaien teoria (eu) Théorie des langages de programmation (fr) Teoria dei linguaggi di programmazione (it) Teoria języków programowania (pl) Теория языков программирования (ru) 程式語言理論 (zh) Теорія мов програмування (uk)
rdfs:seeAlso dbr:Programming_language
owl:sameAs freebase:Programming language theory yago-res:Programming language theory wikidata:Programming language theory dbpedia-ar:Programming language theory dbpedia-bg:Programming language theory http://bn.dbpedia.org/resource/প্রোগ্রামিং_ভাষা_তত্ত্ব dbpedia-ca:Programming language theory dbpedia-es:Programming language theory dbpedia-eu:Programming language theory dbpedia-fa:Programming language theory dbpedia-fr:Programming language theory dbpedia-hr:Programming language theory dbpedia-it:Programming language theory dbpedia-pl:Programming language theory dbpedia-ru:Programming language theory dbpedia-tr:Programming language theory dbpedia-uk:Programming language theory dbpedia-vi:Programming language theory dbpedia-zh:Programming language theory https://global.dbpedia.org/id/2W6bY
prov:wasDerivedFrom wikipedia-en:Programming_language_theory?oldid=1106419753&ns=0
foaf:depiction wiki-commons:Special:FilePath/Lambda_lc.svg
foaf:isPrimaryTopicOf wikipedia-en:Programming_language_theory
is dbo:knownFor of dbr:Prakash_Panangaden
is dbo:wikiPageDisambiguates of dbr:PLT
is dbo:wikiPageRedirects of dbr:History_of_programming_language_theory dbr:Theory_of_programming dbr:Programming_language_research dbr:Theory_of_programming_languages
is dbo:wikiPageWikiLink of dbr:Benjamin_C._Pierce dbr:Prakash_Panangaden dbr:Entity_component_system dbr:List_of_computer_science_conferences dbr:Operator_associativity dbr:History_of_programming_language_theory dbr:List_of_pioneers_in_computer_science dbr:Peter_Buneman dbr:List_of_programming_language_researchers dbr:Timeline_of_United_States_inventions_(1890–1945) dbr:Rust_(programming_language) dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_computer_science dbr:Cornell_Ann_S._Bowers_College_of_Computing_and_Information_Science dbr:Andrea_Lawrence_(professor) dbr:Call-by-push-value dbr:Computational_model dbr:Computer_science dbr:Computer_science_and_engineering dbr:Computer_scientist dbr:Computing dbr:Frank_Pfenning dbr:Functional_programming dbr:PLT dbr:Polymorphism_(computer_science) dbr:Theoretical_computer_science dbr:John_C._Mitchell dbr:Lazy_evaluation dbr:Curry–Howard_correspondence dbr:Noam_Chomsky dbr:PHP dbr:POPLmark_challenge dbr:Flow-sensitive_typing dbr:QED_manifesto dbr:Qualification_principle dbr:Gérard_Huet dbr:Twelf dbr:Abstraction_principle_(computer_programming) dbr:Lambda_calculus dbr:High_Order_Language_Working_Group dbr:Higher-Order_and_Symbolic_Computation dbr:System_F dbr:Donald_Knuth dbr:Kleene_algebra dbr:Racket_(programming_language) dbr:Semantics_(computer_science) dbr:Expression_(mathematics) dbr:Programming_language dbr:Subtyping dbr:Structured_program_theorem dbr:Non-local_variable dbr:Outline_of_computer_programming dbr:Outline_of_computer_science dbr:Outline_of_formal_science dbr:Parametricity dbr:Theory_of_programming dbr:Programming_language_research dbr:Theory_of_programming_languages
is dbp:caption of dbr:Computer_science
is dbp:subDiscipline of dbr:Andrea_Lawrence_(professor)
is foaf:primaryTopic of wikipedia-en:Programming_language_theory