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 (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Published at a time of unprecedented growth of interest in translation, the Dictionary of Translation Studies aims to present the… 
Review
1996
Review
1996
This paper surveys the work of many researchers on rewriting logic since it was first introduced in 1990. The main emphasis is on… 
Highly Cited
1993
Highly Cited
1993
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
Review
1991
Review
1991
Part 1 Introduction: application area the benefits of a specification language the use of a specification language about this… 
Highly Cited
1986
Highly Cited
1986
James Allen in [All2] formulated a calculus of convex time intervals, which is being applied to commonsense reasoning by Allen… 
Highly Cited
1986
Highly Cited
1986
Highly Cited
1973
Highly Cited
1973
From the Publisher: This best-selling book, now in its fourth edition, provides a wide-ranging and in-depth discussion of…