Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Functional and Logic Programming [[electronic resource] ] : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas
| Functional and Logic Programming [[electronic resource] ] : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 221 p. 672 illus., 4 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Artificial intelligence Computer science Machine theory Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-59025-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus Revisited -- Functional Pearl: The Distributive λ-Calculus -- Polynomial time over the reals with parsimony -- Session Types without Sophistry (System Description) -- Restriction on cut in cyclic proof system for symbolic heaps -- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming -- Declarative Pearl: Deriving Monadic Quicksort -- Language-Integrated Query with Nested Data Structures and Grouping -- An efficient composition of bidirectional programs by memoization and lazy update -- Implementing, and Keeping in Check, a DSL Used in E-Learning -- System Description: Lang-n-Change -- A Tool for Transforming Languages. |
| Record Nr. | UNISA-996418319103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas
| Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 221 p. 672 illus., 4 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Artificial intelligence Computer science Machine theory Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-59025-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus Revisited -- Functional Pearl: The Distributive λ-Calculus -- Polynomial time over the reals with parsimony -- Session Types without Sophistry (System Description) -- Restriction on cut in cyclic proof system for symbolic heaps -- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming -- Declarative Pearl: Deriving Monadic Quicksort -- Language-Integrated Query with Nested Data Structures and Grouping -- An efficient composition of bidirectional programs by memoization and lazy update -- Implementing, and Keeping in Check, a DSL Used in E-Learning -- System Description: Lang-n-Change -- A Tool for Transforming Languages. |
| Record Nr. | UNINA-9910427717803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software foundations for data interoperability : 5th international workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers / / George Fletcher, Keisuke Nakano, Yuya Sasaki (editors)
| Software foundations for data interoperability : 5th international workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers / / George Fletcher, Keisuke Nakano, Yuya Sasaki (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (116 pages) |
| Disciplina | 005.74 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico | Database management |
| ISBN | 3-030-93849-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910522914603321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software foundations for data interoperability : 5th international workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers / / George Fletcher, Keisuke Nakano, Yuya Sasaki (editors)
| Software foundations for data interoperability : 5th international workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers / / George Fletcher, Keisuke Nakano, Yuya Sasaki (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (116 pages) |
| Disciplina | 005.74 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico | Database management |
| ISBN | 3-030-93849-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464534203316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||