Programming Languages and Systems [electronic resource] : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / Edited by Thomas Wies.

Contributor(s):

Wies, Thomas [Editor.]

Material type: Text

TextPublication details: Cham, Switzerland : Springer, 2023.Description: 1 online resourceISBN:

978-3-031-30044-8

ISSN:

1611-3349

Subject(s):

Online resources:

Click here to access online

Summary: This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Resources	Main Library E-Resources	005.1 P964 (Browse shelf(Opens below))	Available		E004795

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

There are no comments on this title.

to post a comment.

Programming Languages and Systems [electronic resource] : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / Edited by Thomas Wies.

Branches :