Mixed computation: potential applications and problems for study

AbstractMixed computation is processing of an incomplete information. Its product are a partially processed information and a so-called residual program destined to complete in sequel the processing of the remaining information. Many kinds of practical work with programs are nothing more but obtaining a residual program. We demonstrate, as an example, the application of mixed computation to compilation. Under computational approach mixed computation generalizes the operational semantics of a language by inclusion of steps which generate residual program instructions. Under transformational approach the residual program is obtained as a result of a series of so-called basic transformations of the program text. We argue that the transformational approach is more fundamental, for it allows to describe mixed computation in all its variety and moreover, to relate mixed computation to other kinds of program manipulation: execution, optimization, macroprocessing, synthesis. Such an integrated approach leads us to a transformational machine concept

Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming

AbstractAn extension of the inductive assertion method allowing one to prove the partial correctness of an attribute grammar w.r.t. a specification is presented. It is complete in an abstract sense. It is also shown that the semantics of systems of recursive imperative procedures or of recursive applicative procedures computed with call-by-value or call-by-name can be expressed by an attribute grammar associating attributes with the nodes of the so-called trees of calls. Hence the proof methods for the partial correctness of attribute grammars can be applied to these recursive procedures. We show also how the proof method can be applied in logic programming

A COMPARISON BETWEEN MOTIVATIONS AND PERSONALITY TRAITS IN RELIGIOUS TOURISTS AND CRUISE SHIP TOURISTS

The purpose of this paper is to analyze the motivations and the personality traits that characterize tourists who choose religious travels versus cruises. Participating in the research were 683 Italian tourists (345 males and 338 females, age range 18–63 years); 483 who went to a pilgrimage travel and 200 who chose a cruise ship in the Mediterranean Sea. Both groups of tourists completed the Travel Motivation Scale and the Big Five Questionnaire. Results show that different motivations and personality traits characterize the different types of tourists and, further, that motivations for traveling are predicted by specific —some similar, other divergent— personality trait

Implementation of Legal Protection for Journalists in Safeguarding Local Democracy

One of the reasons for the decline in Indonesia’s ranking in the freedom of the press and expression was due to the many cases of violence against journalists and the criminalization of those who expressed their opinions. Legal protection for journalists is a guarantee given by the government and the public to journalists in carrying out their journalistic duties. The study used an empirical legal approach or non- doctrinal research. This research was conducted in several media from 2011-2018 in Pekanbaru, Riau, Indonesia. The main findings of this study indicate that the phrase of ”protection” in the formulation of Law Number 40 of 1999 concerning the press has given rise to multiple interpretations which resulted in journalists experiencing pressure in carrying out their duties. In conclusion, it is highly recommended that the law should be revise

Dinamika Kelisanan dalam Tradisi Ruwatan di Daerah Sub-Budaya Mataraman

Makalah ini menyajikan tentang bagaimana teks lakon Murwakala digunakan dalam upacara ruwatan di daerah sub-budaya Mataraman yang meliputi daerah Nganjuk, Kediri, Kertosono, Tulungagung, dan Blitar. Sebagian orang beranggapan bahwa teks lakon Murwakala berbeda dengan teks lakon wayang kulit purwa yang lainnya. Teks ini dianggap sakral sehingga teks ini tidak boleh dimainkan oleh sembarang dalang pada sembarang waktu dan setiap kata yang digunakan dalam mantera mempunyai makna tertentu sehingga pembacaan dan penggunaan mantra-mantra tersebut harus hati-hati. Penelitian yang dilakukan oleh penulis menunjukkan bahwa setiap dalang ruwat dalam menyajikan teks lakon Murwakala menunjukkan versinya sendiri-sendiri yang berbeda satu dengan lainnya, walaupun mereka menggunakan pakem yang sama. Dengan kata lain dapat dikatakan bahwa teks lakon Murwakala yang digunakan dalam upacara ruwatan di daerah sub-budaya Mataraman menunjukkan berbagai varian. Varian terjadi karena beberapa hal seperti adanya perubahan penceritaan, cara berkomunikasi, pengalaman hidup atau latar belakang , dan tempat di mana dalang ruwat mengadakan upacara ruwatan. Secara singkat dapat dikatakan bahwa teks lakon Murwakala yang diceritakan dalam suatu tradisi ruwatan di daerah sub-budaya Mataraman menunjukkan adanya sifat kedinamisan. Cerita yang dianggap sakral ketika cerita tersebut diceritakan secara lisan sangat memungkinkan terjadinya suatu perubahan

Proceedings of the 23rd International Congress of Byzantine Studies : Thematic Sessions of Free Communications

This volume contains the abstracts of the free communications sessions from the 23rdInternational Congress of Byzantine Studies, taking the form of one hundred and seventeen thematic sessions and twenty poster presentations. The success of forty three sessions should be attributed above all to the conveners who designed and realised them in cooperation with other participants, and then presided over them at the Congress. This type of sessions was the organisers’ response to the challenge posed by a large number of high-quality proposals for round table discussion. Since it was not possible to implement all the received proposals into the round table sessions, the proposers were encouraged to present their ideas as Thematic Sessions of Free Communications.The remaining seventy-four sessions were selected by the organizer out of approximatelysix hundred abstracts submitted. Stanoje Bojanin (The Institute for Byzantine Studies) createdthe initial classification of abstracts according to thematic compatibility, and the final form of thesessions was determined by Vujadin Ivanišević (The Institute of Archeology), Srđan Pirivratić,Dejan Dželebdžić, Ljubomir Milanović and Miloš Živković (The Institute for Byzantine Studies).Tamara Matović and Miloš Cvetković (The Institute for Byzantine Studies), prepared the abstractsfor the Congress website, and then for this publication. Bojana Pavlović (The Institute for Byzantine Studies) made a significant contribution to organizing the sessions by taking on the bulk of the correspondence with the participants.In principle, all the abstracts in this book are published in the form they were submitted tothe organizer, but certain minor, sometimes unavoidable alterations were made to the headings.The index of the participant’s names, which is customary and necessary in printed publications, has been omitted from this searchable electronic book.We believe that the main purpose of this book is to present in one place the wide range oftopics featured at the Congress, which accurately reflects contemporary trends in Byzantine Studies. We present this book to the public in the hope that the larger part of the communications read at the Congress will find their way into published research papers

Proceedings of the 23rd International Congress of Byzantine Studies : Thematic Sessions of Free Communications

This volume contains the abstracts of the free communications sessions from the 23rd International Congress of Byzantine Studies, taking the form of one hundred and seventeen thematic sessions and twenty poster presentations. The success of forty three sessions should be attributed above all to the conveners who designed and realised them in cooperation with other participants, and then presided over them at the Congress. This type of sessions was the organisers’ response to the challenge posed by a large number of high-quality proposals for round table discussion. Since it was not possible to implement all the received proposals into the round table sessions, the proposers were encouraged to present their ideas as Thematic Sessions of Free Communications. The remaining seventy-four sessions were selected by the organizer out of approximately six hundred abstracts submitted. Stanoje Bojanin (The Institute for Byzantine Studies) created the initial classification of abstracts according to thematic compatibility, and the final form of the sessions was determined by Vujadin Ivanišević (The Institute of Archeology), Srđan Pirivratić, Dejan Dželebdžić, Ljubomir Milanović and Miloš Živković (The Institute for Byzantine Studies). Tamara Matović and Miloš Cvetković (The Institute for Byzantine Studies), prepared the abstracts for the Congress website, and then for this publication. Bojana Pavlović (The Institute for Byzantine Studies) made a significant contribution to organizing the sessions by taking on the bulk of the correspondence with the participants. In principle, all the abstracts in this book are published in the form they were submitted to the organizer, but certain minor, sometimes unavoidable alterations were made to the headings. The index of the participant’s names, which is customary and necessary in printed publications, has been omitted from this searchable electronic book. We believe that the main purpose of this book is to present in one place the wide range of topics featured at the Congress, which accurately reflects contemporary trends in Byzantine Studies. We present this book to the public in the hope that the larger part of the communications read at the Congress will find their way into published research papers