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.
Formal Aspects of Component Software [[electronic resource] ] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / / edited by Luis Soares Barbosa, Markus Lumpe
| Formal Aspects of Component Software [[electronic resource] ] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / / edited by Luis Soares Barbosa, Markus Lumpe |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 305 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer programming Computer communication systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Computer Communication Networks |
| ISBN | 3-642-27269-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465926703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language Engineering and Rigorous Software Development [[electronic resource] ] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers / / edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
| Language Engineering and Rigorous Software Development [[electronic resource] ] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers / / edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (308 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation Computer programming Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma |
Kongress.
Piriapolis (2008) |
| ISBN |
1-282-33181-7
9786612331817 3-642-03153-6 |
| Classificazione |
DAT 544f
DAT 555f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Type Theory -- Dependent Types at Work -- A Tutorial on Type-Based Termination -- Structural Abstract Interpretation: A Formal Study Using Coq -- Extended Static Checking by Calculation Using the Pointfree Transform -- Combinator Parsing: A Short Tutorial. |
| Record Nr. | UNISA-996465855503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers / / edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
| Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers / / edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (308 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation Computer programming Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma |
Kongress.
Piriapolis (2008) |
| ISBN |
1-282-33181-7
9786612331817 3-642-03153-6 |
| Classificazione |
DAT 544f
DAT 555f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Type Theory -- Dependent Types at Work -- A Tutorial on Type-Based Termination -- Structural Abstract Interpretation: A Formal Study Using Coq -- Extended Static Checking by Calculation Using the Pointfree Transform -- Combinator Parsing: A Short Tutorial. |
| Record Nr. | UNINA-9910484563503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages [[electronic resource] ] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings / / edited by Francisco Heron de Carvalho Junior, Luis Soares Barbosa
| Programming Languages [[electronic resource] ] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings / / edited by Francisco Heron de Carvalho Junior, Luis Soares Barbosa |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (IX, 165 p. 78 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-33182-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Components as Invariant-Typed Arrows -- The Science of Killing Bugs in a Black Box -- Spill Code Placement for SIMD Machines.- Left Recursion in Parsing Expression Grammars.- Speed and Precision in Range Analysis.- Parameter Based Constant Propagation.- Adaptable Parsing Expression Grammars.- Optimizing a Geomodeling Domain Specific Language.-A System for Runtime Type Introspection in C++.- Model-Based Programming Environments for Spreadsheets.- A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines.- Attribute Grammar Macros. The Science of Killing Bugs in a Black Box -- Spill Code Placement for SIMD Machines.- Left Recursion in Parsing Expression Grammars.- Speed and Precision in Range Analysis.- Parameter Based Constant Propagation.- Adaptable Parsing Expression Grammars.- Optimizing a Geomodeling Domain Specific Language.-A System for Runtime Type Introspection in C++.- Model-Based Programming Environments for Spreadsheets.- A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines.- Attribute Grammar Macros. . |
| Record Nr. | UNISA-996465576903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||