A Refinement of the μ-measure for Stack Programs (Q4916234)
From MaRDI portal
scientific article; zbMATH DE number 6156043
Language | Label | Description | Also known as |
---|---|---|---|
English | A Refinement of the μ-measure for Stack Programs |
scientific article; zbMATH DE number 6156043 |
Statements
A Refinement of the μ-measure for Stack Programs (English)
0 references
19 April 2013
0 references
refinement
0 references
\(\mu \)-measure
0 references
stack programs
0 references