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 Constraint Logic Programming [[electronic resource] ] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / / edited by Santiago Escobar
| Functional and Constraint Logic Programming [[electronic resource] ] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / / edited by Santiago Escobar |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 179 p. 35 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Software engineering Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
| ISBN |
1-280-38584-7
9786613563767 3-642-11999-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies -- Contributed Papers -- Integrating ILOG CP Technology into -- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures -- Semantic Labelling for Proving Termination of Combinatory Reduction Systems -- A Taxonomy of Some Right-to-Left String-Matching Algorithms -- Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types -- Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. |
| Record Nr. | UNISA-996465331203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / / edited by Santiago Escobar
| Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / / edited by Santiago Escobar |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 179 p. 35 illus.) |
| Disciplina | 005.131 |
| Altri autori (Persone) | EscobarSantiago |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Software engineering Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
| ISBN |
1-280-38584-7
9786613563767 3-642-11999-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies -- Contributed Papers -- Integrating ILOG CP Technology into -- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures -- Semantic Labelling for Proving Termination of Combinatory Reduction Systems -- A Taxonomy of Some Right-to-Left String-Matching Algorithms -- Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types -- Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. |
| Record Nr. | UNINA-9910483579003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rewriting Logic and Its Applications [[electronic resource] ] : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / / edited by Santiago Escobar, Narciso Martí-Oliet
| Rewriting Logic and Its Applications [[electronic resource] ] : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / / edited by Santiago Escobar, Narciso Martí-Oliet |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (VII, 217 p. 39 illus., 11 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer Science Logic and Foundations of Programming |
| ISBN | 3-030-63595-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability. |
| Record Nr. | UNISA-996418205303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / / edited by Santiago Escobar, Narciso Martí-Oliet
| Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / / edited by Santiago Escobar, Narciso Martí-Oliet |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (VII, 217 p. 39 illus., 11 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer Science Logic and Foundations of Programming |
| ISBN | 3-030-63595-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability. |
| Record Nr. | UNINA-9910447249703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rewriting Logic and Its Applications [[electronic resource] ] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Santiago Escobar
| Rewriting Logic and Its Applications [[electronic resource] ] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Santiago Escobar |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 297 p. 49 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
| ISBN | 3-319-12904-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996210537603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Santiago Escobar
| Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Santiago Escobar |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 297 p. 49 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
| ISBN | 3-319-12904-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484807303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others]
| Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others] |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2007 |
| Descrizione fisica | 1 online resource (vii, 71 pages) |
| Disciplina | 004.678 |
| Soggetto topico |
Internet
World Wide Web |
| ISBN | 1-5090-9633-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202090503316 |
| Los Alamitos, California : , : IEEE Computer Society, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others]
| Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others] |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2007 |
| Descrizione fisica | 1 online resource (vii, 71 pages) |
| Disciplina | 004.678 |
| Soggetto topico |
Internet
World Wide Web |
| ISBN | 1-5090-9633-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142660603321 |
| Los Alamitos, California : , : IEEE Computer Society, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||