Stem halt$ (all stems)

6 papers:

ICALP-v1-2015-BienvenuDS #question #source code #what

What Percentage of Programs Halt? (LB, DD, AS), pp. 219–230.

LATA-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.

LICS-2009-ChenF #logic #problem

A Logic for PTIME and a Parameterized Halting Problem (YC, JF), pp. 397–406.

VMCAI-2005-Siegel #performance #source code #verification

Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives (SFS), pp. 413–429.

TLCA-2003-Joly #encoding #problem

Encoding of the Halting Problem into the Monster Type & Applications (TJ), pp. 153–166.

ICLP-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.