Evaluating Environments for Functional Programming (2000)

Cached

Download Links

by Jon Whittle , Andrew Cumming
Venue:International Journal of Human-Computer Studies
Citations:3 - 0 self

Documents Related by Co-Citation

3 On the fundamental limitations of transformational design – Jeroen Voeten - 2001
1 Proofs-asprograms as a framework for the dsign of an analogy-based ml editor – John Whittle, Alan Bundy, Richard Boulton
8 An ML Editor Based on Proofs-as-Programs – Jon Whittle, Alan Bundy, Richard Boulton, Helen Lowe - 1999
2 Testing and Proving in Dependent Type Theory – Q Haiyan - 2003
1 Subset coercions in Coq. In: TYPES’06. Volume 4502 – M Sozeau - 2007
5 Automated Discovery of Inductive Lemmas – M Johansson - 2009
13 Combining Testing and Proving in Dependent Type Theory – Peter Dybjer, Qiao Haiyan, and Makoto Takeyama, Makoto Takeyama - 2003
3 Automation for dependently typed functional programming. Special Issue on Dependently Typed Programming of Fundamental Informaticae – S Wilson, J Fleuriot, A Smaill - 2009
13 Ats: A language that combines programming with theorem proving – Sa Cui, Kevin Donnelly, Hongwei Xi - 2005
45 Rippling: meta-level guidance for mathematical reasoning – Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland - 2005
9 Improvements in formula generalization – Markus Aderhold - 2007
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
151 The view from the left – Conor McBride, James McKinna
27 Sage: Hybrid checking for flexible specifications – Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, Cormac Flanagan - 2006
6 Criteria for Evaluation of Visual Programming Languages – J KIPER, E HOWARD, C AMES - 1997
4 Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs – Freja - 2001
4 SRE: A syntax recognizing editor – F J Budinsky, R C Holt, S G Zaky - 1985
3 Design of a multi-language editor with static error detection capabilities – M R Horton - 1981
2 The SAGA Editor: A Language-Oriented Editor Based on Incremental LR(1) Parser – P A C Kirslis - 1985