Unlike most popular mobile cross-platform development frameworks, transpilers promise maintainable code bases that are independent of the continued life of the development tools used. As more and more transpiler proje...
详细信息
ISBN:
(纸本)9781450393010
Unlike most popular mobile cross-platform development frameworks, transpilers promise maintainable code bases that are independent of the continued life of the development tools used. As more and more transpiler projects using the native programming languages Kotlin (Android) and Swift (iOS) were presented in recent years, this paper provides an overview of the language coverage of three representative transpilers, Gryphon (Swift-to-Kotlin), Kotlift (Kotlin-to-Swift), and SequalsK (both directions). For the test cases based on the overview chapters of the Swift and Kotlin documentation, good results were obtained in terms of functionality and readability of the output code for Gryphon and SequalsK. Although some shortcomings are visible in all transpilers, Kotlift is classified as a less mature project.
this article presents a compile-time analysis for tracking the size of data-structures in a statically typed and strict functional language. this information is valuable for static checking and code generation. Rather...
详细信息
ISBN:
(纸本)9798400701696
this article presents a compile-time analysis for tracking the size of data-structures in a statically typed and strict functional language. this information is valuable for static checking and code generation. Rather than relying on dependent types, we propose a type-system close to that of ML: polymorphism is used to define functions that are generic in types and sizes;both can be inferred. this approach is convenient, in particular for a language used to program critical embedded systems, where sizes are indeed known at compiletime. By using sizes that are multivariate polynomials, we obtain a good compromise between the expressiveness of the size language and its properties (verification, inference). the article defines a minimal functional language that is sufficient to capture size constraints in types. It presents its dynamic semantics, the type system and inference algorithm. Last, we sketch some practical extensions that matter for a more realistic language.
the proceedings contains 5 papers from the 9thinternationalconference on Mechanics in Medicine and Biology held in Ljubljana, Slovenia. Topics discussed include: electrical stimulation;electrotherapeutics;chemothera...
详细信息
the proceedings contains 5 papers from the 9thinternationalconference on Mechanics in Medicine and Biology held in Ljubljana, Slovenia. Topics discussed include: electrical stimulation;electrotherapeutics;chemotherapy;muscle activation;wound healing enhancement;and electric field distribution.
In this paper, new classes of generalized convex functions called uniform K - (F-b, rho)- convex, uniform K - (F-b, rho)- pseudoconvex, uniform K - (F-b, rho)- quasiconvex functions are defined using K-directional der...
详细信息
ISBN:
(纸本)9781479925483
In this paper, new classes of generalized convex functions called uniform K - (F-b, rho)- convex, uniform K - (F-b, rho)- pseudoconvex, uniform K - (F-b, rho)- quasiconvex functions are defined using K-directional derivative and K-subdifferential. Multiobjective semi-infinite programming involving these generalized convex functions is researched, some Mond-Weir type duality results are obtained.
the proceedings contain 6 papers. the topics discussed include: session types meet separation logic;Idris: implementing a dependently typed programming language;a framework for the verified transformation of functiona...
ISBN:
(纸本)9781450328173
the proceedings contain 6 papers. the topics discussed include: session types meet separation logic;Idris: implementing a dependently typed programming language;a framework for the verified transformation of functional programs;some constructions on Ω-groupoids;a generic approach to proofs about substitution;hybrid extensions in a logical framework;proof-theoretic foundations of indexing in logic programming;internal adequacy of bookkeeping in Coq;and automatically deriving schematic theorems for dynamic contexts.
this paper presented a project-based remedial curriculum for teaching the C++ programming language and object-oriented programming (OOP) skills and concepts. the pedagogical approach of the proposed curriculum compris...
详细信息
Extreme programming focuses on spreading knowledge through many collaborative practices like pair programming, planning game, and retrospectives. the basic idea behind these practices is to share the work specific kno...
详细信息
ISBN:
(纸本)9783851250602
Extreme programming focuses on spreading knowledge through many collaborative practices like pair programming, planning game, and retrospectives. the basic idea behind these practices is to share the work specific knowledge across the development teams as well as the management quarters. this knowledge sharing is said to have an accelerated effect when it is combined withthe retrospectives analysis of the knowledge gained and the process performed. this inherent property of Knowledge Management (KM) facilitated by retrospective analysis is being used to teach Extreme programming (XP) methodology as a graduate level Software Engineering (SE) course and is showing a notable effect on the learning process. the paper describes the KM issues in XP practices and how these issues are being managed for the students to present them with a profound learning experience.
A subset of the Parallel Research Kernels (PRK), simplified parallel application patterns, are used to study the behavior of different runtimes implementing the PGAS programming model. the goal of this paper is to sho...
详细信息
ISBN:
(纸本)9781509001859
A subset of the Parallel Research Kernels (PRK), simplified parallel application patterns, are used to study the behavior of different runtimes implementing the PGAS programming model. the goal of this paper is to show that such an approach is practical and effective as we approach the exascale era. Our experimental results indicate that for the kernels we selected, MPI with two-sided communications outperforms the PGAS runtimes SHMEM, UPC, Grappa, and MPI-3 with RMA extensions.
the global optimization of integer programming problem is an active research area in many fields. Several versions of scatter search have been proposed to solve different hard optimization problems. the scatter search...
详细信息
ISBN:
(纸本)9789774036897
the global optimization of integer programming problem is an active research area in many fields. Several versions of scatter search have been proposed to solve different hard optimization problems. the scatter search method is invoked to solve integer programming problems whether it is constrained or not. therefore, Penalty function is applied in our method to deal with constrained problems and transfer it to unconstrained problems. We implement variable neighbourhood search as intensification and improvement schemes in scatter search procedures to refine generated solutions. the computational results obtained by our proposed method are promising and their performance are tested comparing with other benchmark methods.
this paper presents OpenCL Remote framework that extends the native OpenCL platform model to network scale and utilizes the native OpenCL9;s support of heterogeneous computing. OpenCL Remote boosts performance by d...
详细信息
ISBN:
(纸本)9780769547497
this paper presents OpenCL Remote framework that extends the native OpenCL platform model to network scale and utilizes the native OpenCL's support of heterogeneous computing. OpenCL Remote boosts performance by distributing computation over network to many compute devices in parallel.
暂无评论