HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Program Supervision : Yakl and Pegase+ Reference and User Manual

Abstract : This document describes concepts and tools that we have developed for the program supervision task. The first part is a reference manual, which introduces the concepts involved in this task as well as the proposed knowledge language and inference engine to achieve this task. The second part is a user's manual, which details both the Yakl description language and the Pegase+ engine. It also provides examples and methodological recommendations to develop a program supervision system with Yakl and Pegase+.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071518
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 5:49:34 PM
Last modification on : Friday, February 4, 2022 - 3:14:47 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:14:09 PM

Identifiers

  • HAL Id : inria-00071518, version 1

Collections

Citation

Sabine Moisan. Program Supervision : Yakl and Pegase+ Reference and User Manual. RR-5066, INRIA. 2003. ⟨inria-00071518⟩

Share

Metrics

Record views

98

Files downloads

732