Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleJune 2024
Improving Welding Robotization via Operator Skill Identification, Modeling, and Human-Machine Collaboration: Experimental Protocol Implementation
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk ManagementPages 69–88https://doi.org/10.1007/978-3-031-61060-8_6AbstractThe industry of the future, also known as Industry 5.0, aims to modernize production tools, digitize workshops, and cultivate the invaluable human capital within the company. Industry 5.0 can’t be done without fostering a workforce that is not ...
- research-articleSeptember 2023
A Compact and Extensible Portable Scheme VM
Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of ProgrammingPages 3–6https://doi.org/10.1145/3594671.3594672Virtual Machines (VM) tend to evolve over their life cycle with features being added regularly and a growing footprint. In a VM designed for resource constrained environments this trend deteriorates the VM’s primary quality. We present how extensibility ...
- research-articleSeptember 2022
Comments on a numerical algorithm for problems having interior power-of-type-2 layers
Mathematics and Computers in Simulation (MCSC), Volume 199, Issue CPages 253–256https://doi.org/10.1016/j.matcom.2022.03.024AbstractPaper (Munyakazi et al. (2018)), related to numerical solutions of singularly perturbed problems with a single interior turning point having an interior power-of-type-2 layer, has gross inaccuracies in both estimates of solution ...
- research-articleOctober 2021
A small scheme VM, compiler, and REPL in 4k
VMIL 2021: Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate LanguagesPages 14–24https://doi.org/10.1145/3486606.3486783Compact language implementations are increasingly popular for use in resource constrained environments. For embedded applications such as robotics and home automation, it is useful to support a Read-Eval-Print-Loop (REPL) so that a basic level of ...
- research-articleJanuary 2022
The Connection and Underlying Cause between Financial Statement Fraud Cases
ICEBI '21: Proceedings of the 2021 5th International Conference on E-Business and InternetPages 162–167https://doi.org/10.1145/3497701.3497727There are more and more cases of fraud associated with manipulation of financial statements today. Various schemes and management motivations for manipulating financial statements. However, is there a common thread between these cases that can be ...
-
Of JavaScript AOT compilation performance
Proceedings of the ACM on Programming Languages (PACMPL), Volume 5, Issue ICFPArticle No.: 70, Pages 1–30https://doi.org/10.1145/3473575The fastest JavaScript production implementations use just-in-time (JIT) compilation and the vast majority of academic publications about implementations of dynamic languages published during the last two decades focus on JIT compilation. This does not ...
- research-articleJune 2020
Hygienic macro technology
Proceedings of the ACM on Programming Languages (PACMPL), Volume 4, Issue HOPLArticle No.: 80, Pages 1–110https://doi.org/10.1145/3386330The fully parenthesized Cambridge Polish syntax of Lisp, originally regarded as a temporary expedient to be replaced by more conventional syntax, possesses a peculiar virtue: A read procedure can parse it without knowing the syntax of any expressions, ...
Rebuilding racket on chez scheme (experience report)
- Matthew Flatt,
- Caner Derici,
- R. Kent Dybvig,
- Andrew W. Keep,
- Gustavo E. Massaccesi,
- Sarah Spall,
- Sam Tobin-Hochstadt,
- Jon Zeppieri
Proceedings of the ACM on Programming Languages (PACMPL), Volume 3, Issue ICFPArticle No.: 78, Pages 1–15https://doi.org/10.1145/3341642We rebuilt Racket on Chez Scheme, and it works well—as long as we're allowed a few patches to Chez Scheme. DrRacket runs, the Racket distribution can build itself, and nearly all of the core Racket test suite passes. Maintainability and performance ...
- research-articleNovember 2018
Building JIT compilers for dynamic languages with low development effort
VMIL 2018: Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate LanguagesPages 36–46https://doi.org/10.1145/3281287.3281294Building high performance virtual machines for dynamic languages usually requires significant development effort. They may require an interpreter and one or more compilation phases to generate efficient code. In addition, they may require several static ...
- research-articleOctober 2017
Code staging in GNU Guix
GPCE 2017: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and ExperiencesPages 41–48https://doi.org/10.1145/3136040.3136045GNU Guix is a "functional" package manager that borrows from earlier work on Nix by Dolstra et al.. Guix implements high-level abstractions such as packages and operating system services as domain-specific languages (DSL) embedded in Scheme, and it also ...
Also Published in:
ACM SIGPLAN Notices: Volume 52 Issue 12 - research-articleOctober 2017
A Model for Reducing Text Files To 20
ICIME 2017: Proceedings of the 9th International Conference on Information Management and EngineeringPages 46–49https://doi.org/10.1145/3149572.3149593This scheme considers a text file made up of any form of character and then reduces it to either 20 which is the equivalent of binary 1 or zero (0). Compression starts with the identification of the ASCII code for each character represented in the text ...
A unified approach to solving seven programming problems (functional pearl)
Proceedings of the ACM on Programming Languages (PACMPL), Volume 1, Issue ICFPArticle No.: 8, Pages 1–26https://doi.org/10.1145/3110252We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.
- short-paperSeptember 2016
FARM 2016 concert: live music and visuals produced through functional programming
FARM 2016: Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and DesignPages 61–63https://doi.org/10.1145/2975980.2975989A concert of performances employing functional programming techniques will take place at FARM 2016 in Nara, Japan. Eight performances will be presented on a large full-range sound system with video projection on two walls. Performances will include ...
- research-articleOctober 2015
Compiling for multi-language task migration
DLS 2015: Proceedings of the 11th Symposium on Dynamic LanguagesPages 63–77https://doi.org/10.1145/2816707.2816713Task migration allows a running program to continue its execution in a different destination environment. Increasingly, execution environments are defined by combinations of cultural and technological constraints, affecting the choice of host language, ...
Also Published in:
ACM SIGPLAN Notices: Volume 51 Issue 2 - research-articleAugust 2014
Multiplatform and Mobile App Development in Scheme with Gambit/SchemeSpheres
ILC '14: Proceedings of ILC 2014 on 8th International Lisp ConferencePages 4–5https://doi.org/10.1145/2635648.2635659This document explains the motivation and fundamental ideas behind the SchemeSpheres1 project. It outlines the conceptual approach taken by this framework, given a set of requirements that are considered essential. The different sides of the key aspects ...
- research-articleAugust 2014
Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework
ILC '14: Proceedings of ILC 2014 on 8th International Lisp ConferencePages 12–21https://doi.org/10.1145/2635648.2635653In spite of its soundness, ease of use, and descriptive power, few hygienic macro systems have been incorporated to non-LISP programming languages. The difficulty lies in the self-describing nature of the macro system. Proposed is the design and a ...
- research-articleAugust 2014
A Scheme-Based Closed-Loop Anesthesia System
ILC '14: Proceedings of ILC 2014 on 8th International Lisp ConferencePages 40–49https://doi.org/10.1145/2635648.2635651Many aspects of modern medicine, including the administration of anesthetic agents during general surgery, remain unautomated and reliant on the vigilance of the attending clinicians. In other fields where failures can have catastrophic consequences, ...
- articleOctober 2013
Optimal Expansion and Reconstruction of Heat Supply Systems: Methodology and Practice
International Journal of Energy Optimization and Engineering (IJEOE), Volume 2, Issue 4Pages 59–79https://doi.org/10.4018/ijeoe.2013100104The paper addresses the issue of optimal expansion and reconstruction of heat supply systems, which includes a set of general and relatively specific problems. Therefore, a comprehensive approach to their solving is required to obtain a technically ...
- ArticleJuly 2012
From High-School Algebra to Computing through Functional Programming
T4E '12: Proceedings of the 2012 IEEE Fourth International Conference on Technology for EducationPages 180–183https://doi.org/10.1109/T4E.2012.42The objective of this paper is to suggest a fresh approach to introductory programming curricula in the Indian school and engineering college context. The approach allows the student to connect high-school (up to 10+2) mathematics to the fundamentals of ...
- ArticleJune 2012
Implementation Scheme Research of Inquiry Learning Based on the Course and Problems
HPCC '12: Proceedings of the 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and SystemsPages 1664–1667https://doi.org/10.1109/HPCC.2012.245Inquiry learning, which creates a similar situation and way of scientific research in the teaching process, lets the students learn to collect, analyze and judge of lots information, through active explore, discover and experience, thus to promote the ...