Automatic analysis of functional program style

Michaelson, Greg

doi:10.1109/aswec.1996.534121

Cited by 13 publications

(9 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It can be done by hand, but as expected, it will inherit all the problems created by manual checking. Thanks to [14] , as we can execute automata diagram using JFALP. However, for one particular problem, we can have many forms of automata diagrams.…”

Section: Automata-based Assignmentmentioning

confidence: 99%

The Design of ADAT: A Tool for Assessing Automata-Based Assignments

Shukur

Mohamed

2008

J. of Computer Science

View full text Add to dashboard Cite

This study describes the design of an automatic assessment system for assessing an automata-based assignment. Automata concept is taught in several undergraduate computing courses such as Theory of Computation, Automata and Formal Languages and Compilers. We take two elements into consideration when assessing the student's answers; static element and dynamic element. The static element involves the number of states (initial and final as well) and the number of transitions. Whilst the dynamic aspect involves executing the automata against several test data. In this work, we rely heavily on the JFLAP for drawing and executing the automata.

show abstract

Section: Automata-based Assignmentmentioning

confidence: 99%

The Design of ADAT: A Tool for Assessing Automata-Based Assignments

Shukur

Mohamed

2008

J. of Computer Science

View full text Add to dashboard Cite

show abstract

“…In the 1970's and early 1980's the focus moved away from correctness to optimality assessment (Michaelson, 1996). Since then, there has been renewed interest in automatic correctness assessment.…”

Section: Automatic Correctness Assessmentmentioning

confidence: 99%

Automatic assessment of elementary Standard ML programs using Ceilidh

Foubister

Michaelson

Tomes

1997

Computer Assisted Learning

View full text Add to dashboard Cite

Ceilidh is an interactive environment which supports computer programming course organisation, practical work and assessment. This paper describes its use to support a first level programming course for the functional language Standard ML. Automated program assessment systems are surveyed and the general Ceilidh approach to automatic assessment is discussed. Extensions to Ceilidh to assess Standard ML programs are considered and an evaluation is made of the effects of its use on student learning. The main conclusion is that Ceilidh use significantly reduces the burden of marking on the lecturer, while not affecting the overall level of achievement of the students.

show abstract

“…Metrics, such as line of code, number of variables, statements and expressions, are used as the basis for grading a program. Examples of such systems are STYLE [14,15], Knots [16], style checker [17], Verilog Logiscope [18], Style++ [19]. The advantage of using metrics is that they are easy to calculate.…”

Section: Introductionmentioning

confidence: 98%

Semantic similarity-based grading of student programs

Wang

et al. 2007

Information and Software Technology

View full text Add to dashboard Cite

Automatic analysis of functional program style

Cited by 13 publications

References 16 publications

The Design of ADAT: A Tool for Assessing Automata-Based Assignments

The Design of ADAT: A Tool for Assessing Automata-Based Assignments

Automatic assessment of elementary Standard ML programs using Ceilidh

Semantic similarity-based grading of student programs

Contact Info

Product

Resources

About