Automatic analysis of functional program style

Proceedings - 1996 Australian Software Engineering Conference, ASWEC 1996

Volumn , Issue , 1996, Pages 38-46

  Michaelson, Greg ^a  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SOFTWARE ENGINEERING;

AUTOMATIC ANALYSIS; FUNCTIONAL PROGRAMS; PROGRAM TRANSFORMATIONS;

FUNCTIONAL PROGRAMMING;

EID: 85066198950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.1996.534121     Document Type: Conference Paper

References (25)

1. S. Benford et al. Experience using the Ceilidh system. In Proceedings of 1st All-Ireland Conference on the Teaching of Computing, Dublin City University, in Monitor: newsletter of the Computers in Teaching Initiative Centre for Computing, number 4, pages 32-35, Sept 1993.
2. R. E. Berry and B. A. E. Meekings. Style analysis of C programs. Communications of the ACM, 28(1):80-88, Jan 1985.
3. E. Dijkstra. Go to statement considered harmful. Communications of the ACM, 11(3):147-148, March 1968.
4. G. Dromey. Program derivation: the development of programs from specifications. Addison-Wesley, 1989.
5. G. Dromey. A model for software product quality. IEEE Transactions on Software Engineering, 21(2):146-162, Feb 1995.
6. W. Gillett. An interactive program advising system. SIGCSE/SIGCUE Joint Symposium on Computer Science Education, 8/2(1):335-341, Feb 1976.
7. G. Hannemyr. letter. SIGPLAN, 18(4):16-18, April 1983.
8. R. Harrison. The use of functional languages in teaching computer science. Journal of Functional programming, 3(1):67-75, Jan 1993.
9. W. Harrison and C. R. Cook. A note on the Berry-Meekings style metric. Communications of the ACM, 29(2):123-125, Feb 1986.
10. J. W. Howatt. On criteria for grading student programs. SIGCSE, 20(3):3-7, Sept 1994.
11. Software product evaluation - quality characteristics and guidelines for their use. ISO/TEC Standard ISO-9126, 1991.
12. B. W. Kernighan and R J. Plauger. The elements ofprogramming style. McGraw-Hill, 1978.
13. A. Lake and C. Cook. STYLE: an automated program style analyzer for Pascal. SIGCSE, 22(3):29-33, Sept 1990.
14. H. F. Ledgard, J. F. Hueras, and R A. Nagin. Pascal with style: programming proverbs. Hayden, 1979.
15. D. Marca. Some Pascal style guidelines. SIGPLAN, 16(4):70-80, April 1981.
16. B. A. E. Meekings. Style analysis of Pascal programs. SIGPLAN, 18(9):45-54, Sept 1983.
17. N. E. Miller and C. G. Peterson. A method for evaluating student written computer programs in an undergraduate computer science programming language course. SIGCSE, 12(4):9-17, Dec 1980.
18. D. Olson. The reliability of analytic and holistic methods in rating students' computer programs. 19th SIGCSE Technical Sympoisium on Computer Science Education, 20(1):293-298, Feb 1988.
19. K. A. Redish and W. F. Smyth. Program style analysis: a natural by-product of program compilation. Communications of the ACM, 29(2):126-133,Feb 1986.
20. M. J. Rees. Automatic assessment aids for Pascal programs. SIGPLAN, 17(10):33-42, Oct 1980.
21. S. K. Robinson and I. S. Torsun. The automatic measurement of the relative merits of student programs. SIGPLAN, 12(4):80-93, April 1977.
22. S. S. Robinson and M. L. Soffa. An instructional aid for student programs. 11th SIGCSE Technical Symposium on Computer Science Education, 12(1):118-129, Feb 1980.
23. D. Rosenthal, letter. SIGPLAN, 18(3):4-5, March 1983.
24. R. D. Tennent. Semantics of programming languages. Prentice-Hall, 1991.
25. P. B. V. Verth and A. Ralston. A system for the automatic grading of programming style. In Proceedings of5th National Conference on Educational Computing, IEEE, Baltimore, MD, pages 208-213, June 1983.