國立高雄大學圖資館 |

Language: English

Back

Programming languages and systems33rd 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 II /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Programming languages and systemsedited by Stephanie Weirich.
Reminder of title:	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.
remainder title:	ESOP 2024
other author:	Weirich, Stephanie.
corporate name:
Published:	Cham :Springer Nature Switzerland :2024.
Description:	xvi, 452 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer programmingCongresses.
Online resource:	https://doi.org/10.1007/978-3-031-57267-8
ISBN:	9783031572678$q(electronic bk.)

Programming languages and systems33rd 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 II /
Programming languages and systems33rd 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 II /[electronic resource] :ESOP 2024edited by Stephanie Weirich. - Cham :Springer Nature Switzerland :2024. - xvi, 452 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,145771611-3349 ;. - Lecture notes in computer science ;4891..

Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping -- Verification -- A Denotational Approach to Release/Acquire Concurrency -- Intel PMDK Transactions: Specification, Validation and Concurrency -- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake -- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages -- Higher-Order LCTRSs andTheir Termination -- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture -- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation -- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.

Open access.

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.

ISBN: 9783031572678$q(electronic bk.)

Standard No.: 10.1007/978-3-031-57267-8doiSubjects--Topical Terms:

384564
Computer programming
--Congresses.

LC Class. No.: QA76.6

Dewey Class. No.: 005.1

Programming languages and systems33rd 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 II /
LDR:03212nmm a2200373 a 4500 001 664549
003 DE-He213
005 20240405125357.0
006 m d
007 cr nn 008maaau
008 241219s2024 sz s 0 eng d
020 $a 9783031572678$q(electronic bk.)
020 $a 9783031572661$q(paper)
024 7 $a 10.1007/978-3-031-57267-8 $2 doi
035 $a 978-3-031-57267-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6
072 7 $a UMX $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a UMX $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.6 $b .E89 2024
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Programming languages and systems $h [electronic resource] : $b 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. $n Part II / $c edited by Stephanie Weirich.
246 3 $a ESOP 2024
246 3 $a ETAPS 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xvi, 452 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14577
505 0 $a Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping -- Verification -- A Denotational Approach to Release/Acquire Concurrency -- Intel PMDK Transactions: Specification, Validation and Concurrency -- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake -- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages -- Higher-Order LCTRSs andTheir Termination -- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture -- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation -- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.
506 $a Open access.
520 $a 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.
650 0 $a Computer programming $v Congresses. $3 384564
650 0 $a Programming languages (Electronic computers) $3 184586
650 1 4 $a Programming Language. $3 913494
650 2 4 $a Compilers and Interpreters. $3 914937
700 1 $a Weirich, Stephanie. $3 977239
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-57267-8
950 $a Computer Science (SpringerNature-11645)