A historical account of my early research interests
| Autor: | Alberto Pettorossi |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Computer Science - Programming Languages Computer science Programming language Concurrency Program transformation Combinatory Logic Term (logic) computer.software_genre Parallel Computation Logic in Computer Science (cs.LO) Term Rewriting Systems Program Transformation Theory of Concurrency Proofs of Program Properties Theory of computation Signal theory Rewriting Combinatory logic computer Programming Languages (cs.PL) |
| Zdroj: | 8th International Workshop on Verification and Program Transformation, pp. 1–28, Dublin, Ireland, 25-26/04/2020 info:cnr-pdr/source/autori:PETTOROSSI Alberto/congresso_nome:8th International Workshop on Verification and Program Transformation/congresso_luogo:/congresso_data:Dublin, Ireland, 25-26%2F04%2F2020/anno:2020/pagina_da:1/pagina_a:28/intervallo_pagine:1–28 VPT/HCVS@ETAPS |
| Popis: | This paper presents a brief account of some of the my early research interests. This historical account starts from my laurea thesis on Signal Theory and my master thesis on Computation Theory. It recalls some results in Combinatory Logic and Term Rewriting Systems. Some other results concern Program Transformation, Parallel Computation, Theory of Concurrency, and Proof of Program Properties. My early research activity has been mainly done in cooperation with Andrzej Skowron, Anna Labella, and Maurizio Proietti. Comment: In Proceedings VPT/HCVS 2020, arXiv:2008.02483 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|