Cover Image

QR Code

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepte...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Hanus, Michael. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sacerdoti Coen, Claudio. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Theoretical Computer Science and General Issues ; 12560
Subjects:	Computer logic. Computer programming. Computer hardware. Mathematical logic. Architecture, Computer. Special purpose computers. Logics and Meanings of Programs. Programming Techniques. Computer Hardware. Mathematical Logic and Formal Languages. Computer System Implementation. Special Purpose and Application-Based Systems.
Online Access:	https://doi.org/10.1007/978-3-030-75333-7

Similar Items

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Published: (2017)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Published: (2016)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.
Published: (2015)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
Published: (2018)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur.
Published: (2013)

Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol.
Published: (2007)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
Published: (2008)

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07 / edited by Eugenio Villar.
Published: (2008)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings / edited by Fernando Rincón, Jesús Barba, Hayden K. H. So, Pedro Diniz, Julián Caba.
Published: (2020)

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Published: (2019)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.
Published: (2019)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
Published: (2016)

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers / edited by Josep Silva.
Published: (2019)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Ingredients for Successful System Level Design Methodology by Hiren D. Patel, Sandeep Kumar Shukla.
by: Patel, Hiren D., et al.
Published: (2008)

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.
Published: (2020)

Logics in Artificial Intelligence 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / edited by Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak.
Published: (2021)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Narayan Desai.
Published: (2018)

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings / edited by Jérôme Durand-Lose, Maurice Margenstern.
Published: (2007)

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
Published: (2018)

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / edited by Ming Liu, Haoyao Chen, Markus Vincze.
Published: (2017)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / edited by Natasha Sharygina, Helmut Veith.
Published: (2013)

Dynamic Logic. New Trends and Applications Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / edited by Luís Soares Barbosa, Alexandru Baltag.
Published: (2020)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings / edited by Jean-Francois Raskin, P.S. Thiagarajan.
Published: (2007)

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / edited by Frédéric Lang, Francesco Flammini.
Published: (2014)

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun.
Published: (2018)

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / edited by Chao Li, Junjie Wu.
Published: (2018)

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch.
Published: (2018)

Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / edited by Maribel Fernández.
Published: (2021)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Stefania Gnesi, Arend Rensink.
Published: (2014)

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Perdita Stevens, Andrzej Wąsowski.
Published: (2016)

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer.
Published: (2015)

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman.
Published: (2016)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski.
Published: (2014)

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.
Published: (2015)

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.
Published: (2017)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / edited by Einar Broch Johnsen, Luigia Petre.
Published: (2013)

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston.
Published: (2007)

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.
Published: (2008)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet.
Published: (2021)