BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
problem (4)
program (3)
logic (2)
undecid (1)
updat (1)

Stem halt$ (all stems)

6 papers:

ICALPICALP-v1-2015-BienvenuDS #question #source code #what
What Percentage of Programs Halt? (LB, DD, AS), pp. 219–230.
LATALATA-2009-Moore #data access #documentation #generative #problem
The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates (NM), pp. 601–613.
LICSLICS-2009-ChenF #logic #problem
A Logic for PTIME and a Parameterized Halting Problem (YC, JF), pp. 397–406.
VMCAIVMCAI-2005-Siegel #performance #source code #verification
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives (SFS), pp. 413–429.
TLCATLCA-2003-Joly #encoding #problem
Encoding of the Halting Problem into the Monster Type & Applications (TJ), pp. 153–166.
ICLPICLP-1994-LauOT #deduction #logic programming #problem #source code #synthesis
The Halting Problem for Deductive Synthesis of Logic Programs (KKL, MO, SÅT), pp. 665–683.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.