Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,690,485 papers from all fields of science
Search
Sign In
Create Free Account
Programming Languages
Known as:
language program
, Languages, Programming
, Language, Programming
Expand
A formal language in which computer programs are written. The definition of a particular language consists of both syntax (how the various symbols of…
Expand
National Institutes of Health
Create Alert
Alert
Related topics
Related topics
3 relations
Computer software
Broader (2)
Languages
constructed language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Douglas Robinson. Performative linguistics: speaking and translating as doing things with words
D. Robinson
,
H. Grice
,
J. Derrida
2008
Corpus ID: 55779869
brace the foreign languages as their own, but rather see themselves as speaking the language of the other. They feel foreign to…
Expand
2008
2008
Effects of site preparation on emergence and early establishment of Larix olgensis in montane regions of northeastern China
Jiaojun Zhu
,
Zu-gen Liu
,
+4 authors
Li-zhong Yu
New forests
2008
Corpus ID: 10676193
Larix olgensis is one of the important commercial timber tree species in northeastern China, but it does not naturally regenerate…
Expand
Review
2001
Review
2001
SMIL 2.0 part 1: overview, concepts, and structure
D. Bulterman
2001
Corpus ID: 5671667
The World Wide Web Consortium's Synchronized Multimedia Integration Language format for encoding multimedia presentations for…
Expand
2000
2000
FAQs: Learning Languages through Drama.
Sarah Dodson
2000
Corpus ID: 21753646
Using a format of frequently asked questions about teaching foreign languages using drama, this article explores the evolution of…
Expand
Highly Cited
1999
Highly Cited
1999
Worldcall : global perspectives on computer-assisted language learning
Mike Levy
,
R. Dębski
1999
Corpus ID: 60999514
Arising from the 1998 inaugural WorldCALL Conference, this volume illustrates the creative and diverse ways in which language…
Expand
Highly Cited
1995
Highly Cited
1995
The Codesign of Embedded Systems: A Unified Hardware/Software Representation
Sanjaya Kumar
,
J. Aylor
,
Barry W. Johnson
,
W. Wulf
Springer US
1995
Corpus ID: 43052766
Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths…
Expand
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
R. Hayes
,
S. Sankar
1994
Corpus ID: 16317461
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL…
Expand
Highly Cited
1993
Highly Cited
1993
Order-sorted polymorphism in Isabelle
T. Nipkow
1993
Corpus ID: 17660122
ML-style polymorphism can be generalized from a single-sorted algebra of types to an order-sorted one by adding a partially…
Expand
1978
1978
Papers in the structure and development of child language
H. Goodluck
,
L. Solan
1978
Corpus ID: 60258152
Highly Cited
1977
Highly Cited
1977
An hierarchical language for the structural description of digital systems
W. Vancleemput
Design Automation Conference
1977
Corpus ID: 15810009
In this report a language (SDL) for describing structural properties of digital systems will be presented. SDL can be used at all…
Expand