Imperative Paradigm Research Articles

Old Icelandic veri

Abstract In Modern Icelandic the form veri of the verb vera ‘to be’ is seen as a subjunctive expressing a wish. Treating Old Norse veri, earlier vesi, as an imperative of the third person simplifies the vera paradigm. A survey of the oldest attestations shows that veri not only fits qua form in the imperative paradigm, but also behaves like an imperative and expresses a command. The hypothesis that veri is an imperative can be extended to: Old Norse had an imperative of the 3rd person consisting of stem+i. What usually is called the use of the 3rd person subjunctive to fill in for the missing 3rd person imperative, would then be nothing else than a real imperative, which, however, in all verbs except vera coincides in form with the subjunctive. The form verir looks like a counter example to the hypothesis, but it is only found twice in poetry, never in prose, and can be explained as a common copying error. We cannot ask the native speakers of Old Norse, so the description of Old Norse veri as a subjunctive is a hypothesis as well. It is argued that seeing veri as an imperative is the more elegant solution.

Aspects of Creating Parallel Programs in Dataflow Programming Paradigm

The imperative programming paradigm is the main one for creating sequential and parallel programs for the vast majority of modern computers, including supercomputers. A feature of the imperative paradigm is the sequence of commands. This feature is an obstacle to the creation of efficient parallel programs, since parallelism is achieved at the expense of additional code. One of the solutions to the problem of overhead for parallel computing is the creation of such a computing model and the architecture of the system that implements it, for which the parallel execution of the algorithm is an immanent property. This model is a dataflow computing model with a dynamically formed context and the architecture of the parallel dataflow computing system "Buran". A complete transition to dataflow systems is hampered, among other things, by the conceptual difference between the dataflow programming paradigm and the imperative one. The article compares these two paradigms. First, parallel data processing is an inherent property of a dataflow program. Second, the dataflow program consists of three elements: a set of initial data, a program code, and a parameterizable distribution function. And third, a conceptually different approach to the algorithmization of the task — the data themselves store information about who should process them (in traditional programs, on the contrary, the command stores information about what data should be processed). The article also presents the structure of a dataflow program and the route for creating a dataflow algorithm. The translation of basic algorithmic constructions (following, branching, loops) is considered on the example of simple problems.

Coeffects for sharing and mutation

In type-and-coeffect systems , contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bottom-up, combining, for each term, the coeffects of its subterms, through a fixed set of algebraic operators. We show that this principled approach can be adopted to track sharing in the imperative paradigm, that is, links among variables possibly introduced by the execution. This provides a significant example of non-structural coeffects, which cannot be computed by-variable, since the way a given variable is used can affect the coeffects of other variables. To illustrate the effectiveness of the approach, we enhance the type system tracking sharing to model a sophisticated set of features related to uniqueness and immutability. Thanks to the coeffect-based approach, we can express such features in a simple way and prove related properties with standard techniques.

Developing Problem Solving Competency Using Functional Programming Style

This paper is dedicated to the challenges of the education that high school students are facing while developing specific competencies related to the functional programming style (FPS). The presented educational approach consists of two components: first, learning FPS by comparing it with the imperative, procedural, object-oriented and logic programming paradigms and second, using competencies based approach for solving practical problems with functional programming. The paper presents a problem set and the phases of its application in the learning process. The results and the analysis of the approach are presented in two groups of high school students which develop successfully their specific competencies for using FPS for practical problem solving. The presented results show that the students are understanding easier FPS and its differences from their known paradigms (imperative, procedural, object-oriented and logical) by using a problem set with properly prepared practical problems which they can solve in multiple ways which lead them to the FPS solution.

Aprender a melhor programar computadores: com métodos e ferramentas que permitem conceber, executar e testar programas — casos de programação interactiva e recursiva

How to design and code a good Program for Computer Programming? This is a question that is always present in the mind of those who learn and teach Programming. Facing a Problem to be solved, this article presents methods to design Programming solutions, presenting case studies with the application of Iterative and Recursive Programming methods, both in the design, as in the coding, execution and testing of Programs, in a learning environment interactive. The Python Programming Language was justifiably chosen, in its imperative paradigm component, and the Online Python Tutor tool was applied for coding, execution and testing, which allows, in an interactive way, to understand the execution of the program and observe the state of the data structures involved, step by step.

Scalable Declarative HEP Analysis Workflows for Containerised Compute Clouds.

We describe a novel approach for experimental High-Energy Physics (HEP) data analyses that is centred around the declarative rather than imperative paradigm when describing analysis computational tasks. The analysis process can be structured in the form of a Directed Acyclic Graph (DAG), where each graph vertex represents a unit of computation with its inputs and outputs, and the graph edges describe the interconnection of various computational steps. We have developed REANA, a platform for reproducible data analyses, that supports several such DAG workflow specifications. The REANA platform parses the analysis workflow and dispatches its computational steps to various supported computing backends (Kubernetes, HTCondor, Slurm). The focus on declarative rather than imperative programming enables researchers to concentrate on the problem domain at hand without having to think about implementation details such as scalable job orchestration. The declarative programming approach is further exemplified by a multi-level job cascading paradigm that was implemented in the Yadage workflow specification language. We present two recent LHC particle physics analyses, ATLAS searches for dark matter and CMS jet energy correction pipelines, where the declarative approach was successfully applied. We argue that the declarative approach to data analyses, combined with recent advancements in container technology, facilitates the portability of computational data analyses to various compute backends, enhancing the reproducibility and the knowledge preservation behind particle physics data analyses.

FuncADL: Functional Analysis Description Language

The traditional approach in HEP analysis software is to loop over every event and every object via the ROOT framework. This method follows an imperative paradigm, in which the code is tied to the storage format and steps of execution. A more desirable strategy would be to implement a declarative language, such that the storage medium and execution are not included in the abstraction model. This will become increasingly important to managing the large dataset collected by the LHC and the HL-LHC. A new analysis description language (ADL) inspired by functional programming, FuncADL, was developed using Python as a host language. The expressiveness of this language was tested by implementing example analysis tasks designed to benchmark the functionality of ADLs. Many simple selections are expressible in a declarative way with FuncADL, which can be used as an interface to retrieve filtered data. Some limitations were identified, but the design of the language allows for future extensions to add missing features. FuncADL is part of a suite of analysis software tools being developed by the Institute for Research and Innovation in Software for High Energy Physics (IRIS-HEP). These tools will be available to develop highly scalable physics analyses for the LHC.

Pisa 2021: Knowledge of Computational Logic in the Mathematics Exam

Background : the model question that will be present in the PISA 2021 exam, with the insertion of knowledge related to programming logic in the test that re-analyses mathematical literacy, may not effectively assess the students' potential mathematical knowledge, as students are led to solving the question by using the data presented in its statement. Objectives : to analyse a model question that will be present in the new form of evaluation of PISA 2021 regarding the insertion of integrated programming logic with the different literacies. Design : we assume a qualitative study, with exploratory and explanatory research, when it incorporates elements of two investigative designs: bibliographic and documentary research. Setting and Participants : the study was developed based on model questions from PISA 2021 provided by the OECD. Data collection and analysis : the question of PISA 2021 is organised with increasing difficulty and the analysis observes how we understand that the result of questions of a programming logic nature in the Mathematics assessment is moving towards the insertion of a new literacy in the assessed role: Digital Literacy. Results: we highlighted three levels of knowledge of programming logic, with emphasis on the imperative paradigm, used for the design of resolution: recognition of patterns, structures of logical controls and representation by variables. Conclusions : we conclude the students need to be able to assess and use the information critically if they want to turn it into knowledge, recognising patterns and inferring a critical position as to its consequences, aspects that cover what we understand as Digital Literacy.

Towards Circular Economy in the Agri-Food Sector. A Systematic Literature Review

Over the last decade, the unsustainability of the current economic model, based on the so-called take-make-dispose paradigm, has emerged. In particular, the agro-food sector (AFS) has been severely affected by such problems as resource scarcity and food loss and waste generation along the supply chain. In addition, climate change and biodiversity loss have helped to define an imperative paradigm shift towards a circular economy. Recently, with the publication of Sustainable Development Goals (SDGs), the scientific research examining the adoption of circular economy (CE) models and tools has increased. In this context, the importance of shifting towards a circular economy has become urgent. In this paper, a systematic literature review (SLR) was performed to investigate the state-of-the-art research related to the adoption of circular economy models and tools along the agro-food supply chain. Furthermore, this review highlights that, due to the complexity of the agri-food supply chain, it is almost utopian to define a unique circular economy model for the whole sector. In addition, it emerges that future researches should be concentrated on the integration of different stages of the supply chain with circular economy models and tools in order to create a closed-loop agri-food system.

Modern Religious Slavery in Nigeria: The Christian Perspective

Gandhi's concept of nonviolence has a humanistic approach. He tried to change the very character of every Indian in the society where he lived. He said that man is basically a violent being, but gradually he can become non-violent if he desires. He recognizes that man is a conditional being and as such subject to the determination of the physical world. The ultimate end in man's life for Gandhi is realizing the Absolute. Pertinent to note that, Gandhi had spent quite some time in his tutelage in Southern Africa where his experiences impelled him to adopt non-violence as the only paradigm to overcome oppression and domination in his country India. British oppression and inhumanity were so severe and intensive that Gandhi was cautious about the use of violence, alternatively, he adopted non-violence to be the only imperative paradigm to dislodge the domination and inhumane treatment of the British against the Indians in South Africa. In this respect, I recommend Gandhi's non-violence principles as a fundamental paradigm towards peace in Africa. Peace in Africa is imperative for human and societal development especially as one sees Africa grappling with instabilities, insurgencies, terrorism, xenophobia, political upheavals, nepotism and gender agitations. In this article, I recognize Gandhi’s postulations on non-violence as an initiative which if adopted and its dictates are adhered to, could enhance peace in Africa.

Gandhi’s philosophy of non-violence: towards conflict resolution and peace in Africa

Gandhi's concept of nonviolence has a humanistic approach. He tried to change the very character of every Indian in the society where he lived. He said that man is basically a violent being, but gradually he can become non-violent if he desires. He recognizes that man is a conditional being and as such subject to the determination of the physical world. The ultimate end in man's life for Gandhi is realizing the Absolute. Pertinent to note that, Gandhi had spent quite some time in his tutelage in Southern Africa where his experiences impelled him to adopt non-violence as the only paradigm to overcome oppression and domination in his country India. British oppression and inhumanity were so severe and intensive that Gandhi was cautious about the use of violence, alternatively, he adopted non-violence to be the only imperative paradigm to dislodge the domination and inhumane treatment of the British against the Indians in South Africa. In this respect, I recommend Gandhi's non-violence principles as a fundamental paradigm towards peace in Africa. Peace in Africa is imperative for human and societal development especially as one sees Africa grappling with instabilities, insurgencies, terrorism, xenophobia, political upheavals, nepotism, and gender agitations. In this article, I recognize Gandhi’s postulations on non-violence as an initiative which if adopted and its dictates are adhered to, could enhance peace in Africa.

Preventive healthcare policies in the US: solutions for disease management using Big Data Analytics

Data-driven healthcare policy discussions are gaining traction after the Covid-19 outbreak and ahead of the 2020 US presidential elections. The US has a hybrid healthcare structure; it is a system that does not provide universal coverage, albeit few years ago enacted a mandate (Affordable Care Act-ACA) that provides coverage for the majority of Americans. The US has the highest health expenditure per capita of all western and developed countries; however, most Americans don’t tap into the benefits of preventive healthcare. It is estimated that only 8% of Americans undergo routine preventive screenings. On a national level, very few states (15 out of the 50) have above-average preventive healthcare metrics. In literature, many studies focus on the cure of diseases (research areas such as drug discovery and disease prediction); whilst a minority have examined data-driven preventive measures—a matter that Americans and policy makers ought to place at the forefront of national issues. In this work, we present solutions for preventive practices and policies through Machine Learning (ML) methods. ML is morally neutral, it depends on the data that train the models; in this work, we make the case that Big Data is an imperative paradigm for healthcare. We examine disparities in clinical data for US patients by developing correlation and imputation methods for data completeness. Non-conventional patterns are identified. The data lifecycle followed is methodical and deliberate; 1000+ clinical, demographical, and laboratory variables are collected from the Centers for Disease Control and Prevention (CDC). Multiple statistical models are deployed (Pearson correlations, Cramer’s V, MICE, and ANOVA). Other unsupervised ML models are also examined (K-modes and K-prototypes for clustering). Through the results presented in the paper, pointers to preventive chronic disease tests are presented, and the models are tested and evaluated.

The pattern of law principles’ comprehension by persons with mild intellectual disability

This article presents the research conducted on intellectually disabled persons employed in the Professional Activation Municipality Institution in Dobra (Poland). The main aim of this analysis was to uncover how persons with mild intellectual disability understand law principles. In the conducted studies qualitative strategies, such as, imperative theoretical paradigm and phenomenological approach were used. Gathered empirical materials were used as a basis for reconstructing the experiences of researched employees, by decoding and describing the way mildly disabled persons understand law principles.

Bidirectional Transformation of MES Source Code and Ontologies

Future production environments must be flexible and reconfigurable. To achieve this, the devices and services to fulfill the different steps of a production order (PO) should not be selected in the manufacturing execution system (MES), but in an edge component close to the shop floor. To enable this, abstract services in the PO and concrete services provided by the field devices on the shop floor need to refer to a production ontology. The creation of this ontology is a challenge of its own. This research proposes a pragmatic automation of an encoding of a primary and light weight production ontology based on the source code of MES. The transformation procedure of source code to resource, product and generic concepts of the manufacturing plant ontology is described. To this end, the knowledge of OPC UA collaborations are also exploited during the creation of resource ontologies. Due to a fundamental difference between source code implementation (imperative paradigm) and ontology representation (declarative paradigm), the problem of information loss is inevitable. This problem is overcome by formulation of production and business rules that encapsulate the logic of the MES. The foundation of ontology is exploited to formulate these rulesets using OWL based constructs and OWL based rule languages such as Semantic Web Rule Language (SWRL), Semantic Query-Enhanced Web Rule Language (SQWRL) and SPARQL Protocol and RDF Query Language (SPARQL) based on feasibility and requirements of specific rules. Further, these rulesets are either run on the automatically generated ontology at design time with an intention to enrich the knowledge base, or production runtime to validate the pre-defined business rules between the production steps. The generated ontology also acts as basis for automatically generating the OWL-S ontologies for the OPC UA application methods for the purpose of dynamic manufacturing service discovery and orchestration. The generated ontology and an abstract PO hooked with formulated rules are cached to the shop-floor network for consequent production control to enable smart edge production. An implementation is conducted on an industrial use-case demonstrator to evaluate the applicability of the proposed approach.

ВЗАИМОДЕЙСТВИЕ КАТЕГОРИЙ ЛИЦА, ЧИСЛА И МОДАЛЬНОСТИ В ИРРЕАЛЬНЫХ КОНСТРУКЦИЯХ МАКЕДОНСКОГО ЯЗЫКА

The paper provides an in-depth analysis of functional features of the analytical first-person singular da-construction in the standard Macedonian language. When it is used in an independent clause, the daconstruction has a wide range of modal meanings, the most common of which are imperative and optative. The interaction of the grammatical categories of person, number and modality in the da-construction leads to changes in its meaning and shows its functional potential to indicate the speaker’s communicative intentions. The chosen semasiological approach to describing the da-construction is combined with the functional analysis and the communicative-pragmatic approach. The research material consists of about 200 examples gathered from contemporary Macedonian literary works and journalistic articles. 1. Da-construction has a full non-defective conjugation paradigm with an imperative meaning, where the first singular verb form has a special status. Directive speech acts, where imperative forms are usually used, are not supposed to combine a speaker and an addressee in one person, which causes semantic modification of the da-construction with a 1Sg verb: initially related to the imperative analytical paradigm, it describes the speaker’s intention to perform an action which he / she considers necessary. In addition, this type of construction marks a point in decision- making that is followed by the change of the speaker’s cognitive status; the only exception is the da-construction including verbs of perception, which points to an indirect causation of the addressee. 2. Independent 1Sg da-constructions with speech verbs and cognitive verbs tend to become idiomatic in meaning, which causes their use as discourse markers. Functioning as metacommentary, they help the speaker to direct the dialogue according to his/her communicative intentions. 3. The interaction of grammatical categories in the optative da-construction transforms curses to vows that have a function to confirm the truth of the speaker’s words and his / her commitment to face consequences in case of lying.

C in CS1: Snags and Viable Solution

Programming is one of the career rewarding skills; however, learning programming skill is extremely hard and arduous as supported by several studies. The first programming language has an everlasting impact on the programmer's program's development abilities. In most of the universities the imperative paradigm is used for introductory programming courses and generally C language is used as a base language of a first programming course. The C language is a leading programming language and extensively utilized for commercial applications. The majority of the programming languages are highly motivated from the C language, yet its intrinsic complexities and non-pedagogic origin evidently makes it hard and a complex choice for a first programming course. This paper proposed a rational and realizable solution that can make a C language a suitable choice for a first the course of programming. dexterity of programming experts. Their knowledge is not general but context specific [6]. Beginning students are restricted to the surface knowledge, deficient in comprehensive mental models, unsuccessful to employ pertinent knowledge, and visualize the programming line-by-line rather than utilizing consequential program components or formations. The introductory programming course is a " gate-keeper " to triumph and success in computer science/ computing education [7]. The significance of an appropriately defined first course in programming (usually called CS1) can not be overstated. The first programming course leaves the beginning students with good programming practices [8]. A poor experience may have a worse impact on student attitude, and may result in a change in majors.

Imperative Paradigm in Chukotko-Kamchatkan Languages Is Not Formally Homogeneous

In this paper, we argue that the imperative paradigm in Chukotko-Kamchatkan languages, often viewed as morphologically homogeneous, is — at least in terms of its morphology — a composition of several independent inflectional categories.

Understanding the use of lambda expressions in Java

Java 8 retrofitted lambda expressions, a core feature of functional programming, into a mainstream object-oriented language with an imperative paradigm. However, we do not know how Java developers have adapted to the functional style of thinking, and more importantly, what are the reasons motivating Java developers to adopt functional programming. Without such knowledge, researchers miss opportunities to improve the state of the art, tool builders use unrealistic assumptions, language designers fail to improve upon their designs, and developers are unable to explore efficient and effective use of lambdas.We present the first large-scale, quantitative and qualitative empirical study to shed light on how imperative programmers use lambda expressions as a gateway into functional thinking. Particularly, we statically scrutinize the source code of 241 open-source projects with 19,770 contributors, to study the characteristics of 100,540 lambda expressions. Moreover, we investigate the historical trends and adoption rates of lambdas in the studied projects. To get a complementary perspective, we seek the underlying reasons on why developers introduce lambda expressions, by surveying 97 developers who are introducing lambdas in their projects, using the firehouse interview method.Among others, our findings revealed an increasing trend in the adoption of lambdas in Java: in 2016, the ratio of lambdas introduced per added line of code increased by 54% compared to 2015. Lambdas were used for various reasons, including but not limited to (i) making existing code more succinct and readable, (ii) avoiding code duplication, and (iii) simulating lazy evaluation of functions. Interestingly, we found out that developers are using Java's built-in functional interfaces inefficiently, i.e., they prefer to use general functional interfaces over the specialized ones, overlooking the performance overheads that might be imposed. Furthermore, developers are not adopting techniques from functional programming, e.g., currying. Finally, we present the implications of our findings for researchers, tool builders, language designers, and developers.

FONKSİYONEL PROGRAMLAMA DİLLERİ İLE PARALEL PROGRAMLAMA

In the present day parallel systems has a significant importance. These systems could make computations faster and more efficent. However software has to be designed accordingly and using the common imperative paradigm it could be relatively harder and costs more. Because of coming with easier solutions to this problem, functional paradigm is getting more popular nowadays. In this paper some parallel programming models and techniques are reviewed. It also examines how these models and techniques are implemented on functional programming languages.

When terminology matters: The imperative as a comparative concept

AbstractThe imperative should be thought of as a comparative concept, defined as a sentence type whose only prototypical function is the performance of the whole range of directive speech acts. Furthermore, for a non-second-person form to count as an imperative it must be homogeneous with the second-person form, thereby allowing true imperative paradigms to be distinguished from those that recruit alternative structures. This definition of the imperative sentence type allows more accurate crosslinguistic analysis of imperative paradigms, and provides principled grounds for distinguishing between imperative and so-called “hortative” and “jussive” forms. It also helps to clarify the irrealis – or better –