A Refinement of the -measure for Stack Programs

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.90, Iss.1, 2003-11, pp. : 37-44

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

The Garland Measure and Computational Complexity of Stack Programs

By Kristiansen L. Niggl K.-H.

Electronic Notes in Theoretical Computer Science, Vol. 90, Iss. 1, 2003-11 ,pp. : 15-35

Elsevier

Access to resources Recommend Favorite

Verification, refinement and scheduling of real-time programs

By Liu Z. Joseph M.

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 119-152

Elsevier

Access to resources Recommend Favorite

Counterexample-guided abstraction refinement for linear programs with arrays

By Armando Alessandro Benerecetti Massimo Mantovani Jacopo

Automated Software Engineering, Vol. 21, Iss. 2, 2014-04 ,pp. : 225-285

Springer Publishing Company

Access to resources Recommend Favorite

Refinement of time

By Broy M.

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 3-26

Elsevier

Access to resources Recommend Favorite