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.
Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / / edited by Moreno Falaschi
| Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / / edited by Moreno Falaschi |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVII, 385 p. 88 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science |
| ISBN | 3-319-27436-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types and security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing -- Smart Environments -- Program Transformation -- Constraint Solving and Programming. . |
| Record Nr. | UNISA-996466226103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / / edited by Moreno Falaschi
| Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / / edited by Moreno Falaschi |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVII, 385 p. 88 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science |
| ISBN | 3-319-27436-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types and security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing -- Smart Environments -- Program Transformation -- Constraint Solving and Programming. . |
| Record Nr. | UNINA-9910484603503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| 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 | ||
| ||
Static Analysis [[electronic resource] ] : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / / edited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
| Static Analysis [[electronic resource] ] : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / / edited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (X, 290 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Data structures (Computer science) Computer programming Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Data Structures and Information Theory Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-48027-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The impact of granularity in abstract interpretation of Prolog -- Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog -- Chaotic fixpoint iteration guided by dynamic dependency -- Fast abstract interpretation using sequential algorithms -- Abstract interpretation and verification of reactive systems -- Semantics and analysis of linda-based languages -- Compiling FX on the CM-2 -- Combining dependability with architectural adaptability by means of the signal language -- Challenges in developing useful and practical static analysis for logic programs -- Occam's razor in metacomputation: the notion of a perfect process tree -- Tupling functions with multiple recursion parameters -- Avoiding repeated tests in pattern matching -- Freeness, sharing, linearity and correctness — All at once -- Synthesis of directionality information for functional logic programs -- Abstract rewriting -- Reflections on program optimization -- Finiteness conditions for strictness analysis -- Strictness properties of lazy algebraic datatypes -- Minimal thunkification -- An efficient abductive reasoning system based on program analysis -- A congruence for gamma programs -- Usage analysis with natural reduction types -- Polymorphic types and widening operators -- Demonstration: static analysis of AKL. |
| Record Nr. | UNISA-996465890203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||