Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full pap...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Weirich, Stephanie
Médium: E-kniha
Jazyk:angličtina
Vydáno: Cham Springer Nature 2024
Springer International Publishing AG
Vydání:1
Edice:Lecture Notes in Computer Science
Témata:
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:9783031572616, 3031572610, 3031572629, 9783031572623
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
AbstractList The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
Author Weirich, Stephanie
Author_xml – sequence: 1
  fullname: Weirich, Stephanie
BookMark eNpVjbtPwzAQh414CCgVMxJD2FgCfsUPJAaIeEkVRQKxWhfHjgJNXOx26H9PShlgurvvvt_dIdrpQ-8QOiH4gmAsL7VUOcsxI3khqaA520LjgbGB_AC2_W8mYg8dT8vnq4xwqqkSqij20TilD4wxo5gSSQ_Q2UsMTYSua_smm0DfLKFxKYO-zl5XaeG6dIR2PcySG__WEXq_v3srH_PJ9OGpvJnkQLnAJBcUfK1r7FmlsOWqUrYAZ2uwXsjaclJoqr0g4JS2jEuhJVjFvR9EWVeejdD55vA8hq-lSwvjqhA-resXEWbm7rZkhCqilBjU640aYO56M49tB3FlArRm1lZx0683ITaGYlNgbAgVhTQac8aH_OnffB1g_SkZwhRjmn0D29douQ
ContentType eBook
DBID V1H
A7I
DOI 10.1007/978-3-031-57262-3
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
EISBN 9783031572623
3031572629
Edition 1
Editor Weirich, Stephanie
Editor_xml – sequence: 1
  fullname: Weirich, Stephanie
ExternalDocumentID EBC31281886
oai_library_oapen_org_20_500_12657_90434
138339
GroupedDBID A7I
AABBV
AACKP
AAHEH
AAKKN
AALJR
AAQKC
ABEEZ
ABHYI
ABLGM
ADZDO
AEDXK
AEIVC
AEKFX
AFIJG
AGWHU
AIQUZ
ALMA_UNASSIGNED_HOLDINGS
ALNDD
BBABE
CZZ
EIXGO
IEZ
SBO
TPJZQ
TSXQS
V1H
Z7R
Z7S
Z7U
Z7X
Z7Y
Z7Z
Z81
Z83
Z85
Z87
Z88
ID FETCH-LOGICAL-a24601-62afd9d0f3b80c48b8c5aecdacf67dc415929f61ae89c347697ac84ffb8c7dbf3
IEDL.DBID V1H
ISBN 9783031572616
3031572610
3031572629
9783031572623
IngestDate Fri May 30 22:19:43 EDT 2025
Mon Dec 01 21:25:06 EST 2025
Tue Oct 07 22:42:44 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident QA76.76.C65
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a24601-62afd9d0f3b80c48b8c5aecdacf67dc415929f61ae89c347697ac84ffb8c7dbf3
OCLC OCN: 1429286855
1429286855
OpenAccessLink https://directory.doabooks.org/handle/20.500.12854/138339
PQID EBC31281886
PageCount 340
ParticipantIDs proquest_ebookcentral_EBC31281886
oapen_primary_oai_library_oapen_org_20_500_12657_90434
oapen_doabooks_138339
PublicationCentury 2000
PublicationDate 2024
PublicationDateYYYYMMDD 2024-01-01
PublicationDate_xml – year: 2024
  text: 2024
PublicationDecade 2020
PublicationPlace Cham
PublicationPlace_xml – name: Cham
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationYear 2024
Publisher Springer Nature
Springer International Publishing AG
Publisher_xml – name: Springer Nature
– name: Springer International Publishing AG
SSID ssj0003202172
Score 2.3836308
Snippet The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held...
SourceID proquest
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 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
Title Programming Languages and Systems
URI https://directory.doabooks.org/handle/20.500.12854/138339
https://library.oapen.org/handle/20.500.12657/90434
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=31281886
Volume 14576
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFA-6efA0PybOj9GB12iapEl6dWxMkLGDjN1CmibgwW1s07_fl6YdE_HkpZC-kpKXNC-_917fD6GHwhJX5qXDqacCAIpiuDCMYjD9lDqniHBFRTYhp1O1WOSzA6qvuJGvQlbzyoRz5rYK58eSA4DUHzMSKiKojD-lAK5YfozaAHFEyOaap5O9eyXQgoNtDn9zBB4DCUCBHDRoHovv7IXiZ5uyJgJaF6FlGCS4EmEWyJHM2i1_7d-VURp3_jGcM9R24S-Hc3Tklheo03A7JPWnfokGs5i49QGmLXmtnZrbBHpM6iLnXTQfj96GE1zTKWBDOeAuLKjxMC_Es0IRy1WhbGacLY31QpYWTDmclbxIjVO5ZVyKXBqruPfwoCwLz65Qa7laumuUFLT03mcBLhYc-oILbBUKJrwEq6tUD3UrDelm2DoOr4dEvL-OtTR0qG5d-6t0lIB-NCUaFKNTKjKpc8IZ76FBo2pdhZHr3FU9eh6yEA1UStz88dJbdAqrgUfHyR1q7Taf7h6d2K_d-3bTh9O0fOlXq-cb6LS8cA
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=2024-01-01&rft.pub=Springer+Nature&rft.isbn=9783031572623&rft_id=info:doi/10.1007%2F978-3-031-57262-3&rft.externalDBID=V1H&rft.externalDocID=138339
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031572616/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031572616/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031572616/sc.gif&client=summon&freeimage=true