語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logic-Based Program Synthesis and Transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Logic-Based Program Synthesis and Transformation/ edited by Alicia Villanueva.
其他題名:
32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings /
其他作者:
Villanueva, Alicia.
面頁冊數:
XIII, 155 p. 31 illus., 16 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Computer Science Logic and Foundations of Programming. -
電子資源:
https://doi.org/10.1007/978-3-031-16767-6
ISBN:
9783031167676
Logic-Based Program Synthesis and Transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings /
Logic-Based Program Synthesis and Transformation
32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings /[electronic resource] :edited by Alicia Villanueva. - 1st ed. 2022. - XIII, 155 p. 31 illus., 16 illus. in color.online resource. - Lecture Notes in Computer Science,134741611-3349 ;. - Lecture Notes in Computer Science,9324.
Testing for Robotic Systems -- Automated Termination and Complexity Analysis -- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting -- Gonnord Confluence Framework: Proving Confluence with CONFident -- Variant-based Equational Anti-unification -- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs -- Building a Join-Optimizer for Souffl´e -- From Infinity to Choreographies: Extraction for Unbounded Systems -- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming -- On Correctness of Normal Logic Programs.
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
ISBN: 9783031167676
Standard No.: 10.1007/978-3-031-16767-6doiSubjects--Topical Terms:
1365757
Computer Science Logic and Foundations of Programming.
LC Class. No.: QA75.5-76.95
Dewey Class. No.: 004.0151
Logic-Based Program Synthesis and Transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings /
LDR
:02509nam a22004095i 4500
001
1083029
003
DE-He213
005
20220910170002.0
007
cr nn 008mamaa
008
221228s2022 sz | s |||| 0|eng d
020
$a
9783031167676
$9
978-3-031-16767-6
024
7
$a
10.1007/978-3-031-16767-6
$2
doi
035
$a
978-3-031-16767-6
050
4
$a
QA75.5-76.95
072
7
$a
UYA
$2
bicssc
072
7
$a
COM051000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
004.0151
$2
23
245
1 0
$a
Logic-Based Program Synthesis and Transformation
$h
[electronic resource] :
$b
32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings /
$c
edited by Alicia Villanueva.
250
$a
1st ed. 2022.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
XIII, 155 p. 31 illus., 16 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Lecture Notes in Computer Science,
$x
1611-3349 ;
$v
13474
505
0
$a
Testing for Robotic Systems -- Automated Termination and Complexity Analysis -- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting -- Gonnord Confluence Framework: Proving Confluence with CONFident -- Variant-based Equational Anti-unification -- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs -- Building a Join-Optimizer for Souffl´e -- From Infinity to Choreographies: Extraction for Unbounded Systems -- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming -- On Correctness of Normal Logic Programs.
520
$a
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
650
1 4
$a
Computer Science Logic and Foundations of Programming.
$3
1365757
650
0
$a
Computer science.
$3
573171
700
1
$a
Villanueva, Alicia.
$e
editor.
$1
https://orcid.org/0000-0003-1090-5009
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1388907
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783031167669
776
0 8
$i
Printed edition:
$z
9783031167683
830
0
$a
Lecture Notes in Computer Science,
$x
0302-9743 ;
$v
9324
$3
1258960
856
4 0
$u
https://doi.org/10.1007/978-3-031-16767-6
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
912
$a
ZDB-2-LNC
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入