scholarly journals Program Specialization as a Tool for Solving Word Equations

2021 ◽  
Vol 341 ◽  
pp. 42-72
Author(s):  
Antonina Nepeivoda
2018 ◽  
Vol 162 (2-3) ◽  
pp. 223-235 ◽  
Author(s):  
Aleksi Saarela
Keyword(s):  

Author(s):  
Siva Anantharaman ◽  
Peter Hibbs ◽  
Paliath Narendran ◽  
Michael Rusinowitch
Keyword(s):  

10.29007/gpsh ◽  
2018 ◽  
Author(s):  
Abdulbasit Ahmed ◽  
Alexei Lisitsa ◽  
Andrei Nemytykh

It has been known for a while that program transformation techniques, in particular, program specialization, can be used to prove the properties of programs automatically. For example, if a program actually implements (in a given context of use) a constant function, sufficiently powerful and semantics preserving program transformation may reduce the program to a syntactically trivial ``constant'' program, pruning unreachable branches and proving thereby the property. Viability of such an approach to verification has been demonstrated in previous works where it was applied to the verification of parameterized cache coherence protocols and Petri Nets models.In this paper we further extend the method and present a case study on its appication to the verification of a cryptographic protocol. The protocol is modeled by functional programs at different levels of abstraction and verification via program specialization is done by using Turchin's supercompilation method.


2020 ◽  
Vol 30 (04) ◽  
pp. 731-819
Author(s):  
Volker Diekert ◽  
Murray Elder

It is well known that the problem solving equations in virtually free groups can be reduced to the problem of solving twisted word equations with regular constraints over free monoids with involution. In this paper, we prove that the set of all solutions of a twisted word equation is an EDT0L language whose specification can be computed in PSPACE . Within the same complexity bound we can decide whether the solution set is empty, finite, or infinite. In the second part of the paper we apply the results for twisted equations to obtain in PSPACE an EDT0L description of the solution set of equations with rational constraints for finitely generated virtually free groups in standard normal forms with respect to a natural set of generators. If the rational constraints are given by a homomorphism into a fixed (or “small enough”) finite monoid, then our algorithms can be implemented in [Formula: see text], that is, in quasi-quadratic nondeterministic space. Our results generalize the work by Lohrey and Sénizergues (ICALP 2006) and Dahmani and Guirardel (J. of Topology 2010) with respect to both complexity and expressive power. Neither paper gave any concrete complexity bound and the results in these papers are stated for subsets of solutions only, whereas our results concern all solutions.


Author(s):  
Елена Алексеевна Кузина ◽  
Анастасия Игоревна Петрова

В статье раскрываются исторические и экономические предпосылки формирования конструкторских навыков у студентов - будущих дизайнеров. Современные требования к специалистам дизайнерского профиля подготовки описываются согласно ФГОС высшего образования и среднего профессионального образования. Теоретической базой исследования стали работы российских ученых в области истории дизайна, образования, дизайн-образования, словари профессиональных терминов. Кроме того, был изучен классификатор рабочих профессий на предмет востребованности конструкторских навыков в профессии дизайнера. В статье рассмотрены исторические данные о формировании конструкторских навыков в мировых школах дизайна - советском ВХУТЕМАС-ВХУТЕИН и немецком «Баухаузе», которые определили принципиальные позиции дизайн-образования. Развитие конструкторских навыков входило в фундаментальную подготовку специалистов в этих известных учебных заведениях. Проведен анализ рынка труда и перспектив развития экономики в двух регионах Российской Федерации - Чувашской Республике и Алтайском крае, который показал, что востребованность специалистов с конструкторскими навыками, обладающих технической компетенцией, будет расти. Производство, промышленность и строительство стабильно развиваются. Следовательно, востребованность дизайнеров в студиях дизайна и интерьера, на мебельных производствах и мебельных салонах-магазинах будет расти. На основании контент-анализа педагогической литературы и словарей профессиональных терминов нами сформулировано обобщенное определение понятия «конструкторские навыки». Обосновывается актуальность овладения конструкторскими навыками для студентов дизайнерского профиля подготовки. Разнообразие трактовок понятий «конструировать», «конструирование» и «навык», обобщенная собственная формулировка понятия «конструкторские навыки» позволит продолжить исследование, выявить в дальнейшем дескрипторы, описать их и предложить педагогические условия для успешного формирования этих навыков. The article considers the historical and economic preconditions for the formation of design skills at students majoring in design. Modern requirements for students of design educational program specialization are described in accordance with the Federal State Educational Standard of Higher Education and Secondary Professional Education. The theoretical basis of the study is the works of Russian researchers in the field of the history of design, education, design education, as well the vocabularies of professional terms. The authors studied the classifier of occupations for the relevance of design skills in design professions. The article examines some historical data on the formation of design skills in the world design schools (the Soviet VKHUTEMAS-VKHUTEIN and the German Bauhaus), which determined the fundamental positions of design education. The development of design skills was part of the fundamental training of specialists in these renowned educational institutions. The article also provides the analysis of the labour market and the prospects for economic development in two regions of the Russian Federation (the Chuvash Republic and the Altai Territory). It showed that the demand for designers will grow. Manufacturing, industry and construction are developing steadily. Consequently, the demand for designers in design and interior studios, in furniture production and furniture showrooms will grow. Based on the content analysis of pedagogical literature and vocabulary of professional terms, the authors formulated a generalized definition of the concept of design skills. The urgency of mastering design skills for design students is substantiated. A variety of interpretations of the concepts of design, construction and skill, a generalized authors’ definition of the concept of design skills makes it possible to continue this study, identify descriptors in the future, describe them and suggest some pedagogical conditions for successful formation of the above-mentioned skills.


Sign in / Sign up

Export Citation Format

Share Document