Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025. The 30 full...

Celý popis

Uložené v:
Podrobná bibliografia
Médium: E-kniha
Jazyk:English
Vydavateľské údaje: Cham Springer Nature 2025
Edícia:Lecture Notes in Computer Science
Predmet:
abstract interpretation
Compilers and interpreters
Computer programming / software engineering
Computing and Information Technology
dependent types
effects
functional programming
program analysis
program synthesis
Programming and scripting languages: general
quantum programming
semantics
session types
verification
ISBN:9783031911170, 3031911180, 9783031911187, 3031911172
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025. The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 submissions. The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation, concurrency and districution; and applications and emerging topics.
AbstractList The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025. The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 submissions. The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation, concurrency and districution; and applications and emerging topics.
BookMark eNpNj81KxDAUhQMqqGMfQHAxPkD03qRJ2o0gg6NCQUFxG27zU6rTZmh0MW9vh3Hh6ly-C9_hnLPjMY2BsUuEGwQwt7WpuOQgkdeIWHFzxIqZyZnsgYFTVuT8CQCyRKHL6oxdv06pm2gY-rFbNjR2P9SFvKTRL992-TsM-YKdRNrkUPzlgn2sH95XT7x5eXxe3TecBMJc5rwija32VPqIDrWsXHR1NF6riJVBFWOQUraiVk6EVgutnfKl8Uqjplou2N1BnGgbRrud-oGmnU3U203fTod7_0lTZwVYBWDnFcrYuV_rahZc_Rf4RG1KX9miqkuh5C-v3lQz
ContentType eBook
DBID V1H
A7I
DOI 10.1007/978-3-031-91118-7
DatabaseName DOAB: Directory of Open Access Books
OAPEN
DatabaseTitleList

Database_xml – sequence: 1
  dbid: V1H
  name: DOAB: Directory of Open Access Books
  url: https://directory.doabooks.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Editor Vafeiadis, Viktor
Editor_xml – sequence: 1
  fullname: Vafeiadis, Viktor
ExternalDocumentID oai_library_oapen_org_20_500_12657_101668
159425
GroupedDBID A7I
AABBV
AAJRB
AALJR
AAQKC
ADQWV
ADRBI
AEDXK
AEKFX
AEOWI
AGHUY
AGWHU
AIQUZ
ALMA_UNASSIGNED_HOLDINGS
ALNDD
BBABE
CZZ
EIXGO
IEZ
SBO
TPJZQ
TSXQS
V1H
Z83
ABEEZ
ID FETCH-LOGICAL-a21018-cd5a61b6da4df1c1638cfc9f7d65f18715ffe333b295c2eb6266c5d47d5616a93
IEDL.DBID V1H
ISBN 9783031911170
3031911180
9783031911187
3031911172
IngestDate Mon Dec 01 21:26:58 EST 2025
Tue Oct 07 20:23:52 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a21018-cd5a61b6da4df1c1638cfc9f7d65f18715ffe333b295c2eb6266c5d47d5616a93
OpenAccessLink https://directory.doabooks.org/handle/20.500.12854/159425
PageCount 438
ParticipantIDs oapen_primary_oai_library_oapen_org_20_500_12657_101668
oapen_doabooks_159425
PublicationCentury 2000
PublicationDate 2025
PublicationDateYYYYMMDD 2025-01-01
PublicationDate_xml – year: 2025
  text: 2025
PublicationDecade 2020
PublicationPlace Cham
PublicationPlace_xml – name: Cham
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationYear 2025
Publisher Springer Nature
Publisher_xml – name: Springer Nature
SSID ssj0003412648
Score 2.4441948
Snippet The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part...
SourceID oapen
SourceType Publisher
SubjectTerms abstract interpretation
Compilers and interpreters
Computer programming / software engineering
Computing and Information Technology
dependent types
effects
functional programming
program analysis
program synthesis
Programming and scripting languages: general
quantum programming
semantics
session types
verification
Subtitle 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I
Title Programming Languages and Systems
URI https://directory.doabooks.org/handle/20.500.12854/159425
https://library.oapen.org/handle/20.500.12657/101668
Volume 15694
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEA7aevBUHxXro6zgNbqbd85iqVBKD1J6W_IED25LW_39Tna3pQiePGYHAjObzCsz3yD06ExgEGUwXFiITZjkDltLBXYycrAHkcYarHo-kdOpWiz07GDUV6PIl6mqeWmSn7mpn_MbyAGI1J94nhARFGfPYIjhwB2jLoQ4IlVzzYvxPr0CyjnVbqVujtSnAzdakoOFauGe9sRfayV3L6AtCC3FQKk1g8IyDUcyq1AdWKJR7x88nKFuSK0N5-goVBeotxvokLX3-xI9zJpqrU-wZ9mkzWRuMtgxa5HN-2g-en1_GeN2hgI2JIFxYee5EYUV3jAfC5fcLxedjtILHoHPgscYKKWWaO5IsBDgCMc9kx48K2E0vUKdalmFa5RJwbjRefQhKmaJsprmuSeOgpMXKNMD1K_FUu7YLhv2Bkg231cNgEaZIK3bJFXZUEA-JclLEEwJ_43LuvJMqJs_drxFpyTN4a1TIXeos11_hXt04r63H5v1EPxj-Tasz8MP8jirVw
linkProvider Open Access Publishing in European Networks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Programming+Languages+and+Systems&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2025-01-01&rft.pub=Springer+Nature&rft.isbn=9783031911170&rft_id=info:doi/10.1007%2F978-3-031-91118-7&rft.externalDBID=V1H&rft.externalDocID=159425
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031911170/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031911170/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031911170/sc.gif&client=summon&freeimage=true