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 : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings / / edited by Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola
| Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings / / edited by Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola |
| Edizione | [1st ed.. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 355 p. 46 illus.) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
BlumeMatthias <1966->
KobayashiNaoki VidalGermán |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Computer science Compilers (Computer programs) Machine theory Artificial intelligence Programming Techniques Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Formal Languages and Automata Theory Artificial Intelligence |
| ISBN |
1-280-38608-8
9786613564009 3-642-12251-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via Higher-Order Rewrite Systems -- A Complete Axiomatization of Strict Equality -- Standardization and Böhm Trees for ??-Calculus -- An Integrated Distance for Atoms -- A Pearl on SAT Solving in Prolog -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call-by-Need Evaluation -- Complexity Analysis by Graph Rewriting -- Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program Inversion in Term Rewriting -- Delimited Control in OCaml, Abstractly and Concretely: System Description -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed Work Pools in Eden. |
| Record Nr. | UNINA-9910483626603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages : 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings / / edited by Esra Erdem, Germán Vidal
| Practical Aspects of Declarative Languages : 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings / / edited by Esra Erdem, Germán Vidal |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XVI, 249 p. 54 illus., 25 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Application software Expert systems (Computer science) Computer science Computer engineering Computer networks Programming Language Computer and Information Systems Applications Knowledge Based Systems Theory of Computation Computer Engineering and Networks |
| ISBN | 3-031-84924-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- On Bridging Prolog and Python to Enhance an Inductive Logic Program-ming System. -- Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System. -- The Scenic Route to Deforestation. -- MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Em-bedded DSLs. -- SM-based Semantics for Answer Set Programs Containing Conditional Lit-erals and Arithmetic. -- A practical approach to handling tabular data in logic. -- Automated Playing of Survival Video Games with Commonsense Reasoning. -- Checking Concurrency Coding Rules. -- A Weighted Bipolar Argumentation Framework and its ASP-based Imple-mentation. -- Haskell Based Spreadsheets. -- Leveraging LLM Reasoning with Dual Horn Programs. -- ASP for Language Documentation and Reclamation: A Derivational Stem-ming Tool for Myaamia. -- Enhancing a Hierarchical Graph Rewriting Language based on MELL CutElimination. -- C3G: Causally Constrained Counterfactual Generation. -- Exploring Answer Set Programming for Provenance Graph-Based CyberThreat Detection: A Novel Approach. |
| Record Nr. | UNINA-9910987688603321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages : 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings / / edited by Esra Erdem, Germán Vidal
| Practical Aspects of Declarative Languages : 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings / / edited by Esra Erdem, Germán Vidal |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XVI, 249 p. 54 illus., 25 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Application software Expert systems (Computer science) Computer science Computer engineering Computer networks Programming Language Computer and Information Systems Applications Knowledge Based Systems Theory of Computation Computer Engineering and Networks |
| ISBN | 3-031-84924-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- On Bridging Prolog and Python to Enhance an Inductive Logic Program-ming System. -- Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System. -- The Scenic Route to Deforestation. -- MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Em-bedded DSLs. -- SM-based Semantics for Answer Set Programs Containing Conditional Lit-erals and Arithmetic. -- A practical approach to handling tabular data in logic. -- Automated Playing of Survival Video Games with Commonsense Reasoning. -- Checking Concurrency Coding Rules. -- A Weighted Bipolar Argumentation Framework and its ASP-based Imple-mentation. -- Haskell Based Spreadsheets. -- Leveraging LLM Reasoning with Dual Horn Programs. -- ASP for Language Documentation and Reclamation: A Derivational Stem-ming Tool for Myaamia. -- Enhancing a Hierarchical Graph Rewriting Language based on MELL CutElimination. -- C3G: Causally Constrained Counterfactual Generation. -- Exploring Answer Set Programming for Provenance Graph-Based CyberThreat Detection: A Novel Approach. |
| Record Nr. | UNISA-996650069303316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming / / conference chair, James Cheney ; program chair, Germán Vidal
| Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming / / conference chair, James Cheney ; program chair, Germán Vidal |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (249 pages) |
| Disciplina | 005.131 |
| Soggetto topico | Declarative programming |
| ISBN | 1-4503-4148-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
PPDP '16 : 18th International Symposium on Principles and Practice of Declarative Programming : Edinburgh, United Kingdom, September 05-07, 2016
Principles and Practice of Declarative Programming 2016 |
| Record Nr. | UNINA-9910376349103321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||