{"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":39,"n_cols":5,"rows_kept":39,"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],[16,2,16,3],[17,2,17,3],[19,2,19,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[27,2,27,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[36,2,36,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466263903316"]
[null,null,"Titolo",null,"Compiler Construction [[electronic resource] ] : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / / edited by Peter A. Fritzson"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994"]
[null,null,"ISBN",null,"3-540-48371-3"]
[null,null,"Edizione",null,"[1st ed. 1994.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 460 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 786"]
[null,null,"Disciplina",null,"005.13"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Artificial Intelligence"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"OASIS: An optimizing action-based compiler generator -- Action transformations in the actress compiler generator -- An overview of door attribute grammars -- Coupling evaluators for attribute coupled grammars -- Towards the global optimization of functional logic programs -- A portable and optimizing back end for the SML/NJ compiler -- Efficient organization of control structures in distributed implementations -- Implementing 2DT on a multiprocessor -- Global code selection for directed acyclic graphs -- Compiling nested loops for limited connectivity VLIWs -- Delayed exceptions — Speculative execution of trapping instructions -- On the implementation of abstract interpretation systems for (constraint) Logic Programs -- A suite of analysis tools based on a general purpose abstract interpreter -- Flow grammars — a flow analysis methodology -- Provable correctness of prototype interpreters in LDL -- Developing efficient interpreters based on formal language specifications -- Generating an efficient compiler for a data parallel language from a denotational specification -- Adding semantic and syntactic predicates to LL(k): "]
[{"$nulls":4},"pred-LL(k) -- Cosy compiler phase embedding with the CoSy compiler model -- Towards provably correct code generation for a hard real-time programming language -- Supporting array dependence testing for an optimizing/parallelizing C compiler -- Processing array statements and procedure interfaces in the PREPARE high performance fortran compiler -- A practical approach to the symbolic debugging of parallelized code -- Reducing the cost of data flow analysis by congruence partitioning -- Interprocedural constant propagation using dependence graphs and a data-flow model -- Solving demand versions of interprocedural analysis problems -- Compile time instruction cache optimizations -- Instruction scheduling over regions: A framework for scheduling across basic blocks -- Transport-triggering vs. operation-triggering."]
[null,null,null,"Sommario/riassunto","The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques. This volume contains the papers selected for presentation at CC '94, the fifth International Conference on Compiler Construction, held in Edinburgh, U.K., in April 1994."]
[null,"2.","Record Nr.",null,"UNINA9910842101103321"]
[null,null,"Autore",null,"Bullik Ramona"]
[null,null,"Titolo",null,"Leitmotifs in Life Stories : Developments and Stabilities of Religiosity and Narrative Identity / / Ramona Bullik"]
[null,null,"Pubbl/distr/stampa",null,"Bielefeld : , : Bielefeld University Press, , [2024]"]
[{"$nulls":4},"©2024"]
[null,null,"ISBN",null,"9783839471227"]
[{"$nulls":4},"3839471222"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (352 p.)"]
[null,null,"Disciplina",null,"234.23"]
[null,null,"Soggetti",null,"RELIGION / General"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Frontmatter -- Contents -- Acknowledgments -- 1. Introduction -- Introduction -- Notes -- 2. Theoretical Approach: Narrative and Religious Identity -- Introduction -- 2.1 Narration and Autobiography-Making Sense of One's Own Life -- 2.2 Autobiographical Reasoning-Creating Coherence and Credibility -- 2.3 Narrative Identity-Creation and Adaptation of Personal Myths in the Lifespan -- 2.4 Talking about Religion: From Stages to Styles and Types and the Development of a Religious Identity -- Notes -- 3. Couples and Women-A Look into the Research Landscape -- 3.1 Studying Couples -- 3.2 Gender Differences in Religiosity and Narrating -- 3.3 Relevance of my Own Research and Explication of Research Questions -- Notes -- 4. Methods -- Introduction -- 4.1 Sample Description -- 4.2 Research with the Faith Development Interview -- 4.3 Inclusion of Selected Scales Based on the Questionnaires -- 4.4 Triangulation of Longitudinal Data-Putting it All Together -- 4.5 Structure of the Case Studies -- Notes -- 5. Bianca and Jannis-A Catholic Couple in the Family Phase -- 5.1 Bianca-Negotiating Catholic Faith Within a Secular Society -- 5.2 Jannis-Finding his Faith Again -- 5.3 Bianca and Jannis-Comparison and Conclusion -- Notes -- 6. Nadine-Spiritual Experiences without a Faith -- 6.1.1 Nadine's Life Reviews and her Spiritual Experiences -- 6.1.2 Nadine's Worldview and How She Thinks about Death -- 6.1.3 Nadine's Development-Triangulating the Data -- Notes -- 7. Renate and Richard-A Life Lived for the Welfare of Others? -- 7.1 Renate-Unfaltering Trust in a Leading God -- 7.2 Richard-Christian Charity as a Way of Life -- 7.3 Renate and Richard-Comparison and Conclusion -- Notes -- 8. Carola-"]
[{"$nulls":4},"Abandonment and Self-Perceived Growth -- 8.1.1 Carola's Life Reviews-Struggling with Losses and Deprivation -- 8.1.2 Carola's Subjective Religiosity-Being at Odds with God -- 8.1.3 Carola's Morality and her View on Society-A Critical View on the Current Situation -- 8.1.4 Carola's Religious and Moral Development-Triangulating the Data -- Notes -- 9. Gudrun and Werner-Changing Affiliations, Persisting Beliefs -- Introduction -- 9.1 Gudrun-God as a Pillar of Strength -- 9.2 Werner-Seeking Personal Enlightenment -- 9.3 Gudrun and Werner-Comparison and Conclusion -- Notes -- 10. Marion-Focusing on Life and Death -- 10.1.1 Marion's Life Reviews-Looking Back on Life, Looking Forward to Death -- 10.1.2 Marion's Relationships-Being a Daughter and Being a Mother -- 10.1.3 Marion's Spirituality-Finally Finding God? -- 10.1.4 Marion's Development-Triangulating the Data -- Notes -- 11. Synopsis and Outlook -- 11.1 Talking about One's Life and about Relationships -- 11.2 Discussing (Non-)Religiosity -- 11.3 Comparing the Religious and Non-Religious Women -- 11.4 Narrative Identity and Leitmotifs-Discussing the Results -- 11.5 Recommendations for Future Research and Concluding Remarks -- References -- Appendix: BiNCCS (Bielefeld Narrative and Content Coding Scheme)"]
[null,null,null,"Sommario/riassunto","Faith Development Interviews offer great insight into people's ways of (non-)religious meaning-making, and of looking at their life and relationships. Ramona Bullik portrays nine longitudinal case studies in a mixed-methods design with narrative analysis granting insight into the developments and stabilities in the interviews. The focus on religious married couples allows to carve out the role of faith and the changing view on the spouse and the joint life. The portraits of three non-religious women show how meaning is made outside the frame of organized religion. Individual survey data are put into relation with a larger sample, answering the claim for idiothetic research."]