Imagem da capa

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024. The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under t...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Kiselyov, Oleg (Editor)
Formato:	Recurso Eletrônico livro eletrônico
Idioma:	inglês
Publicado em:	Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Edição:	1st ed. 2025.
coleção:	Lecture Notes in Computer Science, 15194
Assuntos:	Compilers (Computer programs). Computer programming. Computer science. Artificial intelligence. Compilers and Interpreters. Programming Techniques. Theory of Computation. Artificial Intelligence.
Acesso em linha:	https://doi.org/10.1007/978-981-97-8943-6
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Publicado em: (2023)

Programming Languages: Principles and Paradigms
por: Gabbrielli, Maurizio, et al.
Publicado em: (2023)

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings /
Publicado em: (2025)

Introduction to Compiler Design
por: Mogensen, Torben Ægidius
Publicado em: (2024)

Learn coding with Python and JavaScript A practical introduction for beginners /
por: Zuckarelli, Joachim L.
Publicado em: (2024)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
por: Aho, Alfred V.

The Essence of Compilers /
por: Hunter, Robin
Publicado em: (2007)

The Essence of Compilers /
por: Hunter, Robin
Publicado em: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
por: Aho, Alfred V.

The Essence of Compilers /
por: Hunter, Robin
Publicado em: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
por: Aho, Alfred V.

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Publicado em: (2023)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Publicado em: (2025)

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Publicado em: (2023)

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Publicado em: (2025)

Guide to Java A Concise Introduction to Programming /
por: Streib, James T., et al.
Publicado em: (2023)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Publicado em: (2024)

Design Patterns with Java An Introduction /
por: Musch, Olaf
Publicado em: (2023)

Advanced Guide to Python 3 Programming
por: Hunt, John
Publicado em: (2023)

A Beginners Guide to Python 3 Programming
por: Hunt, John
Publicado em: (2023)

Modern compiler design
por: Grune, Dick
Publicado em: (2000)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Publicado em: (2023)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Publicado em: (2023)

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings /
Publicado em: (2024)

Compiler Construction Fundamentals and Applications /
por: Mössenböck, Hanspeter
Publicado em: (2025)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Publicado em: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Publicado em: (2024)

AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings /
Publicado em: (2025)

AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Publicado em: (2023)

AIxIA 2022 – Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings /
Publicado em: (2023)

Prolog programming for artificial intelligence
por: Bratko, Ivan
Publicado em: (2001)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Publicado em: (2024)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Publicado em: (2025)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Publicado em: (2023)

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Publicado em: (2024)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Publicado em: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Publicado em: (2023)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Publicado em: (2024)

Compilers : Principles , Techniques , and Tool /
por: Aho, Alfred V.
Publicado em: (2017)

Compilers : Principles , Techniques , and Tool /
por: Aho, Alfred V.
Publicado em: (2017)