Programming language theory

Known as: Programming language research, Theory of programming languages 
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1967-2017
05101519672017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Why do some programming languages fail and others succeed? What does the answer tell us about programming language design… (More)
Is this relevant?
2010
2010
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the… (More)
  • figure 1
Is this relevant?
2008
2008
This paper discusses a new Automatic Differentiation (AD) system that correctly and automatically accepts nested and dynamic use… (More)
  • figure 1
  • table 1
Is this relevant?
2008
2008
Hundreds of programming languages are in use today—scripting languages for Internet commerce, user interface programming tools… (More)
Is this relevant?
2008
2008
The academic programming language community continues to reject the change in programming practices brought about by scripting… (More)
Is this relevant?
2005
2005
What does it mean for a programming language to exist? Usually languages are defined by an informal description augmented by a… (More)
Is this relevant?
Review
1998
Review
1998
The main reason for using visual languages is that they are often far more convenient to the user than traditional textual… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming… (More)
Is this relevant?
1988
1988
ions The description of the meaning of expressions just given above is vague and intuitive It took about years for logicians Dana… (More)
Is this relevant?
1968
1968
Based on previous results in a variety of related areas, a schema is described to produce a unified semiotic theory specifically… (More)
Is this relevant?