Normal view MARC view ISBD view

Logic-Based Program Synthesis and Transformation (Record no. 63190)

MARC details
000 -LEADER
fixed length control field	03826nam a22005055i 4500
001 - CONTROL NUMBER
control field	978-3-031-71294-4
003 - CONTROL NUMBER IDENTIFIER
control field	DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20251030112944.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field	cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	240907s2024 sz \| s \|\|\|\| 0\|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783031712944
--	978-3-031-71294-4
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code	10.1007/978-3-031-71294-4
Source of number or code	doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA75.5-76.95
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UYA
Source	bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code	COM014000
Source	bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UYA
Source	thema
245 10 - TITLE STATEMENT
Title	Logic-Based Program Synthesis and Transformation
Medium	[electronic resource] :
Remainder of title	34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Statement of responsibility, etc.	edited by Juliana Bowles, Harald Søndergaard.
250 ## - EDITION STATEMENT
Edition statement	1st ed. 2024.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture	Cham :
Name of producer, publisher, distributor, manufacturer	Springer Nature Switzerland :
--	Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice	2024.
300 ## - PHYSICAL DESCRIPTION
Extent	XVI, 241 p. 57 illus., 19 illus. in color.
Other physical details	online resource.
336 ## - CONTENT TYPE
Content type term	text
Content type code	txt
Source	rdacontent
337 ## - MEDIA TYPE
Media type term	computer
Media type code	c
Source	rdamedia
338 ## - CARRIER TYPE
Carrier type term	online resource
Carrier type code	cr
Source	rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type	text file
Encoding format	PDF
Source	rda
490 1# - SERIES STATEMENT
Series statement	Lecture Notes in Computer Science,
International Standard Serial Number	1611-3349 ;
Volume/sequential designation	14919
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note	-- Synthesis and Transformation. -- Parallel Assembly Synthesis. -- Improving Logic Programs by Adding Functions. -- Decision Procedures. -- Deciding Knowledge Problems Modulo Classes of Permutative Theories. -- Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. -- Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. -- A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. -- Deployment. -- Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. -- Specification, Refactoring and Testing. -- An Axiomatic Category-Based Access Control Model for Smart Homes. -- Towards Specification-Guarded Refactoring. -- Impact and Performance of Randomized Test-Generation Using Prolog. -- Term and Graph Rewriting. -- Proving Uniqueness of Normal Forms wrt Reduction of Term Rewriting Systems. -- Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. -- Introducing Quantification into a Hierarchical Graph Rewriting Language. -- Introducing Quantification into a Hierarchical Graph Rewriting Language.
520 ## - SUMMARY, ETC.
Summary, etc.	This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	58552
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element
9 (RLIN)	68173
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Bowles, Juliana.
Relator term	editor.
Authority record control number	(orcid)0000-0002-5918-9114
--	https://orcid.org/0000-0002-5918-9114
Relator code	edt
--	http://id.loc.gov/vocabulary/relators/edt
9 (RLIN)	83920
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Søndergaard, Harald.
Relator term	editor.
Authority record control number	(orcid)0000-0002-2352-1883
--	https://orcid.org/0000-0002-2352-1883
Relator code	edt
--	http://id.loc.gov/vocabulary/relators/edt
9 (RLIN)	83921
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element	SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title	Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information	Printed edition:
International Standard Book Number	9783031712937
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information	Printed edition:
International Standard Book Number	9783031712951
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture Notes in Computer Science,
International Standard Serial Number	1611-3349 ;
Volume number/sequential designation	14919
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	<a href="https://doi.org/10.1007/978-3-031-71294-4">https://doi.org/10.1007/978-3-031-71294-4</a>
912 ## -
--	ZDB-2-SCS
912 ## -
--	ZDB-2-SXCS
912 ## -
--	ZDB-2-LNC

No items available.