|Prolog compiler correctness email@example.com (John Todd) (2006-11-04)|
|Re: Prolog compiler correctness firstname.lastname@example.org (russell kym horsell) (2006-11-04)|
|From:||"John Todd" <email@example.com>|
|Date:||4 Nov 2006 18:43:38 -0500|
|Posted-Date:||04 Nov 2006 18:43:38 EST|
I'm writing a Prolog compiler that compiles Prolog code into Warren
Abstract Machine code, which in turn has an assembler that executes
the WAM code (pretty conventional). I'm not a professional compiler
writer, so my question for those of you who wrote Prolog compilers
how do you go about testing it? Is there a formal suite of tests that
you run? (Note: I'm only concerned about Prolog correctness, NOT
how big are the programs that you test?
Do you only test Prolog code? or are there test suite in WAM Assembly
language to test WAM correctness?
And for people who worked on popular open source Prolog compiler
projects (SWI, GNU..etc), what kind of test suite do you run after
I searched on google about this topic, but only found
theoretical/math-intensive papers about formal proofs, which didn't
really help me that well. I would highly appreciate it if someone can
refer me to a test suite/methodology/document to start off with.
Thanks a lot!
Return to the
Search the comp.compilers archives again.