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
2012
Highly Cited
2012
Dangerous tales: Dominant narratives on the Congo and their unintended consequences
Explanations for the persistence of violence in the eastern part of the Democratic Republic of Congo blame the incendiary actions… 
Highly Cited
2011
Highly Cited
2011
SignalGuru: leveraging mobile phones for collaborative traffic signal schedule advisory
While traffic signals are necessary to safely control competing flows of traffic, they inevitably enforce a stop-and-go movement… 
Review
2008
Review
2008
Global Review of the Physical and Biological Effectiveness of Stream Habitat Rehabilitation Techniques
Abstract The degradation of inland aquatic habitats caused by decades of human activities has led to worldwide efforts to… 
Review
2003
Review
2003
Regulatory lymphocytes: Antigen-induced regulatory T cells in autoimmunity
The ultimate goal of any treatment for autoimmune diseases is antigen- and/or site-specific suppression of pathology… 
Highly Cited
2003
Highly Cited
2003
The Making of the Turkish Financial Crisis
Highly Cited
2002
Highly Cited
2002
Power-constrained CMOS scaling limits
The scaling of CMOS technology has progressed rapidly for three decades, but may soon come to an end because of power-dissipation… 
Highly Cited
2001
Highly Cited
2001
Propositions on Trade Unions and Informal Employment in Times of Globalisation
The purpose of this contribution is to identify some of the issues which need to be addressed in order to advance the… 
Highly Cited
1999
Highly Cited
1999
Assembly of Aβ Amyloid Protofibrils: An in Vitro Model for a Possible Early Event in Alzheimer's Disease†
Amyloid fibrils comprising primarily the peptides Aβ40 and Aβ42 are a defining feature of the Alzheimer's disease (AD) brain, and… 
Highly Cited
1998
Highly Cited
1998
Colloidal Silver Nanoparticles: Photochemical Preparation and Interaction with O2, CCl4, and Some Metal Ions
The optical absorption of the colloidal nanoparticles is investigated, formed by the UV illumination of aqueous solutions… 
Highly Cited
1996
Highly Cited
1996
Threat and Repression: The Non-Linear Relationship between Government and Opposition Violence
An understanding of the causes of political repression has continually eluded researchers for the past decade. We argue that much… 
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)