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.
Practical foundations for programming languages / / Robert Harper [[electronic resource]]
| Practical foundations for programming languages / / Robert Harper [[electronic resource]] |
| Autore | Harper Robert <1957-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xviii, 471 pages) : digital, PDF file(s) |
| Disciplina | 005.13 |
| Soggetto topico | Programming languages (Electronic computers) |
| ISBN |
1-107-23730-0
1-107-25486-8 1-107-30175-0 1-107-30684-1 1-107-30904-2 1-107-31459-3 1-139-34213-4 |
| Classificazione | COM051010 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: Part I. Judgments and Rules: 1. Inductive definitions; 2. Hypothetical judgments; 3. Syntactic objects; 4. Generic judgments; Part II. Levels of Syntax: 5. Concrete syntax; 6. Abstract syntax; Part III. Statics and Dynamics: 7. Statics; 8. Dynamics; 9. Type safety; 10. Evaluation dynamics; Part IV. Function Types: 11. Function definitions and values; 12. Godel's system T; 13. Plotkin's PCF; Part V. Finite Data Types: 14. Product types; 15. Sum patterns; 16. Pattern matching; 17. Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive types; Part VII. Dynamic Types: 20. The untyped 1-calculus; 21. Dynamic typing; 22. Hybrid typing; Part VIII. Variable Types: 23. Girard's system F; 24. Abstract types; 25. Constructors and kinds; 26. Indexed families of types; Part IX. Subtyping: 27. Subtyping; 28. Singleton and dependent kinds; Part X. Classes and Methods: 29. Dynamic dispatch; 30. Inheritance; Part XI. Control Effects: 31. Control stacks; 32. Exceptions; 33. Continuations; Part XII. Types and Propositions: 34. Constructive logic; 35. Classical logic; Part XIII. Symbols: 36. Symbols; 37. Fluid binding; 38. Dynamic classification; Part XIV. Storage Effects: 39. Modernized algol; 40. Mutable data structures; Part XV. Laziness: 41. Lazy evaluation; 42. Polarization; Part XVI. Parallelism: 43. Nested parallelism; 44. Futures and speculation; Part XVII. Concurrency: 45. Process calculus; 46. Current algol; 47. Distributed algol; Part XVIII. Modularity: 48. Separate compilation and linking; 49. Basic modules; 50. Parameterized modules; Part XIX. Equivalence: 51. Equational reasoning for T; 52. Equational reasoning for PCF; 53. Parametricity. |
| Record Nr. | UNINA-9910786158203321 |
Harper Robert <1957->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical foundations for programming languages / / Robert Harper [[electronic resource]]
| Practical foundations for programming languages / / Robert Harper [[electronic resource]] |
| Autore | Harper Robert <1957-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xviii, 471 pages) : digital, PDF file(s) |
| Disciplina | 005.13 |
| Soggetto topico | Programming languages (Electronic computers) |
| ISBN |
1-107-23730-0
1-107-25486-8 1-107-30175-0 1-107-30684-1 1-107-30904-2 1-107-31459-3 1-139-34213-4 |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: Part I. Judgments and Rules: 1. Inductive definitions; 2. Hypothetical judgments; 3. Syntactic objects; 4. Generic judgments; Part II. Levels of Syntax: 5. Concrete syntax; 6. Abstract syntax; Part III. Statics and Dynamics: 7. Statics; 8. Dynamics; 9. Type safety; 10. Evaluation dynamics; Part IV. Function Types: 11. Function definitions and values; 12. Godel's system T; 13. Plotkin's PCF; Part V. Finite Data Types: 14. Product types; 15. Sum patterns; 16. Pattern matching; 17. Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive types; Part VII. Dynamic Types: 20. The untyped 1-calculus; 21. Dynamic typing; 22. Hybrid typing; Part VIII. Variable Types: 23. Girard's system F; 24. Abstract types; 25. Constructors and kinds; 26. Indexed families of types; Part IX. Subtyping: 27. Subtyping; 28. Singleton and dependent kinds; Part X. Classes and Methods: 29. Dynamic dispatch; 30. Inheritance; Part XI. Control Effects: 31. Control stacks; 32. Exceptions; 33. Continuations; Part XII. Types and Propositions: 34. Constructive logic; 35. Classical logic; Part XIII. Symbols: 36. Symbols; 37. Fluid binding; 38. Dynamic classification; Part XIV. Storage Effects: 39. Modernized algol; 40. Mutable data structures; Part XV. Laziness: 41. Lazy evaluation; 42. Polarization; Part XVI. Parallelism: 43. Nested parallelism; 44. Futures and speculation; Part XVII. Concurrency: 45. Process calculus; 46. Current algol; 47. Distributed algol; Part XVIII. Modularity: 48. Separate compilation and linking; 49. Basic modules; 50. Parameterized modules; Part XIX. Equivalence: 51. Equational reasoning for T; 52. Equational reasoning for PCF; 53. Parametricity. |
| Record Nr. | UNINA-9910822121603321 |
|
Harper Robert <1957->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
| Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]] |
| Autore | Liu Yanhong Annie <1965-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xv, 240 pages) : digital, PDF file(s) |
| Disciplina | 005.1 |
| Soggetto topico |
Computer programming
System design |
| ISBN |
1-107-33359-8
1-107-33525-6 1-107-61079-6 1-107-33691-0 1-139-56787-X |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion. |
| Record Nr. | UNINA-9910789315803321 |
|
Liu Yanhong Annie <1965->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
| Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]] |
| Autore | Liu Yanhong Annie <1965-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xv, 240 pages) : digital, PDF file(s) |
| Disciplina | 005.1 |
| Soggetto topico |
Computer programming
System design |
| ISBN |
1-107-33359-8
1-107-33525-6 1-107-61079-6 1-107-33691-0 1-139-56787-X |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion. |
| Record Nr. | UNINA-9910823265103321 |
|
Liu Yanhong Annie <1965->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unification grammars / / Nissim Francez, Shuly Wintner [[electronic resource]]
| Unification grammars / / Nissim Francez, Shuly Wintner [[electronic resource]] |
| Autore | Francez Nissim |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2012 |
| Descrizione fisica | 1 online resource (xii, 312 pages) : digital, PDF file(s) |
| Disciplina | 415.01/51 |
| Soggetto topico |
Grammar, Comparative and general - Mathematical models
Unification grammar Lexical-functional grammar Head-driven phrase structure grammar |
| ISBN |
1-107-22976-6
1-280-48528-0 1-139-22290-2 9786613580269 1-139-21810-7 1-139-21501-9 1-139-22462-X 1-139-22119-1 1-139-01357-2 |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction; 2. Feature structures; 3. Unification; 4. Unification grammars; 5. Linguistic applications; 6. Computational aspects of unification grammars; 7. Conclusion; Appendixes. |
| Record Nr. | UNINA-9910781864403321 |
|
Francez Nissim
|
||
| Cambridge : , : Cambridge University Press, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unification grammars / / Nissim Francez, Shuly Wintner
| Unification grammars / / Nissim Francez, Shuly Wintner |
| Autore | Francez Nissim |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2012 |
| Descrizione fisica | 1 online resource (xii, 312 pages) : digital, PDF file(s) |
| Disciplina | 415.01/51 |
| Soggetto topico |
Grammar, Comparative and general - Mathematical models
Unification grammar Lexical-functional grammar Head-driven phrase structure grammar |
| ISBN |
1-107-22976-6
1-280-48528-0 1-139-22290-2 9786613580269 1-139-21810-7 1-139-21501-9 1-139-22462-X 1-139-22119-1 1-139-01357-2 |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction; 2. Feature structures; 3. Unification; 4. Unification grammars; 5. Linguistic applications; 6. Computational aspects of unification grammars; 7. Conclusion; Appendixes. |
| Record Nr. | UNINA-9910968042403321 |
|
Francez Nissim
|
||
| Cambridge : , : Cambridge University Press, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
XcalableMP PGAS Programming Language : From Programming Model to Applications / / edited by Mitsuhisa Sato
| XcalableMP PGAS Programming Language : From Programming Model to Applications / / edited by Mitsuhisa Sato |
| Autore | Sato Mitsuhisa |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (IX, 262 p. 367 illus., 57 illus. in color.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters |
| ISBN | 981-15-7683-1 |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: XcalableMP programming model and language -- Chapter 2: Design and Performance Evaluation of the Omni XcalableMP Compiler -- Chapter 3: Coarrays in the Context of XcalableMP -- Chapter 4: XcalableACC: an Integration of XcalableMP and OpenACC -- Chapter 5: Mixed-language programming with XMP and Python -- Chapter 6: Three-dimensional Fluid Code with XcalableMP -- Chapter 7: Hybrid-View Data Model Programming of Nuclear Fusion Simulation Code in XcalableMP -- Chapter 8: Parallelization of Atomic Image Reconstruction from X-ray Fluorescence Holograms by XcalableMP -- Chapter 9: Multi-SPMD programming model with YML and XcalableMP -- Chapter 10: XcalableMP 2.0 and Future Directions. |
| Record Nr. | UNINA-9910427736403321 |
|
Sato Mitsuhisa
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||