AbstractA program schema defines a class of programs, all of which have identical statement structures, but whose expressions may differ. We prove that given any two structured schemas which are conservative, linear and free, it is decidable whether they are equivalent
The study of program schemata and the study of subrecursive programming languages are both concerned...
. We present our work on the representation and correctness of program schemas, in the context of lo...
AbstractA program schema defines a class of programs, all of which have identical statement structur...
AbstractA program schema defines a class of programs, all of which have identical statement structur...
A program schema defines a class of programs, all of which have identical statement structure, but w...
A program schema defines a class of programs, all of which have identical statement structure, but ...
Abstractprogram schema defines a class of programs, all of which have identical statement structure,...
The article attached is a preprint version of the final published article which can be accessed at t...
A program schema defines a class of programs, all of which have identical statement structure, but w...
Paterson introduced the notions of freedom and liberality as semantic restrictions on the class of s...
Some problems related to the class of program schemata introduced by R. M. Karpand R. M. Miller in p...
This is a preprint version of the article - Copyright @ 2011 ElsevierA program schema defines a clas...
We show in this article that program schemas terminate because of secondorder reasons, in a sense to...
A program schema defines a class of programs, all of which have identical statement structure, but w...
Paterson introduced the notions of semantic restrictions on the class of restricted classes of schem...
The study of program schemata and the study of subrecursive programming languages are both concerned...
. We present our work on the representation and correctness of program schemas, in the context of lo...
AbstractA program schema defines a class of programs, all of which have identical statement structur...
AbstractA program schema defines a class of programs, all of which have identical statement structur...
A program schema defines a class of programs, all of which have identical statement structure, but w...
A program schema defines a class of programs, all of which have identical statement structure, but ...
Abstractprogram schema defines a class of programs, all of which have identical statement structure,...
The article attached is a preprint version of the final published article which can be accessed at t...
A program schema defines a class of programs, all of which have identical statement structure, but w...
Paterson introduced the notions of freedom and liberality as semantic restrictions on the class of s...
Some problems related to the class of program schemata introduced by R. M. Karpand R. M. Miller in p...
This is a preprint version of the article - Copyright @ 2011 ElsevierA program schema defines a clas...
We show in this article that program schemas terminate because of secondorder reasons, in a sense to...
A program schema defines a class of programs, all of which have identical statement structure, but w...
Paterson introduced the notions of semantic restrictions on the class of restricted classes of schem...
The study of program schemata and the study of subrecursive programming languages are both concerned...
. We present our work on the representation and correctness of program schemas, in the context of lo...
AbstractA program schema defines a class of programs, all of which have identical statement structur...
DOI
Add to ORKG