About: Programming language theory

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Programming language theory Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Organisation, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdf:type	Thing organisation
rdfs:label	Programming language theory (en)
rdfs:comment	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)
rdfs:seeAlso	Programming language
sameAs	Programming language theory Programming language theory
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
Subject	Programming language theory
gold:hypernym	Branch
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Programming_language_theory?oldid=1074526425&ns=0
Wikipage page ID	3882218 (xsd:integer)
page length (characters) of wiki page	15416 (xsd:nonNegativeInteger)
Wikipage revision ID	1074526425 (xsd:integer)
has abstract	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)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Programming_language_theory
is Wikipage redirect of	History of programming language theory Theory of programming Theory of programming languages Programming language research
is Link from a Wikipage to another Wikipage of	Flow-sensitive typing Frank Pfenning Noam Chomsky Non-local variable Abstraction principle (computer programming) Benjamin C. Pierce Call-by-push-value Category theory Glossary of artificial intelligence Glossary of computer science History of programming language theory Curry–Howard correspondence List of pioneers in computer science List of programming language researchers Computational model Computer science Computer science and engineering Computer scientist Computing Mohol programming languages Higher-Order and Symbolic Computation John C. Mitchell List of computer science conferences Entity component system Functional programming Expression (mathematics) Gérard Huet Lambda calculus Kleene algebra High Order Language Working Group Lazy evaluation
is known for of	Prakash Panangaden

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (82 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software