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.
Implementation and Application of Functional Languages [[electronic resource] ] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / / edited by Andy Gill, Jurriaan Hage
| Implementation and Application of Functional Languages [[electronic resource] ] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / / edited by Andy Gill, Jurriaan Hage |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 181 p. 68 illus.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques |
| ISBN | 3-642-34407-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs for Embedded Languages -- From Stack Traces to Lazy Rewriting Sequences -- Model Based Testing with Logical Properties versus State Machines -- Property-Based Testing and Verification: A Catalog of Classroom Examples -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized Arrows. |
| Record Nr. | UNISA-996466275103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings / / edited by Andy Gill, Terrance Swift
| Practical Aspects of Declarative Languages [[electronic resource] ] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings / / edited by Andy Gill, Terrance Swift |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 285 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer science Theory of Computation Computer Science, general |
| ISBN | 3-540-92995-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- On Preferring and Inspecting Abductive Models -- User Interfaces and Environments -- Declarative Programming of User Interfaces -- Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs -- Toward a Practical Module System for ACL2 -- Networks and Data -- Declarative Network Verification -- Operational Semantics for Declarative Networking -- Ad Hoc Data and the Token Ambiguity Problem -- Multi-threading and Parallelism -- High Level Thread-Based Competitive Or-Parallelism in Logtalk -- Implementing Thread Cancellation in Multithreaded Prolog Systems -- Interoperating Logic Engines -- Databases and Large Data Sets -- High-Level Interaction with Relational Databases in Logic Programming -- Typed Datalog -- Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell -- Tabling and Optimization -- One Table Fits All -- Recycle Your Arrays! -- Towards a Complete Scheme for Tabled Execution Based on Program Transformation -- Language Extensions and Implementation -- Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications -- Layered Models Top-Down Querying of Normal Logic Programs -- Secure Implementation of Meta-predicates. |
| Record Nr. | UNISA-996466144703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical aspects of declarative languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. proceedings / / Andy Gill, Terrance Swift, editors
| Practical aspects of declarative languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. proceedings / / Andy Gill, Terrance Swift, editors |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (VIII, 285 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
GillAndy
SwiftTerrance |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Declarative programming languages
High-level programming languages |
| ISBN | 3-540-92995-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- On Preferring and Inspecting Abductive Models -- User Interfaces and Environments -- Declarative Programming of User Interfaces -- Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs -- Toward a Practical Module System for ACL2 -- Networks and Data -- Declarative Network Verification -- Operational Semantics for Declarative Networking -- Ad Hoc Data and the Token Ambiguity Problem -- Multi-threading and Parallelism -- High Level Thread-Based Competitive Or-Parallelism in Logtalk -- Implementing Thread Cancellation in Multithreaded Prolog Systems -- Interoperating Logic Engines -- Databases and Large Data Sets -- High-Level Interaction with Relational Databases in Logic Programming -- Typed Datalog -- Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell -- Tabling and Optimization -- One Table Fits All -- Recycle Your Arrays! -- Towards a Complete Scheme for Tabled Execution Based on Program Transformation -- Language Extensions and Implementation -- Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications -- Layered Models Top-Down Querying of Normal Logic Programs -- Secure Implementation of Meta-predicates. |
| Record Nr. | UNINA-9910484608803321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||