Programming Languages

Known as: language program, Languages, Programming, Language, Programming 
A formal language in which computer programs are written. The definition of a particular language consists of both syntax (how the various symbols of… (More)
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Background: The rising prevalence of obesity represents an important public health issue. An assessment of its costs may be… (More)
  • figure 1
  • table 1
  • table 1
  • table 1
  • table 2
Is this relevant?
Review
2017
Review
2017
AIM A large number of studies have addressed the detection of patient satisfaction determinants, and the results are still… (More)
Is this relevant?
Review
2017
Review
2017
INTRODUCTION Eosinophilic esophagitis (EoE) is one of the most prevalent esophageal diseases and the leading cause of dysphagia… (More)
  • figure 1
Is this relevant?
Review
2017
Review
2017
Language is systematically structured at all levels of description, arguably setting it apart from all other instances of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Verification by state-space exploration, also often referred to as "model checking", is an effective method for analyzing the… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common vocabulary… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A new approach to rapid sequence comparison, basic local alignment search tool (BLAST), directly approximates alignments that… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
1972
Highly Cited
1972
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by… (More)
Is this relevant?
Highly Cited
1966
Highly Cited
1966
A family of unimplemented computing languages is described that is intended to span differences of application area by a unified… (More)
Is this relevant?