Omslagsbillede

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /

Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Saved in:

Bibliografiske detaljer
Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Hermenegildo, Manuel V. (Editor), Morales, José F. (Editor)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Udgivelse:	1st ed. 2023.
Serier:	Lecture Notes in Computer Science, 14284
Fag:	Computer science. Computer engineering. Computer networks . Natural language processing (Computer science). Machine theory. Compilers (Computer programs). Computer Science Logic and Foundations of Programming. Computer Engineering and Networks. Natural Language Processing (NLP). Formal Languages and Automata Theory. Compilers and Interpreters.
Online adgang:	https://doi.org/10.1007/978-3-031-44245-2
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

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

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

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

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Udgivet: (2023)

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

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

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

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

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

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Udgivet: (2023)

Programming Languages: Principles and Paradigms
af: Gabbrielli, Maurizio, et al.
Udgivet: (2023)

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

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings /
Udgivet: (2025)

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

Compiler Construction Fundamentals and Applications /
af: Mössenböck, Hanspeter
Udgivet: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Udgivet: (2023)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Udgivet: (2024)

Formal Analysis for Natural Language Processing: A Handbook
af: Feng, Zhiwei
Udgivet: (2023)

Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers /
Udgivet: (2023)

Design Patterns with Java An Introduction /
af: Musch, Olaf
Udgivet: (2023)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Udgivet: (2025)

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Udgivet: (2025)

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

Chinese Computational Linguistics 22nd China National Conference, CCL 2023, Harbin, China, August 3–5, 2023, Proceedings /
Udgivet: (2023)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Udgivet: (2025)

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers /
Udgivet: (2024)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 17th International Conference, NooJ 2023, Zadar, Croatia, May 31–June 2, 2023, Revised Selected Papers /
Udgivet: (2024)

Genetic Programming 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings /
Udgivet: (2023)

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

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Udgivet: (2024)

Introduction to Compiler Design
af: Mogensen, Torben Ægidius
Udgivet: (2024)

Investigations in Entity Relationship Extraction
af: Pawar, Sachin Sharad, et al.
Udgivet: (2023)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers /
Udgivet: (2025)

Guide to Java A Concise Introduction to Programming /
af: Streib, James T., et al.
Udgivet: (2023)

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

The Essence of Compilers /
af: Hunter, Robin
Udgivet: (2007)

The Essence of Compilers /
af: Hunter, Robin
Udgivet: (2007)

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

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