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] ] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / / edited by Oleg Kiselyov, Andy King
| Functional and Logic Programming [[electronic resource] ] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / / edited by Oleg Kiselyov, Andy King |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 253 p. 55 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Computer programming Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Formal Languages and Automata Theory Artificial Intelligence Programming Techniques |
| ISBN | 3-319-29604-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project -- From Sets to Bits in Coq -- From proposition to program: embedding the refinement calculus in Coq -- The Boolean Constraint Solver of SWI-Prolog: System Description -- Probabilistic inference by program transformation in Hakaru: System description -- An interaction net encoding of Godel's System T -- Space-efficient Planar Acyclicity Constraints: A Declarative Pearl -- Executable Relational Specifications of Polymorphic Type Systems using Prolog -- Proof Relevant Corecursive Resolution -- A Coq Library For Internal Verification of Running-Times -- A Transformational Approach to Parametric Accumulated-cost Static Profiling -- Polymorphic Types in Erlang Function Specifications -- Declarative foreign function binding through generic programming -- Declarative Programming with Algebra. |
| Record Nr. | UNISA-996466352103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / / edited by Oleg Kiselyov, Andy King
| Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / / edited by Oleg Kiselyov, Andy King |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 253 p. 55 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Computer programming Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Formal Languages and Automata Theory Artificial Intelligence Programming Techniques |
| ISBN | 3-319-29604-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project -- From Sets to Bits in Coq -- From proposition to program: embedding the refinement calculus in Coq -- The Boolean Constraint Solver of SWI-Prolog: System Description -- Probabilistic inference by program transformation in Hakaru: System description -- An interaction net encoding of Godel's System T -- Space-efficient Planar Acyclicity Constraints: A Declarative Pearl -- Executable Relational Specifications of Polymorphic Type Systems using Prolog -- Proof Relevant Corecursive Resolution -- A Coq Library For Internal Verification of Running-Times -- A Transformational Approach to Parametric Accumulated-cost Static Profiling -- Polymorphic Types in Erlang Function Specifications -- Declarative foreign function binding through generic programming -- Declarative Programming with Algebra. |
| Record Nr. | UNINA-9910483243503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||