Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 220,856,454 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
(opens in a new tab)
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.
Review
2014
Review
2014
Dictionary of Translation Studies
M. Shuttleworth
2014
Corpus ID: 60572125
Published at a time of unprecedented growth of interest in translation, the Dictionary of Translation Studies aims to present the…
Expand
Highly Cited
2003
Highly Cited
2003
UNIVERSITY OF CALIFORNIA Los Angeles Framework for Developing Adaptable Applications in Pervasive Environments A thesis submitted in partial satisfaction of the requirements for the degree Master of…
Shantanu Bhattacharyya
,
R. Muntz
,
Stott Parker
,
R. Bagrodia
,
Peter Reiher
2003
Corpus ID: 236164613
Review
1996
Review
1996
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
J. Meseguer
International Conference on Concurrency Theory
1996
Corpus ID: 17919167
This paper surveys the work of many researchers on rewriting logic since it was first introduced in 1990. The main emphasis is on…
Expand
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
M. Fujita
,
J. Slaney
,
F. Bennett
International Joint Conference on Artificial…
1993
Corpus ID: 16157391
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite…
Expand
Review
1991
Review
1991
SDL - with applications from protocol specification
F. Belina
,
D. Hogrefe
,
A. Sarma
BCS practitioner series
1991
Corpus ID: 5467509
Part 1 Introduction: application area the benefits of a specification language the use of a specification language about this…
Expand
Highly Cited
1990
Highly Cited
1990
MODEL.LA. A modeling language for process engineering—I. The formal framework
G. Stephanopoulos
,
G. Henning
,
H. Leone
1990
Corpus ID: 62210083
Highly Cited
1986
Highly Cited
1986
Time Representation: A Taxonomy of Internal Relations
P. Ladkin
AAAI Conference on Artificial Intelligence
1986
Corpus ID: 2660233
James Allen in [All2] formulated a calculus of convex time intervals, which is being applied to commonsense reasoning by Allen…
Expand
Highly Cited
1986
Highly Cited
1986
A Design Methodology for Synthesizing Parallel Algorithms and Architectures
Marina C. Chen
J. Parallel Distributed Comput.
1986
Corpus ID: 27276949
Highly Cited
1973
Highly Cited
1973
Concepts of programming languages
Mark Elson
1973
Corpus ID: 61913046
From the Publisher: This best-selling book, now in its fourth edition, provides a wide-ranging and in-depth discussion of…
Expand
Highly Cited
1964
Highly Cited
1964
Labeling Schemata and Synctactic Descriptions of Pictures
Rangaswamy Narasimhan
Information and Control
1964
Corpus ID: 37226638
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE