Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- review-articleJuly 2024
The rise of nonnegative matrix factorization: Algorithms and applications
Highlights- NMF has been applied in about 130 fields (disciplines) in recent years.
- The use of NMF in programming languages (free platforms) is summarized.
- The classical basic NMF optimization methods are used in many NMF algorithms.
- ...
Although nonnegative matrix factorization (NMF) is widely used, some matrix factorization methods result in misleading results and waste of computing resources due to lack of timely optimization and case-by-case consideration. Therefore, an up-to-...
- research-articleJuly 2024
★piler: Compilers in search of compilations
Journal of Systems and Software (JSSO), Volume 212, Issue CJun 2024https://doi.org/10.1016/j.jss.2024.112006AbstractCompilers pose significant challenges in their development as software products. Language developers face the complexities of ensuring efficiency, adhering to good design practices, and maintaining the overall codebase. These factors make it ...
Highlights- ★piler is a compilation infrastructure to develop source-to-source transpilers.
- It uses small transpilation units (δ) that are composed to get full transpilations.
- A* with an heuristic induced by the δ application is used to get ...
- research-articleMay 2024
A graph-based methodology for constructing computational models that automates adjoint-based sensitivity analysis
Structural and Multidisciplinary Optimization (SPSMO), Volume 67, Issue 5May 2024https://doi.org/10.1007/s00158-024-03792-0AbstractThe adjoint method provides an efficient way to compute sensitivities for system models with a large number of inputs. However, implementing the adjoint method requires significant effort that limits its use. The effort is exacerbated in large-...
- research-articleNovember 2023
Do developer perceptions have borders? Comparing C code responses across continents
Software Quality Journal (KLU-SQJO), Volume 32, Issue 2Jun 2024, Pages 431–457https://doi.org/10.1007/s11219-023-09654-0AbstractRecent studies have empirically validated the existence of small patterns in C code, named atoms of confusion (or atoms for short), that can interfere with program comprehension. The focus of this research is an attempt to see if these patterns in ...
- research-articleNovember 2023
On the persistent rumors of the programmer’s imminent demise
Software and Systems Modeling (SoSyM) (SPSSM), Volume 22, Issue 6Dec 2023, Pages 1969–1976https://doi.org/10.1007/s10270-023-01136-yAbstractSince the dawn of programming, several developments in programming language design and programming methodology have been hailed as the end of the profession of programmer; they have all proven to be exaggerated rumors, to echo the words attributed ...
-
- research-articleMay 2023
A replication study on the intuitiveness of programming language syntax
Software Quality Journal (KLU-SQJO), Volume 31, Issue 4Dec 2023, Pages 1211–1240https://doi.org/10.1007/s11219-023-09631-7AbstractIn this article, we present a replication of an empirical experiment that evaluates intuitiveness and comprehensibility of keywords relating to different concepts in programming languages, originally conducted by Stefik and Gellenbeck. Novice ...
- rapid-communicationNovember 2022
Static type checking without downcast operator
Information Processing Letters (IPRL), Volume 178, Issue CNov 2022https://doi.org/10.1016/j.ipl.2022.106285AbstractIn the last couple of years several dynamically-typed, object-oriented programming languages have been equipped with optional static type checkers. This typically requires these languages to be extended with a downcast operator, which ...
Highlights- Simpler characterization of an approach similar to quasi-static typing.
- Novel ...
- review-articleSeptember 2022
A deterministic approach for extracting network security intents
- Rafael Hengen Ribeiro,
- Arthur Selle Jacobs,
- Luciano Zembruzki,
- Ricardo Parizotto,
- Eder John Scheid,
- Alberto Egon Schaeffer-Filho,
- Lisandro Zambenedetti Granville,
- Burkhard Stiller
Computer Networks: The International Journal of Computer and Telecommunications Networking (CNTW), Volume 214, Issue CSep 2022https://doi.org/10.1016/j.comnet.2022.109109AbstractIntents brought significant improvements in network management by the use of intent-level languages. Despite these improvements, intents are not yet fully integrated and deployed in most large-scale networks. As a result, network ...
- ArticleNovember 2021
Time Warps, from Algebra to Algorithms
Relational and Algebraic Methods in Computer ScienceNov 2021, Pages 309–324https://doi.org/10.1007/978-3-030-88701-8_19AbstractGraded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous endomaps of the discrete time scale, or time warps, can be used to ...
- short-paperOctober 2021
Pytch — an environment for bridging block and text programming styles (Work in progress)
WiPSCE '21: Proceedings of the 16th Workshop in Primary and Secondary Computing EducationOctober 2021, Article No.: 22, Pages 1–4https://doi.org/10.1145/3481312.3481318Block-based programming languages, and Scratch in particular, are widely used to introduce young learners to programming. As these students progress through their education, they want or need to transition to using text-based systems and encounter a ...
- ArticleSeptember 2021
Conceptual Checks for Programming Teachers
Technology-Enhanced Learning for a Free, Safe, and Sustainable WorldSep 2021, Pages 399–403https://doi.org/10.1007/978-3-030-86436-1_43AbstractLearning to program and learning a new programming language is difficult because it requires learners to undergo conceptual change. Research on conceptual change has shown that instructors’ awareness of their students’ misconceptions can ...
- ArticleJuly 2021
Finding a Structure: Evaluating Different Modelling Languages Regarding Their Suitability of Designing Agent-Based Models
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body, Motion and BehaviorJul 2021, Pages 201–219https://doi.org/10.1007/978-3-030-77817-0_16AbstractSeveral approaches to standardize the creation of agent-based models exist, but there is no perfect way to do it yet. In this study we analyze, whether two modelling languages (i*Star, UML) can help in designing agent-based models. We identified ...
- ArticleMay 2021
Introducing a Tool for Concurrent Argumentation
AbstractAgent-based modelling languages naturally implement concurrency for handling complex interactions between communicating agents. On the other hand, the field of Argumentation Theory lacks of instruments to explicitly model concurrent behaviours. In ...
- research-articleJuly 2021
Programming Languages: A Usage-based Statistical Analysis and Visualization
ICISS '21: Proceedings of the 4th International Conference on Information Science and SystemsMarch 2021, Pages 143–148https://doi.org/10.1145/3459955.3460614Understanding the popularity, and its trend, of programming languages can be important to anticipate which languages are best studied for future use, which are widely supported for use in enterprise projects, and investigate which skills are easiest to ...
- research-articleAugust 2021
Strategies for Heterogeneous Multi-Core Processing Based on Graph Programming
ICCDE '21: Proceedings of the 2021 7th International Conference on Computing and Data EngineeringJanuary 2021, Pages 54–60https://doi.org/10.1145/3456172.3456196In this paper, we explore strategies for automated parallelization and reconfiguration across heterogeneous multi-core processor, based on a programming paradigm and an associated model of computation designed for efficient and automated parallelization ...
- ArticleOctober 2020
Making Tezos Smart Contracts More Reliable with Coq
Leveraging Applications of Formal Methods, Verification and Validation: ApplicationsOct 2020, Pages 60–72https://doi.org/10.1007/978-3-030-61467-6_5AbstractTezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. This article gives an overview of efforts using the Coq proof assistant to have stronger guarantees on Michelson smart ...
- research-articleAugust 2020
- tutorialAugust 2020
Context-sensitive Rewriting
ACM Computing Surveys (CSUR), Volume 53, Issue 4Article No.: 78, Pages 1–36https://doi.org/10.1145/3397677The appropriate selection of the arguments of functions that can be evaluated in function calls is often useful to improve efficiency, speed, termination behavior, and so on. This is essential, e.g., in the conditional if - then - else operator. We can ...
- ArticleJuly 2020
Netlogo vs. Julia: Evaluating Different Options for the Simulation of Opinion Dynamics
- Laura Burbach,
- Poornima Belavadi,
- Patrick Halbach,
- Lilian Kojan,
- Nils Plettenberg,
- Johannes Nakayama,
- Martina Ziefle,
- André Calero Valdez
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Communication, Organization and WorkJul 2020, Pages 3–19https://doi.org/10.1007/978-3-030-49907-5_1AbstractAnalysing complex phenomena, such as the world we live in, or complex interactions, also requires methods that are suitable for considering both the individual aspects of these phenomena and the resulting overall system. As a method well suited ...
- research-articleApril 2020