Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,067,587 papers from all fields of science
Search
Sign In
Create Free Account
Compiled language
Known as:
Compiled languages
, Compiled programming language
, CompiledLanguages
A compiled language is a programming language whose implementations are typically compilers (translators that generate machine code from source code…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ALGOL
ALGOL 60
ALGOL 68
ANTLR
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
F. Cerveira
,
Alcides Fonseca
,
R. Barbosa
,
H. Madeira
European Dependable Computing Conference
2018
Corpus ID: 53282944
The choice of programming language depends on a number of factors, such as efficiency and maintainability. With the predicted…
Expand
2017
2017
Structural optimization of the PSEM GP-16 monocoque prototype using laminated composites
J. Alves
2017
Corpus ID: 140118065
Structural optimization of the PSEM GP-16 monocoque prototype using laminated composites João Alves joao.oliveira.alves@tecnico…
Expand
2015
2015
Optimal Racing Line Control
Shayegan Omidshafiei
2015
Corpus ID: 31437131
Analysis of race car dynamics and control is conducted. A kinematic race car system is constructed for preliminary construction…
Expand
2014
2014
FAUSTLIVE, Just-In-Time Faust Compiler... and much more
Sarah Denoux
,
S. Letz
,
Y. Orlarey
,
D. Fober
2014
Corpus ID: 196084802
FaustLive is a standalone just-in-time Faust compiler. It tries to bring together the conve- nience of a standalone interpreted…
Expand
2005
2005
Techniques for Verifying Prolog Implementations
Keehang Kwon
,
Jang-Wu Jo
,
Sanghoon Kim
2005
Corpus ID: 14934614
This paper presents some techniques that reduce the complexity of the verification of Prolog implementations. Two key techniques…
Expand
2004
2004
Étude et développement d'un module de contrôle pour une plate-forme de simulation numérique
Matthieu Haefele
,
D. Vigier
,
Éric Violard
,
F. Zara
2004
Corpus ID: 60157279
Ce travail a comme objectif d'etudier diverses solutions pour la mise en place d'une plate-forme de simulation numerique. Celle…
Expand
2004
2004
Toy Story: an analysis of the evolution of Debian GNU/Linux
G. Robles
2004
Corpus ID: 5710633
The Debian operating system is one of the most popular GNU/Linux distributions today. From its birth, more than one decade ago…
Expand
2001
2001
Isis, cabbage, and viper: new tools and strategies for designing responsive media
S. Agamanolis
,
V. Bove
2001
Corpus ID: 108420359
Responsive media are media that can sense and react intelligently to factors like presentation conditions or equipment, audience…
Expand
1995
1995
The Design of a Meta-Level Architecture for the BETA Language
S. Brandt
,
R. W. Schmidt
1995
Corpus ID: 14725560
A flexible nasal cannula having improved characteristics is produced in a mold cavity incorporating a forming means comprising a…
Expand
1994
1994
Proving with BDDs and Control of Information
J. Goubault-Larrecq
CADE
1994
Corpus ID: 5077552
We present a new automated proof method for rst-order classical logic, aimed at limiting the combinatorial explosion of the…
Expand