Skip to main content
SpringerLink
Log in

Composability, Comprehensibility and Correctness of Working Software

8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Zoltán Porkoláb

    1. Eötvös Loránd University, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Viktória Zsók

    1. Eötvös Loránd University, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11950)

Included in the following conference series:

Conference proceedings info: CEFP 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Main Lectures

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Writing Internet of Things Applications with Task Oriented Programming

      • Mart Lubbers, Pieter Koopman, Rinus Plasmeijer
      Pages 3-52

    3. Paint Your Programs Green: On the Energy Efficiency of Data Structures

      • Rui Pereira, Marco Couto, Jácome Cunha, Gilberto Melfe, João Saraiva, João Paulo Fernandes
      Pages 53-76

    4. Energy Efficient Software in an Engineering Course

      • João Saraiva, Rui Pereira
      Pages 77-97

    5. Utilizing Rail Traffic Control Simulator in Verified Software Development Courses

      • Štefan Korečko
      Pages 98-135

    6. The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources

      • Tihana Galinac Grbac, Nikola Domazet
      Pages 136-164

    7. Towards Better Tool Support for Code Comprehension

      • Tibor Brunner, Máté Cserép, Anett Fekete, Mónika Mészáros, Zoltán Porkoláb
      Pages 165-201

    8. Balanced Distributed Computation Patterns

      • Jianhao Li, Yuri Kim, Viktória Zsók
      Pages 202-321

  3. PhD Workshop

    1. Front Matter

      Pages 323-323
      Download chapter PDF

    2. Tunnel Parsing

      • Nikolay Handzhiyski, Elena Somova
      Pages 325-343

    3. Finding Code Clone Refactoring Techniques by Mapping Clone Context

      • Simon Baars, Ana Oprescu
      Pages 344-357

    4. Code Quality Metrics for Functional Features in Modern Object-Oriented Languages

      • Bart Zuilhof, Rinse van Hees, Clemens Grelck
      Pages 358-374

    5. An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms

      • Gonçalo Lopes, João Paulo Fernandes, Luís Paquete
      Pages 375-391

  4. Back Matter

    Pages 393-393
    Download chapter PDF
Back to top

Other volumes

  1. Composability, Comprehensibility and Correctness of Working Software

Keywords

About this book

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.

The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.


Editors and Affiliations

  • Eötvös Loránd University, Budapest, Hungary

    Zoltán Porkoláb, Viktória Zsók

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation