We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Decision problems for pushdown threads.
- Authors
Bergstra, Jan; Bethke, Inge; Ponse, Alban
- Abstract
Threads as contained in a thread algebra emerge from the behavioral abstraction from programs in an appropriate program algebra. Threads may make use of services such as stacks, and a thread using a single stack is called a pushdown thread. Equivalence of pushdown threads is shown decidable whereas pushdown thread inclusion is undecidable. This is again an example of a borderline crossing where the equivalence problem is decidable, whereas the inclusion problem is not.
- Subjects
THREADS (Computer programs); ALGEBRA; MATHEMATICS; COMPUTER software; PROGRAMMING languages
- Publication
Acta Informatica, 2007, Vol 44, Issue 2, p75
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-007-0040-5