In: M. Hermegildo and S.D. Swierstra (editors), Programming languages: Implementations, Logics and Programs (PLILP). Lecture Notes in Computer Science 982, pages 1-23, 1995.

Authors: Oege de Moor
>

Abstract

We present a single generic program for sequential decision processes. By suitably instantiating its parameters, many efficient algorithms can be concisely expressed. The correctness of the generic program is also stated as a number of algebraic properties of its parameters.

(PS)

BIBTEX:

           @inproceedings{plilp95moor, 
           author = "De Moor, Oege",
           title = "A Generic Program for Sequential Decision Processes", 
           booktitle = "Programming Languages: Implementations, Logics and Programs (PLILP)", 
           editor = "M. Hermenegildo and S. D. Swierstra",
           series = "Lecture Notes in Computer Science",
           volume = "982",
           pages = "1-23",
            year = "1995"}