Capture-Avoiding and Hygienic Program Transformations

Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture. Variable capture occurs when in the generated program a variable declaration accidentally shadows the intended target of a variable reference. Existing transformation systems either do not guarantee the avoidance of variable capture or impair the implementation of transformations. We present an algorithm called name-fix that automatically eliminates variable capture from a generated program by systematically renaming variables. name-fix is guided by a graph representation of the binding structure of a program, and requires name-resolution algorithms for the source language and the target language of a transformation. name-fix is generic and works for arbitrary transformations in any transformation system that supports origin tracking for names. We verify the correctness of name-fix and identify an interesting class of transformations for which name-fix provides hygiene. We demonstrate the applicability of name-fix for implementing capture-avoiding substitution, inlining, lambda lifting, and compilers for two domain-specific languages

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Sustainable Food Production and Consumption

According to the Food and Agriculture Organization of the United Nations, one-third of the world’s food produced for human consumption is lost or discarded. Meanwhile, the world needs to create a sustainable food future to feed the more than 9 billion people that are expected to inhabit the planet by 2050. The United Nations’ Sustainable Development Goals represent a global agenda for improving sustainability at a global level, and one of these goals (goal 12) is devoted to ensuring sustainable production and consumption patterns. This Special Issue intends to unify multidisciplinary areas of knowledge, under the sustainability pillar, based on knowledge about one of the most relevant agents for overall environmental impacts: food production and consumption. Therefore, the aim of this Special Issue is to highlight sustainability assessment in the contexts of agri-food production, food consumption, and food waste reduction to meet the needs of updating knowledge and developing new skills required by multiple social and economic agents. Food waste implies significant economic losses, ethical and social issues, adverse environmental effects, and considerable nutritional consequences, posing a threat to global sustainability. The purpose of this issue is to shine a light on the significance of research and practical initiatives engaged in the United Nations Agenda 2030 for Sustainable Development, specifically in protecting the planet by promoting sustainability in food production and consumption aiming at informing and influencing policy and practice globally

Sustainable development under the conditions of European integration. Part I

This collective monograph offers the description of sustainable development in the condition of European integration. The authors of individual chapters have chosen such point of view for the topic which they considered as the most important and specific for their field of study using the methods of logical and semantic analysis of concepts, the method of reflection, textual reconstruction and comparative analysis. The theoretical and applied problems of sustainable development in the condition of European integration are investigated in the context of economics, education, cultural, politics and law

Social work with airports passengers

Social work at the airport is in to offer to passengers social services. The main methodological position is that people are under stress, which characterized by a particular set of characteristics in appearance and behavior. In such circumstances passenger attracts in his actions some attention. Only person whom he trusts can help him with the documents or psychologically