An Operational Semantics of Starlog.

Lunjin Lu, John G. Cleary

Browse the full PPDP paper archive.