Results 31 to 40 of about 28,345 (238)
Programming language design [PDF]
I can still find no better way to express my thoughts on this subject than the following [McKeeman 66]: “The universe and its reflection in the ideas of man have wonderfully complex structures. Our ability to comprehend this complexity and perceive an underlying simplicity is intimately bound with our ability to symbolize and communicate our experience.
openaire +1 more source
Program Equivalence in the Erlang Actor Model
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky +2 more
doaj +1 more source
Implementation of hyperbolic complex numbers in Julia language
Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source
It is evident that learning and teaching computer programming are considered as one of the striking challenges in academic environments. Meanwhile, selecting the correct and appropriate materials can leave an enormous impact in learning computer ...
Rania Azad M. San Ahmed +3 more
doaj +1 more source
Language Support for Generic Programming in Object-Oriented Languages: Design Challenges
It is generally considered that object-oriented (OO) languages provide weaker support for generic programming (GP) as compared with functional languages such as Haskell or SML. There were several comparative studies which showed this. But many new object-
Julia Belyakova
doaj +1 more source
ABSTRACT Introduction We developed MedSupport, a multilevel medication adherence intervention designed to address root barriers to medication adherence. This study sought to explore the feasibility and acceptability of the MedSupport intervention strategies to support a future full‐scale randomized controlled trial.
Elizabeth G. Bouchard +8 more
wiley +1 more source
Various static code analysis tools have been designed to automatically detect software faults and security vulnerabilities. This paper aims to 1) conduct an empirical evaluation to assess the performance of five free and state-of-the-art static analysis ...
Midya Alqaradaghi, Tamas Kozsik
doaj +1 more source
Summary: The history of creating the algorithmic language LYaPAS is told. The characteristic peculiarities of the language and its realizing systems for various types of computers are in short described. The main stages of the language development and its spreading are demonstrated.
openaire +2 more sources
ABSTRACT Ongoing evidence indicates increased risk of sarcopenic obesity among children and young people (CYP) with acute lymphoblastic leukemia (ALL), often beginning early in treatment, persisting into survivorship. This review evaluates current literature on body composition in CYP with ALL during and after treatment.
Lina A. Zahed +5 more
wiley +1 more source
Online Peer-Tutoring for Programming Languages Based on Programming Ability and Teaching Skill
Web-based cooperative learning could enhance students’ learning motivation; however, learning activities in this process are rather confusing because of the lack of structured learning strategies, resulting in unfavorable learning achievements.
Yu-Chen Kuo, Ching-Bang Yao, Zhe-Yu Wu
doaj +1 more source

