Tools and Methods of Program Analysis : 5th international conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, revised selected papers.

Tools and Methods of Program Analysis : 5th international conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, revised selected papers.

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed...

Full description

Saved in:

Bibliographic Details
Main Author:	Kalenkova, Anna
Other Authors:	Lozano, Jose A., Yavorskiy, Rostislav
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing AG, 2021.
Series:	Communications in computer and information science.
Subjects:	Software engineering. Artificial intelligence. Computers. Computer organization. Programming languages (Electronic computers) artificial intelligence. computers. Artificial intelligence Computer organization Computers Software engineering Electronic books. proceedings (reports) Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

Similar Items

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Published: (2019)

Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
Published: (2020)

Supervised learning with Python : concepts and practical implementation using Python
by: Verdhan, Vaibhav
Published: (2020)

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Published: (2017)

Applied computer sciences in engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020, Proceedings
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Published: (2018)

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Published: (2018)

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Published: (2019)

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Published: (2017)

Quantum machine learning with Python : using Cirq from Google Research and IBM Qiskit
by: Pattanayak, Santanu
Published: (2021)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published: (2019)

Sustainable Intelligent Systems
Published: (2021)

Programming languages and systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, proceedings
Published: (2020)

Systems modelling and management : First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings
Published: (2020)

Analysis and Visualization Tools for Constraint Programming Constraint Debugging
Published: (2000)

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Published: (2017)

Practical Java® programming for IoT, AI, and Blockchain
by: Xiao, Perry
Published: (2019)

Emerging Artificial Intelligence Applications in Computer Engineering : Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies.
by: Maglogiannis, I.
Published: (2007)

Multi-Agent Programming Languages, Platforms and Applications
Published: (2005)

Extensions of Logic Programming Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
Published: (1993)

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Published: (2017)

Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings
Published: (2021)

Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
Published: (2001)

Conclog: A Methodological Approach to Concurrent Logic Programming
by: Jacquet, Jean-Marie
Published: (1991)

Constraint Programming: Basics and Trends 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers
Published: (1995)

Programming Languages Implementation and Logic Programming International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
Published: (1989)

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Published: (2019)

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Published: (2018)

Functional Programming, Concurrency, Simulation and Automated Reasoning International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Published: (1993)

Proceedings of International Conference on Recent Innovations in Computing : ICRIC 2022. Volume 2
Published: (2023)

Ensemble learning for AI developers : learn bagging, stacking, and boosting methods with use cases
by: Kumar, Alok, et al.
Published: (2020)

Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings
Published: (1999)

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Published: (2018)

Static analysis : 27th International Symposium, SAS 2020, virtual event, November 18-20, 2020, proceedings
Published: (2020)

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Published: (2019)

Semirings for Soft Constraint Solving and Programming
by: Bistarelli, Stefano
Published: (2004)

C++ Programming Fundamentals
by: Malhotra, D.
Published: (2022)