Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,328,678 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.
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
2006
2006
A comparative framework for design recovery tools
Yann-Gaël Guéhéneuc
,
K. Mens
,
Roel Wuyts
European Conference on Software Maintenance and…
2006
Corpus ID: 9380571
While many commercial and academic design recovery tools have been proposed over the years, assessing their relevance and…
Expand
Review
2004
Review
2004
Modelling in Molecular Biology
Gabriel Ciobanu
,
G. Rozenberg
Natural Computing Series
2004
Corpus ID: 5074589
Stoichiometric Foundation of Large-Scale Biochemical System Analysis.- Modelling Stochastic Clonal Interference.- Software…
Expand
Highly Cited
2004
Highly Cited
2004
Source Code Retrieval using Conceptual Similarity
G. Mishne
,
M. de Rijke
RIAO Conference
2004
Corpus ID: 2670510
We propose a method for retrieving segments of source code from a large repository. The method is based on conceptual modeling of…
Expand
Highly Cited
2002
Highly Cited
2002
Distributed Search in P2P Networks
S. Waterhouse
,
David Doolin
,
Gene Kan
,
Yaroslav Faybishenko
IEEE Internet Computing
2002
Corpus ID: 40253633
Most Web content is invisible to current search engines. JXTA Search addresses this problem, providing a unique query routing…
Expand
2001
2001
Model checking for an executable subset of UML
Fei Xie
,
V. Levin
,
J. Browne
International Conference on Automated Software…
2001
Corpus ID: 17450677
The paper presents an approach to model checking software system designs specified in xUML (http://www.kc.com/html/xuml.html), an…
Expand
2001
2001
Protecting the Creation of Digital Signatures with Trusted Computing Platform Technology Against Attacks by Trojan Horse Programs
Adrian Spalka
,
A. Cremers
,
Hanno Langweg
IFIP International Information Security…
2001
Corpus ID: 52838399
Digital signatures are a key technology for many Internet-based commercial and administrative applications and, therefore, and…
Expand
Highly Cited
1994
Highly Cited
1994
A real-time object model RTO.k and an experimental investigation of its potentials
K. Kim
,
H. Kopetz
Proceedings Eighteenth Annual International…
1994
Corpus ID: 206570332
In recent years, the search for proper extensions of the basic object model to suit the hard-real-time application community has…
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
1984
1984
Modularity in Syntax: A Study of Japanese and English
A. K. Farmer
1984
Corpus ID: 57425576
This book clarifies some of the central issues in Japanese syntax, pointing the way to solving several long-standing problems. It…
Expand
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