Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,172,024 papers from all fields of science
Search
Sign In
Create Free Account
Programming language
Known as:
Proprietary programming language
, Proprietary scripting language
, Computer-oriented language
Expand
A programming language is a formal computer language or constructed language designed to communicate instructions to a machine, particularly a…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
50 relations
ACCU (organisation)
Analytica
B-Method
CMusic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Stan: A Probabilistic Programming Language
B. Carpenter
,
A. Gelman
,
+7 authors
A. Riddell
2017
Corpus ID: 7314923
Stan is a probabilistic programming language for specifying statistical models. A Stan program imperatively defines a log…
Expand
Highly Cited
2007
Highly Cited
2007
Python Programming Language
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…
Expand
Highly Cited
2007
Highly Cited
2007
Towards a practical programming language based on dependent type theory
U. Norell
2007
Corpus ID: 118357515
Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very…
Expand
Review
2007
Review
2007
Parallel Programmability and the Chapel Language
B. Chamberlain
,
D. Callahan
,
H. Zima
Int. J. High Perform. Comput. Appl.
2007
Corpus ID: 16560631
In this paper we consider productivity challenges for parallel programmers and explore ways that parallel language design might…
Expand
Review
2004
Review
2004
An Overview of the Scala Programming Language
Martin Odersky
,
P. Altherr
,
+7 authors
Matthias Zenger
2004
Corpus ID: 17676904
Scala fuses object-oriented and functional programming in a statically typed programming language. It is aimed at the…
Expand
Highly Cited
1996
Highly Cited
1996
The Java Programming Language
K. Arnold
,
James Gosling
1996
Corpus ID: 27208092
From the Publisher: Co-authored by the creator of the Java technology and an experienced object-oriented developer, The Java (TM…
Expand
Highly Cited
1991
Highly Cited
1991
The synchronous data flow programming language LUSTRE
N. Halbwachs
,
P. Caspi
,
P. Raymond
,
D. Pilaud
1991
Corpus ID: 18735256
The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control…
Expand
Highly Cited
1986
Highly Cited
1986
C++ Programming Language
B. Stroustrup
IEEE Softw.
1986
Corpus ID: 5591827
From the Publisher: Written by Bjarne Stroustrup, the creator of C, this is the world's most trusted and widely read book on C…
Expand
Highly Cited
1976
Highly Cited
1976
The Semantics of Predicate Logic as a Programming Language
M. V. Emden
,
R. Kowalski
JACM
1976
Corpus ID: 11048276
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint…
Expand
Highly Cited
1962
Highly Cited
1962
A programming language
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…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE