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.
Foundational and Practical Aspects of Resource Analysis [[electronic resource] ] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / / edited by Ugo Dal Lago, Ricardo Peña
| Foundational and Practical Aspects of Resource Analysis [[electronic resource] ] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / / edited by Ugo Dal Lago, Ricardo Peña |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (IX, 161 p. 34 illus.) |
| Disciplina | 005.12 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Algorithms Computer logic Software engineering Programming languages (Electronic computers) Computers System Performance and Evaluation Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| ISBN | 3-319-12466-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Certified Complexity (CerCo) -- On the Modular Integration of Abstract Semantics for WCET Analysis -- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions -- A Hoare Logic for Energy Consumption Analysis -- Reasoning About Resources in the Embedded Systems Language Hume -- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. |
| Record Nr. | UNISA-996213647803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / / edited by Ugo Dal Lago, Ricardo Peña
| Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / / edited by Ugo Dal Lago, Ricardo Peña |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (IX, 161 p. 34 illus.) |
| Disciplina | 005.12 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Algorithms Computer logic Software engineering Programming languages (Electronic computers) Computers System Performance and Evaluation Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| ISBN | 3-319-12466-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Certified Complexity (CerCo) -- On the Modular Integration of Abstract Semantics for WCET Analysis -- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions -- A Hoare Logic for Energy Consumption Analysis -- Reasoning About Resources in the Embedded Systems Language Hume -- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. |
| Record Nr. | UNINA-9910484835603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska
| Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VII, 143 p. 30 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Algorithms Computer logic Software engineering Programming languages (Electronic computers) Computers System Performance and Evaluation Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-32495-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. |
| Record Nr. | UNISA-996465311203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / / edited by Gopal Gupta, Ricardo Peña
| Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / / edited by Gopal Gupta, Ricardo Peña |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 237 p. 51 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer science Programming Techniques Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science Computer Science Logic and Foundations of Programming |
| ISBN | 3-319-14125-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm. |
| Record Nr. | UNISA-996211264203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / / edited by Gopal Gupta, Ricardo Peña
| Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / / edited by Gopal Gupta, Ricardo Peña |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 237 p. 51 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer science Programming Techniques Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science Computer Science Logic and Foundations of Programming |
| ISBN | 3-319-14125-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm. |
| Record Nr. | UNINA-9910483856703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings / / edited by Manuel Carro, Ricardo Peña
| Practical Aspects of Declarative Languages [[electronic resource] ] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings / / edited by Manuel Carro, Ricardo Peña |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 297 p.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computers Computer programming Computer logic Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Logics and Meanings of Programs Software Engineering |
| ISBN |
1-280-38553-7
9786613563453 3-642-11503-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction to Maude and Some of Its Applications -- Non-Monotonic Reasoning - Answer Set Programming -- Efficient Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid MKNF Knowledge Bases -- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport -- Types -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined Reference Monitoring in Prolog -- Domain Specific Languages -- An Ode to Arrows -- Lazy Combinators for Executable Specifications of General Attribute Grammars -- A Domain-Specific Language Approach to Protocol Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework for Declarative Web Programming -- Constraints -- Lazy Explanations for Constraint Propagators -- On the Implementation of the CLP( ) Language -- Tabling - Agents -- Compact Lists for Tabled Evaluation -- A Simple and Efficient Implementation of Concurrent Local Tabling -- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives -- Prospective Storytelling Agents. |
| Record Nr. | UNISA-996465323303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming |
| Autore | Peña Ricardo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (308 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2154-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
PPDP '13
15th International Symposium on Principles and Practice of Declarative Programming, Madrid, Spain - September 16 - 18, 2013 |
| Record Nr. | UNINA-9910375729103321 |
Peña Ricardo
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in Functional Programming [[electronic resource] ] : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers / / edited by Hans Wolfgang Loidl, Ricardo Peña
| Trends in Functional Programming [[electronic resource] ] : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers / / edited by Hans Wolfgang Loidl, Ricardo Peña |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 311 p. 110 illus.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Machine theory Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-642-40447-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Various aspects of trends in functional programming -- Combining deep and shallow embedding for EDSL -- The Blame theorem for a linear lambda calculus with type dynamic -- Higher-order size checking without subtyping. |
| Record Nr. | UNISA-996465943603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trends in Functional Programming : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers / / edited by Hans Wolfgang Loidl, Ricardo Peña
| Trends in Functional Programming : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers / / edited by Hans Wolfgang Loidl, Ricardo Peña |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 311 p. 110 illus.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Machine theory Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-642-40447-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Various aspects of trends in functional programming -- Combining deep and shallow embedding for EDSL -- The Blame theorem for a linear lambda calculus with type dynamic -- Higher-order size checking without subtyping. |
| Record Nr. | UNINA-9910485025603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in Functional Programming [[electronic resource] ] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / / edited by Ricardo Peña, Rex Page
| Trends in Functional Programming [[electronic resource] ] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / / edited by Ricardo Peña, Rex Page |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 195 p. 66 illus.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Artificial intelligence—Data processing Computer science Programming Techniques Compilers and Interpreters Data Science Computer Science Logic and Foundations of Programming |
| ISBN | 3-642-32037-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465756403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||