Logic-based program synthesis and transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, proceedings (English)
- New search for: LOPSTR
- Further information on LOPSTR:
- http://d-nb.info/gnd/125452102X
- New search for: De Angelis, Emanuele
- New search for: Vanhoof, Wim
- New search for: LOPSTR
- Further information on LOPSTR:
- http://d-nb.info/gnd/125452102X
2022
-
ISBN:
- Conference Proceedings / Print
-
Title:Logic-based program synthesis and transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, proceedings
-
Contributors:
-
Conference:LOPSTR ; 31 ; 2021 ; Tallinn; Online
International Symposium on Logic-Based Program Synthesis and Transformation ; 31 ; 2021 ; Tallinn; Online -
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2022
-
Size:viii, 175 Seiten
-
Remarks:24 cm
illustrations
Konferenz fand in hybrider Form statt -
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Print
-
Language:English
- New search for: 005.115
- Further information on Dewey Decimal Classification
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
String Abstract Domains and Their CombinationSøndergaard, Harald et al. | 2022
- 16
-
Data Type Inference for Logic ProgrammingBarbosa, João / Florido, Mário / Costa, Vítor Santos et al. | 2022
- 38
-
Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract MachinesBuszka, Maciej / Biernacki, Dariusz et al. | 2022
- 60
-
S-Semantics-an ExampleDrabent, Wlodzimierz et al. | 2022
- 75
-
Disjunctive Delimited ControlVandenbroucke, Alexander / Schrijvers, Tom et al. | 2022
- 92
-
Towards Substructural Property-Based TestingMantovani, Marco / Momigliano, Alberto et al. | 2022
- 113
-
The @ Next 700 Program TransformersHamilton, Geoff et al. | 2022
- 135
-
Representation and Processing of Instantaneous and Durative Temporal PhenomenaPitsikalis, Manolis / Lisitsa, Alexei / Luo, Shan et al. | 2022
- 157
-
Prefix-Based Tracing in Message-Passing ConcurrencyGonzádlez-Abril, Juan Jose / Vidal, Germán et al. | 2022