Logic-based program synthesis and transformation : 20th intern. symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 revised selected papers / ed. Maria Alpuente. - [Berlin ; Heidelberg] : Springer, [2011]. - x, 248 p. : fig. ; 24 cm.см.. - (Lecture notes in computer science (LNCS), ISSN 0302-9743 ; 6564). - Bibliogr. after chap. a. in the text notes. - ISBN 978-3-642-20550-7; ISBN 978-3-642-20551-4[MFN: 30302]
Content: Three syntactic theories for combinatory graph reduction/Olivier Danvy a. Ian Zerny; Analysis of air traffic track data with the autoBayes synthesis system/Johann Schumann, Karen Cate, a. Alan Lee; Proving with ACL2 the correctness of simplicial sets in the Kenzo system/Jonathan Heras, Vico Pascual, a. Julio Rubio; Graph generation to statically represent CSP processes/Marisa Llorens, Javier Oliver, Josep Silva, a. Salvador Tamarit; Verification of the Schorr-Waite algorithm - from trees to graphs/Mathieu Giorgino, Martin Strecker, Ralph Matthes, a. Marc Pantel [et al.]
UDC: 004 + 004.312 + 681.51 + 519.1 + 519.6
• Alpuente, Maria (ed.); Kutsia, Temur (conference chair);
Subjects:
- ინფორმაციული ტექნოლოგიები; კომპიუტერული პროგრამები; ლოგიკური პროგრამები; კომბინატორული ანალიზი; ალგორითმები;
E 27.166/4 - General Stock
E 27.167/4 - General Stock
* Double: Logic-based program synthesis and transformation