Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,596,083 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
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
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
1999
1999
A Formalization of SOCCA
J. Ebert
,
L. Groenewegen
,
Roger Süttenbach
1999
Corpus ID: 59642818
This paper presents an integrated and formalized description of the abstract syntax and the semantics of visual languages used in…
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
Highly Cited
1984
Highly Cited
1984
The French Language: present and past
Glanville Price
1984
Corpus ID: 161887497
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
1973
1973
The heritage illustrated dictionary of the English language
William Morris
1973
Corpus ID: 190144572
The heritage illustrated dictionary of the english language , The heritage illustrated dictionary of the english language…
Expand