Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,720,738 papers from all fields of science
Search
Sign In
Create Free Account
Dead code
In computer programming, dead code is a section in the source code of a program which is executed but whose result is never used in any other…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Code bloat
Computer programming
Constant folding
Control flow
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Political Mobilization in Azerbaijan-The January 2013 Protests and Beyond
Sofie Bedford
2014
Corpus ID: 141221566
A wave of public protests rocked Azerbaijan at the beginning of 2013. The first protest event of the year was inspired by the…
Expand
2012
2012
The change in the epidemiological profile of maternal mortality in Chile will hinder the fulfillment of the Millennium 5th goal
S. EnriqueDonoso
,
C. JorgeCarvajal
2012
Corpus ID: 196415676
BACKGROUND: The death of women during pregnancy childbirth or puerperium remains a serious public health problem worldwide. Chile…
Expand
2012
2012
Bounded Program Verification Using an SMT Solver: A Case Study
Tianhai Liu
,
M. Nagel
,
Mana Taghdiri
IEEE Fifth International Conference on Software…
2012
Corpus ID: 9454808
We present a novel approach to bounded program verification that exploits recent advances of SMT solvers in modular checking of…
Expand
Highly Cited
2011
Highly Cited
2011
"Sadly and with a Bitter Heart": What the Caesarean Section Meant in the Middle Ages
S. Bednarski
,
Andrée Courtemanche
2011
Corpus ID: 159954412
This article contextualizes the history of the so-called Caesarean section to argue that the history of obstetrics is written at…
Expand
2010
2010
Towards Effective Two-Level Supercompilation
I. Klyuchnikov
2010
Corpus ID: 2709465
Towards effective two-level supercompilation Moscow 2010 Ilya Klyuchnikov. Towards effective two-level supercompilation The paper…
Expand
1999
1999
ART: an architectural reverse engineering environment
R. Fiutem
,
G. Antoniol
,
P. Tonella
,
E. Merlo
J. Softw. Maintenance Res. Pract.
1999
Corpus ID: 7210895
When programmers perform maintenance tasks, program understanding is often required. One of the rst activities in understanding a…
Expand
Highly Cited
1996
Highly Cited
1996
What Not to Do When Writing an Interpreter for Specialisation
N. Jones
Dagstuhl Seminar on Partial Evaluation
1996
Corpus ID: 15990828
A partial evaluator, given a program and a known “static” part of its input data, outputs a specialised or residual program in…
Expand
1992
1992
Let the Dead Bury Their Dead
R. Kenan
1992
Corpus ID: 165384935
1973
1973
Samuel Beckett's Lessness: An exercise in decomposition
J. Coetzee
1973
Corpus ID: 62546051
In 1969 Samuel Beckett published a short book, Sans; his English translation, Lessness, appeared the following year.1 Lessness…
Expand
1966
1966
Note préliminaire sur les colonnes de chasse deMegaponera fœtens F. (Hyménoptère Formicidæ)
J. Lévieux
Insectes Sociaux
1966
Corpus ID: 2031222
RésuméMegaponera fœtens est unPonerinæ exclusivement termitophage qui chasse en colonnes populeuses. Les ouvrières récoltent…
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
or Only Accept Required