Dependent Types for Program Termination Verification

Author： Xi H.

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.15, Iss.1, 2002-03, pp. : 91-131

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

Subtyping dependent types

By Aspinall D. Compagnoni

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 273-309

Elsevier

Access to resources Recommend Favorite

Static verification of dynamically detected program invariants - Integrating Daikon and ESC/Java

By Nimmer J.W. Ernst M.D.

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 2, 2004-01 ,pp. : 1-22

Elsevier

Access to resources Recommend Favorite

Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering?

By Pincas Uri

Minds and Machines, Vol. 21, Iss. 2, 2011-05 ,pp. : 337-359

Springer Publishing Company

Access to resources Recommend Favorite

Efficient SSD Integrity Verification Program Based on Combinatorial Group Theory

International Journal of Interdisciplinary Telecommunications and Networking (IJITN), Vol. 7, Iss. 1, 2015-01 ,pp. : 72-79

IGI Global_journal

Access to resources Recommend Favorite

Preliminary experiments in speaker verification using time-dependent largest Lyapunov exponents

By Petry A. Barone D.A.C.

Computer Speech & Language, Vol. 17, Iss. 4, 2003-10 ,pp. : 403-413

Elsevier

Access to resources Recommend Favorite