Skip to search formSkip to main contentSkip to account menu

Programming language

Known as: Proprietary programming language, Proprietary scripting language, Computer-oriented language 
A programming language is a formal computer language or constructed language designed to communicate instructions to a machine, particularly a… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Stan is a probabilistic programming language for specifying statistical models. A Stan program imperatively defines a log… 
Highly Cited
2007
Highly Cited
2007
  • G. Rossum
  • USENIX Annual Technical Conference
  • 2007
  • Corpus ID: 45594778
Python is an interpreted, general purpose language. An interpreted language is a language that needs to be interpreted by an… 
Highly Cited
2007
Highly Cited
2007
Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very… 
Review
2007
Review
2007
In this paper we consider productivity challenges for parallel programmers and explore ways that parallel language design might… 
Review
2004
Review
2004
Scala fuses object-oriented and functional programming in a statically typed programming language. It is aimed at the… 
Highly Cited
1996
Highly Cited
1996
From the Publisher: Co-authored by the creator of the Java technology and an experienced object-oriented developer, The Java (TM… 
Highly Cited
1991
Highly Cited
1991
The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control… 
Highly Cited
1986
Highly Cited
1986
From the Publisher: Written by Bjarne Stroustrup, the creator of C, this is the world's most trusted and widely read book on C… 
Highly Cited
1976
Highly Cited
1976
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint… 
Highly Cited
1962
Highly Cited
1962
  • K. Iverson
  • AIEE-IRE '62 (Spring)
  • 1962
  • Corpus ID: 11777029
The paper describes a succinct problem-oriented programming language. The language is broad in scope, having been developed for…