this book constitutes the revised selected papers of the 10thinternationalsymposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. the 19 full papers and three invited ...
详细信息
ISBN:
(数字)9783319076027
ISBN:
(纸本)9783319076010
this book constitutes the revised selected papers of the 10thinternationalsymposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. the 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. the papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
this book constitutes the refereed conference proceedings of the 20thinternational Workshop on functional and Constraint logicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th Interna...
详细信息
ISBN:
(数字)9783642225314
ISBN:
(纸本)9783642225307
this book constitutes the refereed conference proceedings of the 20thinternational Workshop on functional and Constraint logicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13thinternationalsymposium on Principles and Practice of Declarative programming (PPDP 2011), the 22st internationalsymposium on logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4thinternational Workshop on Approaches and Applications of Inductive programming (AAIP 2011).
From the 10 papers submitted, 9 were accepted for presentation the proceeding. the papers cover current research in all areas of functional and logicprogramming as well as the integration of constraint logic and object-oriented programming, and term rewriting.
暂无评论