Contemporary computer architecture comprises multicomputer settings. Multiple computers provide the facility of high performance to implement multiple threads that are faster and concurrently with different processors...
详细信息
This paper introduces a representation of melody and harmony for a live coding javaScript library, Konduktiva, capable of generating and playing music in real time. That representation further targets flexibility and ...
详细信息
ISBN:
(纸本)9798400709685
This paper introduces a representation of melody and harmony for a live coding javaScript library, Konduktiva, capable of generating and playing music in real time. That representation further targets flexibility and integration with Konduktiva's agents. By improving Konduktiva to provide an API that is compatible with basic music theory and designed for ease of use in live coding, we have produced a platform for music production and future research on live coding and algorithmic composition.
Nowadays, java is highly prevalent due to its portability and object-oriented design. To aid novice learners, we have developed javaprogramming Learning Assistant System (JPLAS) with the ***-based platform. Currently...
详细信息
ISBN:
(纸本)9798350386851;9798350386844
Nowadays, java is highly prevalent due to its portability and object-oriented design. To aid novice learners, we have developed javaprogramming Learning Assistant System (JPLAS) with the ***-based platform. Currently, JPLAS offers seven problem types at different levels, allowing automatic marking of answers through string matching. In this paper, we present the implementation of JPLAS in the 2023 javaprogramming course at Okayama University, Japan. For this course, we generated 133 problem instances aligned with its curriculum and assigned them to 56 third-year students. The solution results highlight difficulty variations across the problem types and affirm the effectiveness in the course.
Model transformations are crucial for model-driven development. Many different languages exist that allow for the description of mappings between different metamodels. Over the past few years, these languages and acco...
详细信息
ISBN:
(纸本)9783031663383;9783031663390
Model transformations are crucial for model-driven development. Many different languages exist that allow for the description of mappings between different metamodels. Over the past few years, these languages and accompanying tools have matured significantly, but they still suffer from a common problem as they lack expressiveness. In this paper, we present NICE, an expression language for model transformations that has been integrated in our bidirectional model transformation language BXtendDSL, which overcomes this dilemma. NICE is a modular, reusable, and adaptable language that compiles to plain java code and is easy to use.
A program's exceptional behavior can substantially complicate its control flow, and hence accurately reasoning about the program's correctness. On the other hand, formally verifying realistic programs is likel...
详细信息
ISBN:
(纸本)9783031477041;9783031477058
A program's exceptional behavior can substantially complicate its control flow, and hence accurately reasoning about the program's correctness. On the other hand, formally verifying realistic programs is likely to involve exceptions-a ubiquitous feature in modern programminglanguages. In this paper, we present a novel approach to verify the exceptional behavior of java programs, which extends our previous work on BYTEBACK. BYTEBACK works on a program's bytecode, while providing means to specify the intended behavior at the source-code level;this approach sets BYTEBACK apart from most state-of-the-art verifiers that target source code. To explicitly model a program's exceptional behavior in a way that is amenable to formal reasoning, we introduce Vimp: a high-level bytecode representation that extends the Soot framework's Grimp with verification-oriented features, thus serving as an intermediate layer between bytecode and the Boogie intermediate verification language. Working on bytecode through this intermediate layer brings flexibility and adaptability to new language versions and variants: as our experiments demonstrate, BYTEBACK can verify programs involving exceptional behavior in all versions of java, as well as in Scala and Kotlin (two other popular JVM languages).
java has found numerous applications in diverse systems such as servers, smartphones, and embedded systems due to the reliability and portability in object-oriented programming. To facilitate javaprogramming learning...
详细信息
ISBN:
(纸本)9798350386851;9798350386844
java has found numerous applications in diverse systems such as servers, smartphones, and embedded systems due to the reliability and portability in object-oriented programming. To facilitate javaprogramming learning of novice students, we have studied javaprogramming Learning Assistant System (JPLAS) and implemented its software platform using *** as the web application server. Docker is introduced for easy installations in their own computers of various hardware/software environments by students. In this paper, we explore the errors encountered in the installation and utilization of the JPLAS platform among 56 third-year students enrolled in a javaprogramming course at Okayama University, Japan, and present their solutions. The result clarified some concerns to be considered at the use of a system developed in a laboratory by the students in a university course with Docker.
With the proliferation of mobile devices in daily life, ensuring the security and performance of these devices has become crucial. On Android, the java Native Interface (JNI) acts as a bridge, allowing native librarie...
详细信息
Regardless of the recent trends regarding the design of multi-objective evolutionary algorithms (MOEAs), non-dominated sorting remains as an important mechanism to classify solutions to a multi-objective optimization ...
详细信息
We present an approach for checking that java programs correctly use libraries such as *** for synchronizing concurrent tasks. Concretely, the article develops methods to check that the behaviour of a progra...
详细信息
We present Nacpa, a meta-verifier based on parallel portfolio and native compilation of backend verifiers. Nacpa does not implement any software analyses itself, but uses the java-based CPAchecker as off-the-shelf ver...
详细信息
暂无评论