000 | 01711nam a2200265 a 4500 | ||
---|---|---|---|
001 | 53332 | ||
003 | 0000000000 | ||
005 | 20240411195500.0 | ||
008 | 230612n s 000 0 eng d | ||
020 | _a 978-3-031-30044-8 | ||
022 | _a1611-3349 | ||
245 | 1 | 0 |
_aProgramming Languages and Systems _h[electronic resource] : _b32nd 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 / _cEdited by Thomas Wies. |
260 |
_aCham, Switzerland : _bSpringer, _c2023. |
||
300 | _a1 online resource. | ||
520 | _aThis 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. | ||
650 | 7 |
_aComputer programming. _2sears |
|
650 | 7 |
_aComputer science. _2sears |
|
650 | 7 |
_aData structures (Computer science) _2sears |
|
650 | 7 |
_aLogic design. _2sears |
|
650 | 7 |
_aProgramming languages (Electronic computers) _2sears |
|
650 | 7 |
_aSoftware engineering. _2sears |
|
700 | 1 |
_aWies, Thomas, _eEditor. |
|
856 | _uhttps://drive.google.com/file/d/1cAkGaCfXWQAueimwbJtzTIWjQ12OGuW7/view?usp=sharing | ||
999 |
_c17932 _d17932 |