MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Program Refinement Tool." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Floating-Point Verification  
  • by M. J. C. Gordon
  • … embedded programming language, probably imperative. Some experiments using a program refinement tool…
  • Add To MetaCart
  • Window inference in isabelle  
  • by Mark Staples — 1995 — University of Cambridge Computer Laboratory
  • … inference tool in Isabelle is to use it as the basis of a program refinement tool. Hence in Section 4…
  • Cited by 5 (2 self) – Add To MetaCart
  • Multi-Threading and Message Communication in Qu-Prolog  
  • by Keith Clark, Keith Clark, Peter J. Robinson, Peter J. Robinson, Richard A. Hagen, Richard A. Hagen — 1999 — in Qu-Prolog. Theory and Practice of Logic Programming
  • … software, both directly [8] and indirectly through prototyping a program refinement tool [4]. As part…
  • Cited by 5 (3 self) – Add To MetaCart
  • Multi-Threading and Message Communication in Qu-Prolog  
  • by Keith Clark Imperial, Keith Clark, Peter J. Robinson, Richard Hagen — 1998 — In Proc. of the Australian Workshop on Distributed Arti Intelligence
  • … software, both directly [4] and indirectly through prototyping a program refinement tool [5]. As part…
  • Add To MetaCart
  • Multi-Threading and Message Communication in Qu-Prolog  
  • by Keith Clark Peter, Keith Clark, Peter J. Robinson, Peter J. Robinson, Richard Hagen, Richard Hagen — 1998 — in Qu-Prolog. Theory and Practice of Logic Programming
  • … software, both directly [4] and indirectly through prototyping a program refinement tool [5]. As part…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB