Results 1 to 10 of about 1,728,585 (336)
Programming Language Features for Refinement [PDF]
, 2016 Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language, but
Koenig, Jason, Leino, K. Rustan M.
core +8 more sources
LANGUAGE POLICY IN EUROPE - BABYLON OF THE XXI CENTURY
Vestnik MGIMO-Universiteta, 2014 In recent decades, much has been written about the dialogue of cultures and differences between them manifested by languages, which are the objects of interdisciplinary research. However, the active role of multiplicity of languages and their interaction
K. Kh. Rekosh
doaj +5 more sources
Legal status of a disabled person in executive penal proceedings [PDF]
Probacja, 2023 This article discusses the problem of the position of a disabled person appearing in executive criminal proceedings. Due to the wide range of topics concerning both the disability itself and the rights and obligations of people with disabilities in ...
Mieczysław Oliwa
doaj +1 more source
Multilingualism as a Principle of the EU Court of Justice
Vestnik MGIMO-Universiteta, 2014 Since the jurisprudence reflects relations between the institutions, bodies and organizations of the EU and native speakers, the EU Court of Justice plays a huge role in shaping the legal discourse.
Karina Kh. Rekosh
doaj +5 more sources
The Role of Emojis in Crime and Interpretive Challenges [PDF]
پژوهشهای حقوقی, 2023 In online communication, emojis are widely used and are often considered as beautiful and exciting additions to the original text. Emojis are now referred to as the "language of the online age" and "the fastest growing language in the world." In digital ...
Zeinab Laki, Razieh Saberi, Abbas Moradi
doaj +1 more source
Trends in the use of commissives in the informal judicial system of Sulha
Studies in English Language and Education, 2023 This article investigates the trends in using commissive speech in Sulha proceedings in Jordan. Sulha focuses on a dispute-resolution system in Arab society that uses the Bedouin Arabic dialect as the primary language of communication.
Mohamed Ayed Ibrahim Ayassrah +1 more
doaj +1 more source
Tactical and psychological features of interrogating suspects with interpreter’s participation [PDF]
SHS Web of Conferences, 2023 The work aims to consider issues related to the peculiarity of interrogating suspects with the participation of an interpreter in the investigation of crimes during the preliminary investigation.
Shvets Sergey +5 more
doaj +1 more source
Proceedings of the Ancient Language Processing Workshop
, 2023 Proceedings of the Ancient Language Processing Workshop (8th September 2023)
Anderson Adam +5 more
openaire +1 more source
Proceedings of the Conference Language and Power
, 2023 These proceedings present selected research papers from the international conference Language and Power held at the University of Münster in March 2023. In particular, the authors engage in a critical discussion of the following questions: 1. How can language practices establish gender equality or postulate the prevalence of a certain gender? 2. How do
Kashkarova, Polina (Ed.) +5 more
openaire +1 more source
An Audit Logic for Accountability [PDF]
, 2005 We describe and implement a policy language. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the specification of conditions and obligations, and also the possibility to refine ...
Cederquist, J.G. +6 more
core +11 more sources