| Document Date: 2010-06-15 06:33:59
Open Document File Size: 107,17 KBShare Result on Facebook
City Hamilton / / Company LEGO Group / / / Facility Computer Science The University of Waikato Private Bag / / IndustryTerm reactive systems / incomplete search strategy etc / real-time systems / / Organization University of Waikato Private Bag / Starlog Programs John Cleary and Mark Utting Department / / Position manager in Section / resource manager / head / Manager 3.1 Program and Completion / LEGO1 MINDSTORMS RCX Robotics Controller / programmer / / ProgrammingLanguage C / Prolog / T / Java / / PublishedMedium Starlog / / Technology Java / / URL www.legomindstorms.com / / |
Verification of Starlog Programs John Cleary and Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand Email: fjcleary,