Ats: A language that combines programming with theorem proving (2005)

Cached

Download Links

by Sa Cui , Kevin Donnelly , Hongwei Xi
Venue:of Lecture Notes in Computer Science
Citations:13 - 0 self

Documents Related by Co-Citation

153 The view from the left – C McBride, J McKinna
706 Types and Programming Languages – B C Pierce - 2002
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
423 Z3: An efficient SMT solver – L de Moura, N Bjørner - 2008
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
289 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
469 Interactive Theorem Proving and Program Development – Y Bertot, P Castéran - 2004
531 A Computational' Logic – R S Boyer, J S Moore - 1979