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.
ICONIAAC '14 : proceedings of International Conference on Interdisciplinary Advances in Applied Computing : October 10-11, 2014, Amrita Vishwa Vidyapeetham Coimbatore
| ICONIAAC '14 : proceedings of International Conference on Interdisciplinary Advances in Applied Computing : October 10-11, 2014, Amrita Vishwa Vidyapeetham Coimbatore |
| Autore | Jayaraman Bharat |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (374 pages) |
| Collana | ACM International Conference Proceedings Series |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2908-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2014 International Conference on Interdisciplinary Advances in Applied Computing
ICONIAAC '14 International Conference on Interdisciplinary Advances in Applied Computing, Amritapuri, India - October 10-11, 2014 |
| Record Nr. | UNINA-9910375743303321 |
Jayaraman Bharat
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / / edited by Bharat Jayaraman
| Practical Aspects of Declarative Languages [[electronic resource] ] : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / / edited by Bharat Jayaraman |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 260 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering |
| ISBN |
1-280-30786-2
9786610307869 3-540-24836-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Algebraic Theory of Polymorphic Temporal Media -- Supporting Decisions in Complex, Uncertain Domains with Declarative Languages -- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance -- Compositional Model-Views with Generic Graphical User Interfaces -- An Implementation of Session Types -- UUXML: A Type-Preserving XML Schema–Haskell Data Binding -- Improved Compilation of Prolog to C Using Moded Types and Determinism Information -- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) -- Pruning in the Extended Andorra Model -- USA-Smart: Improving the Quality of Plans in Answer Set Planning -- : A System for Reasoning about Answer Set Programs in Prolog -- Simplifying Dynamic Programming via Tabling -- Symbolic Execution of Behavioral Requirements -- Observing Functional Logic Computations -- Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions -- Typing XHTML Web Applications in ML -- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. |
| Record Nr. | UNISA-996465425203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / / edited by Bharat Jayaraman
| Practical Aspects of Declarative Languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / / edited by Bharat Jayaraman |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 260 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering |
| ISBN |
1-280-30786-2
9786610307869 3-540-24836-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Algebraic Theory of Polymorphic Temporal Media -- Supporting Decisions in Complex, Uncertain Domains with Declarative Languages -- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance -- Compositional Model-Views with Generic Graphical User Interfaces -- An Implementation of Session Types -- UUXML: A Type-Preserving XML Schema–Haskell Data Binding -- Improved Compilation of Prolog to C Using Moded Types and Determinism Information -- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) -- Pruning in the Extended Andorra Model -- USA-Smart: Improving the Quality of Plans in Answer Set Planning -- : A System for Reasoning about Answer Set Programs in Prolog -- Simplifying Dynamic Programming via Tabling -- Symbolic Execution of Behavioral Requirements -- Observing Functional Logic Computations -- Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions -- Typing XHTML Web Applications in ML -- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. |
| Record Nr. | UNINA-9910144151003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||