An Entity of Type: organisation, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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 and of their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and even cognitive science. It has become a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications.

Property Value
dbo:abstract
  • نظرية لغة البرمجة (PLT) هي فرع من علوم الحاسوب التي تتعامل مع تصميم وتنفيذ وتحليل وتوصيف وتصنيف لغات البرمجة وخصائصها الفردية. إنه يقع ضمن تخصص علوم الحاسوب، اعتمادًا على الرياضيات وهندسة البرمجيات واللغويات وحتى العلوم المعرفية والتأثير عليها. إنه فرع معروف جيدًا لعلوم الحاسوب، وهو مجال بحث نشط، له نتائج منشورة في العديد من المجلات المخصصة لنظرية لغات البرمجة، وكذلك في منشورات علوم وهندسة الحاسوب العامة. (ar)
  • 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)
  • 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)
  • 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)
  • 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 and of their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and even cognitive science. It has become a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications. (en)
  • 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) — розділ комп'ютерних наук, який займається проектуванням, аналізом, визначенням характеристик і класифікацією мов програмування, їх індивідуальних особливостей. Він торкається математики, програмування і лінгвістики. Це добре відома галузь інформатики, а також активна область досліджень, результати яких опубліковані в численних журналах, присвячених PLT, а також в загальних виданнях з інформатики та інженерної справи. (uk)
  • 编程语言理论(英語:Programming language theory)是计算机科学的一个分支,研究编程语言的设计、实现、分析、描述和分类及其各自的特点。它属于计算机科学,既依赖又影响着数学、软件工程、语言学,甚至认知科学。 (zh)
  • Теория языков программирования (англ. programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике. (ru)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3882218 (xsd:integer)
dbo:wikiPageLength
  • 15540 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1025784720 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:comment
  • نظرية لغة البرمجة (PLT) هي فرع من علوم الحاسوب التي تتعامل مع تصميم وتنفيذ وتحليل وتوصيف وتصنيف لغات البرمجة وخصائصها الفردية. إنه يقع ضمن تخصص علوم الحاسوب، اعتمادًا على الرياضيات وهندسة البرمجيات واللغويات وحتى العلوم المعرفية والتأثير عليها. إنه فرع معروف جيدًا لعلوم الحاسوب، وهو مجال بحث نشط، له نتائج منشورة في العديد من المجلات المخصصة لنظرية لغات البرمجة، وكذلك في منشورات علوم وهندسة الحاسوب العامة. (ar)
  • 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)
  • 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 and of their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and even cognitive science. It has become a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications. (en)
  • 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) — розділ комп'ютерних наук, який займається проектуванням, аналізом, визначенням характеристик і класифікацією мов програмування, їх індивідуальних особливостей. Він торкається математики, програмування і лінгвістики. Це добре відома галузь інформатики, а також активна область досліджень, результати яких опубліковані в численних журналах, присвячених PLT, а також в загальних виданнях з інформатики та інженерної справи. (uk)
  • 编程语言理论(英語:Programming language theory)是计算机科学的一个分支,研究编程语言的设计、实现、分析、描述和分类及其各自的特点。它属于计算机科学,既依赖又影响着数学、软件工程、语言学,甚至认知科学。 (zh)
  • Теория языков программирования (англ. programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике. (ru)
  • 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)
  • Programazio-lengoaien teoria (eu)
  • Teoría de lenguajes de programación (es)
  • Teoria dei linguaggi di programmazione (it)
  • Teoria języków programowania (pl)
  • Теория языков программирования (ru)
  • Теорія мов програмування (uk)
  • 程式語言理論 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License