|
Showing 1 - 4 of
4 matches in All Departments
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.
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.
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.
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;
domain-specific languages; compilers, interpreters, and abstract
machines; program derivation, synthesis and transformation; program
analysis, verification, and model-checking; logic, constraint,
probabilistic and quantum programming; software security;
concurrency and parallelism; tools for programming and
implementation.
|
|