{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":42,"n_cols":5,"rows_kept":42,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[12,2,12,3],[13,2,13,3],[16,2,16,3],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[23,2,23,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[35,2,35,3],[36,2,36,3],[39,2,39,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465629103316"]
[null,null,"Titolo",null,"Partial Evaluation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / / edited by Olivier Danvy, Robert Glück, Peter Thiemann"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996"]
[null,null,"ISBN",null,"3-540-70589-9"]
[null,null,"Edizione",null,"[1st ed. 1996.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 520 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1110"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Computer programming"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"An automatic interprocedural analysis for the understanding of scientific application programs -- Practical aspects of specialization of Algol-like programs -- Synchronization analyses for multiple recursion parameters -- A uniform approach for compile-time and run-time specialization -- Pragmatics of type-directed partial evaluation -- Compiler generation for interactive graphics using intermediate code -- Regular approximation of computation paths in logic and functional languages -- A roadmap to metacomputation by supercompilation -- Reasoning about hierarchies of online program specialization systems -- Type specialisation for the ?-calculus; or, a new paradigm for partial evaluation based on type inference -- What not to do when writing an interpreter for specialisation -- Efficiently generating efficient generating extensions in prolog -- Global control for partial deduction through characteristic atoms and global trees -- Squeezing intermediate construction in equational programs -- Evolution of partial evaluators: Removing inherited limits -- A Self-Applicable supercompiler -- Multi-Level Lambda-Calculi: An algebraic description -- A comparative revisitation of some program transformation techniques -- A theory of logic program specialization and generalization for dealing with input data properties -- Program specialization via program slicing -- Specialization of imperative programs through analysis of relational expressions -- ML pattern "]
[{"$nulls":4},"match compilation and partial evaluation -- Self-applicable online partial evaluation -- Metacomputation: Metasystem transitions plus supercompilation."]
[null,null,null,"Sommario/riassunto","Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area."]
[null,"2.","Record Nr.",null,"UNINA9910584477503321"]
[null,null,"Autore",null,"Bruyns P. V (Peter V.)"]
[null,null,"Titolo",null,"Euphorbia in Southern Africa : Volume 2 / / by Peter V. Bruyns"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"9783030493998"]
[{"$nulls":4},"9783030493981"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (515 pages)"]
[null,null,"Disciplina",null,"583.69"]
[null,null,"Soggetti",null,"Plants - Evolution"]
[{"$nulls":4},"Plants - Development"]
[{"$nulls":4},"Biodiversity"]
[{"$nulls":4},"Plant Evolution"]
[{"$nulls":4},"Plant Development"]
[{"$nulls":4},"Euforbiàcies"]
[{"$nulls":4},"Llibres electrònics"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Chapter 1. Euphorbia subg. Chamaesyce -- Chapter 2. Euphorbia subg. Esula -- Chapter 3. Euphorbia subg. Euphorbia -- Chapter 4. Addenda -- Index."]
[null,null,null,"Sommario/riassunto","This book presents a new account of Euphorbia in southern Africa. Euphorbia is the second largest genus of plants in the world. Southern Africa enjoys a high diversity in Euphorbia and 170 species occur here naturally. Of these 170 species, 128 or 74% are endemic. Where most species of Euphorbia in the northern hemisphere are herbs or shrubs, most of those in southern African are succulent. These succulents range from small, almost geophytic forms where the tuber is larger than the above-ground parts to huge trees 6 to 15 m or more in height. Many of them are spiny. There are also small numbers of herbaceous species in southern Africa and many of these are also dealt with here. The last account of the succulent species for southern Africa was published in 1941 and much new data has accumulated since then. Our understanding of the relationships of the species in Euphorbia has also been greatly enhanced by recent analyses of DNA-data, which led to new and unexpected results. From this new information an entirely "]
[{"$nulls":4},"new classification was developed, in which Euphorbiawas divided into four subgenera. This provides the taxonomic framework for the presentation of our species here. Around ten new species have been described and these are presented in detail for the first time. This monograph is made up of two volumes. Volume 1 contains an extensive introductory chapter with an overview of the genus in the region, emphasizing many of its important and distinctive features. This is followed by Chapter 2, which deals with subgenus Athymalus. Of the four subgenera, this one is by far the most diverse in southern Africa, with 80 species. Volume 2 contains Chapters 3 (subg. Chamaesyce, 34 species), 4 (subg. Esula, 11 species) and 5 (subg. Euphorbia, 45 species), as well as an additional Chapter 6 covering the remarkable diversity of subg. Euphorbia in Moçambique. Each of Chapters 2 to 5 includes a key to all the species, followed by an account of each of them. This account includes synonymy, a description, data on distribution and habitat, line-drawings of floral features and other diagnostic details, notes on how the species is distinguished from its closest relatives and a brief history of its discovery. Several colour photographs are included for each species, illustrating its habitat, vegetative habit and flowering features, demonstrating key points distinguishing it from others and often showing its variability. Euphorbia is an important component of the vegetation in many of the drier parts of southern Africa. This book is based on a thorough evaluation of the vast herbarium record for southern African members of Euphorbia, on the extensive field-work conducted in the region and the wide taxonomic experience of the author. It is believed that both the professional botanist and the layman will find much that is new and informative in this monograph."]