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.
7th International Conference on Aspect-Oriented Software Development : research track proceedings : March 31st-April 4th 2008, Brussels, Belgium
| 7th International Conference on Aspect-Oriented Software Development : research track proceedings : March 31st-April 4th 2008, Brussels, Belgium |
| Autore | D'Hondt Theo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2008 |
| Descrizione fisica | 1 online resource (212 pages) |
| Collana | ACM International Conference Proceedings Series |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 7th International Conference on Aspect-Oriented Software Development
AOSD '08 7th annual Aspect-Oriented Software Development Conference, Brussels, Belgium - March 31 - April 04, 2008 |
| Record Nr. | UNINA-9910376404803321 |
D'Hondt Theo
|
||
| [Place of publication not identified], : ACM, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Companion to the first International Conference on the Art, Science and Engineering of Programming / / editors, Jennifer B. Sartor, Theo D'Hondt, Wolfgang De Meuter
| Companion to the first International Conference on the Art, Science and Engineering of Programming / / editors, Jennifer B. Sartor, Theo D'Hondt, Wolfgang De Meuter |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (193 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Programming '17 : International Conference on the Art, Science, and Engineering of Programming : Brussels, Belgium, April 03-06, 2017 |
| Record Nr. | UNINA-9910375857503321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DLS'11 : proceedings of the 7th Symposium on Dynamic Languages, October 22-27, 2011, Portland, Oregon, USA
| DLS'11 : proceedings of the 7th Symposium on Dynamic Languages, October 22-27, 2011, Portland, Oregon, USA |
| Autore | D'Hondt Theo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (108 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0939-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 7th Symposium on Dynamic languages
SPLASH '11 Conference on Systems, Programming, and Applications : software for humanity, Portland, OR, USA-October 22-27, 2011 |
| Record Nr. | UNINA-9910376129303321 |
|
D'Hondt Theo
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / / edited by Theo D'Hondt
| ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / / edited by Theo D'Hondt |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 599 p. 196 illus.) |
| Disciplina | 005.1/17 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Antibodies Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Software Engineering/Programming and Operating Systems |
| ISBN |
1-280-38767-X
9786613565594 3-642-14107-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- Code Roots -- Programming Environments and Tools -- Detecting Missing Method Calls in Object-Oriented Software -- Debugging Model-Transformation Failures Using Dynamic Tainting -- Automatically Extracting Class Diagrams from Spreadsheets -- Theoretical Foundations of Programming Languages -- Adding Dynamic Types to C -- Essential AOP: The A Calculus -- The Essence of JavaScript -- Formal Methods -- Verifying Executable Object-Oriented Specifications with Separation Logic -- Verifying Generics and Delegates -- Recency Types for Analyzing Scripting Languages -- Concurrency Models in Java -- Correct Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active Objects to Concurrent Components -- Special Session: Empirical Methods -- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study -- Type Systems -- A Type System for Data-Centric Synchronization -- Type-Safe Eventful Sessions in Java -- Capabilities for Uniqueness and Borrowing -- Keynote 2 -- Secret Valley -- Language Design and Implementation -- Embedding Languages without Breaking Tools -- Modules as Objects in Newspeak -- Inline Caching Meets Quickening -- Concurrency Abstractions -- Self-Replicating Objects for Multicore Platforms -- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO -- Concurrent Abstract Predicates -- Experiences -- The Use of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure Repair Using Alloy. |
| Altri titoli varianti | ECOOP'10 |
| Record Nr. | UNINA-9910483571003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / / edited by Theo D'Hondt
| ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / / edited by Theo D'Hondt |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 599 p. 196 illus.) |
| Disciplina | 005.1/17 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Antibodies Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Software Engineering/Programming and Operating Systems |
| ISBN |
1-280-38767-X
9786613565594 3-642-14107-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- Code Roots -- Programming Environments and Tools -- Detecting Missing Method Calls in Object-Oriented Software -- Debugging Model-Transformation Failures Using Dynamic Tainting -- Automatically Extracting Class Diagrams from Spreadsheets -- Theoretical Foundations of Programming Languages -- Adding Dynamic Types to C -- Essential AOP: The A Calculus -- The Essence of JavaScript -- Formal Methods -- Verifying Executable Object-Oriented Specifications with Separation Logic -- Verifying Generics and Delegates -- Recency Types for Analyzing Scripting Languages -- Concurrency Models in Java -- Correct Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active Objects to Concurrent Components -- Special Session: Empirical Methods -- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study -- Type Systems -- A Type System for Data-Centric Synchronization -- Type-Safe Eventful Sessions in Java -- Capabilities for Uniqueness and Borrowing -- Keynote 2 -- Secret Valley -- Language Design and Implementation -- Embedding Languages without Breaking Tools -- Modules as Objects in Newspeak -- Inline Caching Meets Quickening -- Concurrency Abstractions -- Self-Replicating Objects for Multicore Platforms -- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO -- Concurrent Abstract Predicates -- Experiences -- The Use of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure Repair Using Alloy. |
| Altri titoli varianti | ECOOP'10 |
| Record Nr. | UNISA-996465851203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||