Atsushi Igarashi - Böcker
Visar alla böcker från författaren Atsushi Igarashi. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 13215 - Lecture Notes in Computer Science
Functional and Logic Programming
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Häftad, Engelska, 2022
715 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Del 10017 - Lecture Notes in Computer Science
Programming Languages and Systems
14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Häftad, Engelska, 2016
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi;
Programming Languages and Systems
10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
Häftad, Engelska, 2012
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.
Concurrent Objects and Beyond
Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Häftad, Engelska, 2014
551 kr
Skickas inom 10-15 vardagar
This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.