Eric Foxley

19 papers Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
1999 J jnl
The automatic assessment of formal specification coursework.
J. Comput. High. Educ.
Zarina Shukur, Edmund K. Burke, Eric Foxley
1997 — conf
The automatic assessment of Z specifications.
ITiCSE-WGR
Eric Foxley, Omar Salman, Zarina Shukur
1996 — book
Logic and its applications.
Edmund K. Burke, Eric Foxley
1995 — conf
Semantic Understanding for an Automatic Marking System Using Fuzzy Techniques.
SCAI
Bill Lou, Eric Foxley
1995 — conf
The Ceilidh system for the automatic grading of students on programming courses.
ACM Southeast Regional Conference
Steve Benford, Edmund K. Burke, Eric Foxley, Christopher A. Higgins
1993 J jnl
A Lexical Analyser for Arabic.
Int. J. Man Mach. Stud.
Allel Feddag, Eric Foxley
1990 J jnl
Towards a Consultative On-Line Help System.
Int. J. Man Mach. Stud.
Godwin M. Gwei, Eric Foxley
1987 J jnl
A Flexible Synonym Interface with Application Examples in CAL and Help Environments.
Comput. J.
Godwin M. Gwei, Eric Foxley
1987 J jnl
Music-A Language for Typesetting Music Scores.
Softw. Pract. Exp.
Eric Foxley
1985 — book
UNIX for super-users.
Eric Foxley
1981 J jnl
Validation of an Analytic Model of Computer Performance.
Comput. J.
Eric Foxley, Omar Salman
1978 J jnl
A Hybrid Computer Performance Modelling System.
Comput. J.
Eric Foxley
1978 J jnl
Monitoring the Run-time Activity of Algol 68-R Programs.
Softw. Pract. Exp.
Eric Foxley, D. J. Morgan
1978 J jnl
Programming Aids for the Teaching of Programming.
Softw. Pract. Exp.
Eric Foxley
1977 — conf
'Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP'.
Strathclyde ALGOL 68 Conference
David F. Brailsford, Eric Foxley, K. C. Mander, D. J. Morgan
1968 — conf
A meta-semantic language for use with a top-down syntax analyser.
IFIP Congress (1)
Eric Foxley, P. R. King
1968 J jnl
The Implementation of Syntax Analysis Using Algol, and Some Mathematical Applications.
Comput. J.
Eric Foxley, Peter King
1968 J jnl
The construction of examination timetables by computer.
Comput. J.
Eric Foxley, K. Lockyer
1962 J jnl
The determination of all Sheffer functions in 3-valued logic, using a logical computer.
Notre Dame J. Formal Log.
Eric Foxley