MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Combining Testing and Proving in Dependent Type Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Combining Testing and Proving in Dependent Type Theory
by Peter Dybjer, Qiao Haiyan, and Makoto Takeyama, Makoto Takeyama — 2003 — 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003
…Combining Testing and Proving in Dependent Type Theory Peter Dybjer, Qiao Haiyan, and Makoto…
Cited by 6 (1 self) – Add To MetaCart

Verifying haskell pro-grams by combining testing and proving
by Peter Dybjer, Qiao Haiyan, Makoto Takeyama — In Proceedings of the Third International Conference on Quality Software
…. This paper reports a case study based on our previous work on combining testing and proving in dependent type…
Cited by 2 (0 self) – Add To MetaCart

II Verifying Haskell Programs by Combining Testing and Proving Verifying Haskell Programs
by Peter Dybjer, Qiao Haiyan
… previous work on combining testing and proving in dependent type theory [11]. The Testing Tool 67 Plan…
Add To MetaCart

Nationality: Japanese Positions:
by First Name Makoto — 1991
… verification of hardware) • Qiao Haiyan (2nd supervisor. internal type theory, combined testing and proving…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB