An Initial−Algebra Approach to Directed Acyclic Graphs

The initial-algebra approach to modelling datatypes consists of giving constructors\\/ for building larger objects of that type from smaller ones, and laws\\/ identifying different ways of constructing the same object. The recursive decomposition of objects of the datatype leads directly to a recu...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक: Gibbons, J
स्वरूप: Conference item
प्रकाशित: Springer−Verlag 1995

समान संसाधन