MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Julian Richardson" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 24 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Proof Planning and Program Synthesis: a Survey  
  • by Julian Richardson — 2002 — In Logic-Based Program Synthesis: State-of-the-Art & Future Trends, AAAI 2002 Spring Symposium, March 25-27, 2002
  • …Proof Planning and Program Synthesis: a Survey Julian Richardson Dependable Systems Group…
  • Cited by 1 (0 self) – Add To MetaCart
  • Program Schemas as Proof Methods  
  • by Julian Richardson
  • … Program Schemas as Proof Methods Julian Richardson 1 and Pierre Flener2 1 Heriot…
  • Add To MetaCart
  • Traceability through automatic program generation  
  • by Julian Richardson, Jeff Green — 2003 — In Proceedings of Second International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE
  • …Traceability Through Automatic Program Generation Julian Richardson (1) and Jeff Green (2) NASA…
  • Cited by 2 (1 self) – Add To MetaCart
  • A Unified View of Programming Schemas and Proof Methods  
  • by Pierre Flener, Julian Richardson — 1999 — Proceedings 9th International Workshop on Logic Program Synthesis and Transformation (LOPSTR’99), LNCS, Vol. 1817, Venezia, Italy, ISBN 3–540–67628–7
  • … Department of Information Science Uppsala University S-751 05 Uppsala, Sweden pierref@(email omitted); Julian…
  • Cited by 2 (1 self) – Add To MetaCart
  • Symbolic Verification With Gap-Order Constraints  
  • by Laurent Fribourg, Julian Richardson — 1996 — Proc. 6th Intl. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207
  • …Symbolic verification with gap-order constraints Laurent Fribourg & Julian Richardson * Ecole…
  • Cited by 9 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB