Skip to search formSkip to main contentSkip to account menu

Halting problem

Known as: Determining whether a program is going to run forever, Halting predicate, The halting problem 
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Advice (complexity)Arithmetical setChaitin's constantCode coverage

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
FORMATION OF MASSIVE PRIMORDIAL STARS: INTERMITTENT UV FEEDBACK WITH EPISODIC MASS ACCRETION
We present coupled stellar evolution (SE) and 3D radiation-hydrodynamic (RHD) simulations of the evolution of primordial… 
Highly Cited
2011
Highly Cited
2011
The role of impaired de novo Coenzyme A biosynthesis in pantothenate kinase-associated neurodegeneration
Coenzyme A (CoA) is an essential cofactor required for cellular metabolism. CoA is synthesized de novo from pantothenate (vitamin… 
Highly Cited
2010
Highly Cited
2010
EXQUISITE NOVA LIGHT CURVES FROM THE SOLAR MASS EJECTION IMAGER (SMEI)
We present light curves of three classical novae (CNe; KT Eridani, V598 Puppis, V1280 Scorpii) and one recurrent nova (RS… 
Highly Cited
2005
Highly Cited
2005
Cultures of dominance: institutional and cultural influences on parliamentary politics in Melanesia
This paper explores the institutional and cultural aspects of parliamentary politics in the Melanesian states Papua New Guinea… 
Highly Cited
2005
Highly Cited
2005
Circannuale Periodik als Grundlage des jahreszeitlichen Funktionswandels bei Zugvögeln
  • E. Gwinner
  • Journal für Ornithologie
  • 2005
  • Corpus ID: 35018841
1. In der vorliegenden Arbeit wird nachgewiesen, daß zwei in Äquatornähe überwinternde palaearktische Zugvogelarten über einen… 
Highly Cited
2004
Highly Cited
2004
Population Markov Chain Monte Carlo
Stochastic search algorithms inspired by physical and biological systems are applied to the problem of learning directed… 
Highly Cited
2004
Highly Cited
2004
Controlled Growth of Y-Junction Nanotubes Using Ti-Doped Vapor Catalyst
We demonstrate a bulk process for the synthesis of Y-junction carbon nanotubes using Ti-doped Fe catalysts. It is shown that the… 
Highly Cited
1998
Highly Cited
1998
Estimating the costs of diarrhoea and epidemic dysentery in KwaZulu-Natal and South Africa
Inadequate water supply and sanitation are largely responsible for the high levels of diarrhoeal disease in developing countrie s… 
Highly Cited
1998
Highly Cited
1998
Are Currency Boards a Cure for All Monetary
URRENCY board arrangements, under which domestic currency can be issued only to the extent that it is fully covered by the… 
Highly Cited
1984
Highly Cited
1984
Spring accumulation of fat by greater snow geese in two staging habitats
-The influence of habitat on fat storage by Greater Snow Geese (Chen caerulescens atlanticus) on their St. Lawrence River estuary… 
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)