| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910503008903321 |
|
|
Titolo |
Programming Languages and Systems : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / / edited by Hakjoo Oh |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (328 pages) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 13008 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Artificial intelligence |
Computer science |
Computer engineering |
Computer networks |
Computer systems |
Compilers and Interpreters |
Artificial Intelligence |
Computer Science Logic and Foundations of Programming |
Computer Engineering and Networks |
Computer System Implementation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Analysis and Synthesis -- Scalable and Modular Robustness Analysis of Deep Neural Networks -- Function Pointer Eliminator for C Programs -- PyCT: A Python Concolic Tester -- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications -- Server-Side Computation of Package Dependencies in Package-Management Systems -- Compilation and Transformation -- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly -- A Dictionary-Passing Translation of Featherweight Go -- Hybrid quantum-classical circuit simplification with the ZX-calculus -- A compilation method for dynamic typing in ML -- Language Design -- The Choice Construct in the Soufflé Language -- Latent Effects for |
|
|
|
|
|
|
|
|
|
|
|
|
|
Reusable Language Components -- Adaptable Traces for Program Explanations -- A Typed Programmatic Interface to Contracts on the Blockchain -- Verification -- Simplifying of Alternating Automata for Emptiness Testing -- Termination Analysis for the pi-Calculus byReduction to Sequential Program Termination -- Proving LTL Properties of Bitvector Programs and Decompiled Binaries -- Solving Not-Substring Constraint with Flat Abstraction.-. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910964311703321 |
|
|
Titolo |
Collaboration in education / / edited by Judith J. Slater and Ruth Ravid |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Routledge, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-136-99242-1 |
1-136-99243-X |
1-282-56980-5 |
9786612569807 |
0-203-85470-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (251 p.) |
|
|
|
|
|
|
Collana |
|
Routledge Research in Education |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Interaction analysis in education |
Community and school |
Educational planning - Social aspects |
Instructional systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Book Cover; Title; Copyright; Contents; Figures; Tables; Acknowledgments; Introduction: The Meme of Collaboration; Part I Professional Development Schools; 1 When a Look Back Can Be a Step Forward: An Analysis of Two PDS Partnerships for Education Change and Improvement; 2 Growing a Multi-Site Professional Development School; Part II Consultation; 3 Schools of Ambition: Bridging Professional and Institutional Boundaries; 4 Ten School Districts and One University: A Collaborative Consultation |
5 Elementary Public School and University Partnership: Promoting and Analyzing Professional Development Processes of School TeachersPart III One-to-One Collaboration; 6 Policy Development and Sustainability: How a Rural County Maximized Resources through Collaboration and Managed Change; 7 School-University Collaboration as Mutual Professional Development; 8 A Public/Private Partnership in a Diverse Community; Part IV Multiple Configurations; 9 Reflections on a Cross University-Urban School Partnership: The Critical Role of Humanizing the Process |
10 A System's Perspective for Professional Development in Science and Mathematics Education: The Texas Regional Collaboratives11 Conducting Research that Practitioners Think is Relevant: Metropolitan Educational Research Consortium (MERC); 12 A Miracle in Process: What it Takes to Make an Educational Partnership a True Collaboration; 13 Collaboration and Equitable Reform in Australian Schools: Beyond the Rhetoric; 14 Benefits, Challenges, and Lessons of Longitudinal Research Collaborations; Part V Postsecondary; 15 Reciprocity in Collaboration: Academy for Teacher Excellence's Partnerships |
16 Reconceptualizing Leadership and Power: The Collaborative Experiences of Women Educational Leaders17 A CLASSIC © Approach to Collaboration: Documenting a Multi-State University and Multi-School District Partnership; Part VI Technology Projects; 18 School-University Collaboration for Technology Integration: Resistance, Risk-Taking, and Resilience; Part VII Interagency Collaboration; 19 Project FIRST: Families, Intercollegiate Collaboration, and Routes to Studying Teaching; 20 Urban Teacher Residencies: Collaborating to Reconceptualize Urban Teacher Preparation |
21 Sharing Power in an Interagency Collaboration22 Collaborating for Labor Consciousness: The Education & Labor Collaborative; Conclusion; Contributors; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Collaboration in Education establishes a needed framework for school/university collaborations that will be critical for others wishing to reproduce and participate in these partnerships. The contributors explore the elements necessary for sustainable collaboration in order to provide a frame of reference for others doing this work. This volume will help readers to ask the correct questions in thinking through school/university collaboration, such as: Does this collaboration make a true change in the way each parent organization operates in the future? Does it meet the needs of a m |
|
|
|
|
|
|
|
| |