Search Results - Automatic memory reuse of immutable data in Kotlin

Automatic memory reuse of immutable data in Kotlin

Authors: Ogilvie, Gideon Swierstra, W.S. (Thesis Advisor)

Index Terms: Automatic memory reuse of immutable data in Kotlin, Master Thesis, Student Thesis

URL: https://studenttheses.uu.nl/handle/20.500.12932/48394

SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.

Authors: CUI, MOHAN CHENGJUN CHEN HUI XU et al.

Source: ACM Transactions on Software Engineering & Methodology; Jul2023, Vol. 32 Issue 4, p1-32, 32p

WIRELESS ECG MONITORING SYSTEM.

Authors: Bhilare, Aditi S. Kamble, Mansi G. Shah, P. P.

Source: International Scientific Journal of Engineering & Management; Apr2025, Vol. 4 Issue 4, p1-2, 2002p

Subject Terms: PATIENT monitoring, EARLY diagnosis, ACQUISITION of data, DATA transmission systems, DIAGNOSIS

Understanding refactorings in Elixir functional language.

Authors: da Matta Vegi, Lucas Francisco Valente, Marco Tulio

Source: Empirical Software Engineering; Aug2025, Vol. 30 Issue 4, p1-58, 58p

Efficiency in the serverless cloud paradigm: A survey on the reusing and approximation aspects.

Authors: Denninnart, Chavit Chanikaphon, Thanawat Amini Salehi, Mohsen

Source: Software: Practice & Experience; Oct2023, Vol. 53 Issue 10, p1853-1886, 34p

Subject Terms: ENERGY consumption, SOIL mechanics, POPULARITY

Shared-Memory Synchronization.

Authors: Scott, Michael L. Brown, Trevor

Source: Synthesis Lectures on Computer Architecture; 2024, piv-243, 247p

SciJava Ops: an improved algorithms framework for Fiji and beyond.

Authors: Selzer, Gabriel J. Rueden, Curtis T. Hiner, Mark C. et al.

Source: Frontiers in Bioinformatics; 2024, p1-18, 18p

An Overview of WebAssembly for IoT: Background, Tools, State-of-the-Art, Challenges, and Future Directions.

Authors: Ray, Partha Pratim

Source: Future Internet; Aug2023, Vol. 15 Issue 8, p275, 77p

Subject Terms: INTERNET of things, TECHNOLOGICAL innovations, WEB-based user interfaces, VIRTUAL machine systems, SCALABILITY

A Survey on Synchronous Augmented, Virtual, and Mixed Reality Remote Collaboration Systems.

Authors: SCHÄFER, ALEXANDER REIS, GERD STRICKER, DIDIER

Source: ACM Computing Surveys; Jul2023, Vol. 55 Issue 6, p1-27, 27p

Subject Terms: MIXED reality, VIDEOCONFERENCING, AVATARS (Virtual reality), VIRTUAL reality, SOCIAL distancing

Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts.

Authors: Mustafa, Iqra McGibney, Alan Rea, Susan

Source: Frontiers in Blockchain; 2024, p01-19, 19p

Subject Terms: CONTRACT management, INDUSTRIAL engineering, ENGINEERING management, PETRI nets, CONTRACTS

Engineering Blockchain-based Software Systems: Foundations, Survey, and Future Directions.

Authors: FAHMIDEH, MAHDI GRUNDY, JOHN AHMAD, AAKASH et al.

Source: ACM Computing Surveys; Jul2023, Vol. 55 Issue 6, p1-44, 44p

Subject Terms: SOFTWARE engineers, SOFTWARE engineering, SYSTEMS software, BLOCKCHAINS, SELF-efficacy

Analysis of the Feasibility of Smart Contracts in Mexico's Legal and Social Framework: A Study on the Future of Trade Agreements.

Authors: Silos Sánchez, Joel Ramírez Hernández, Uriel Amado Reyes Hernández, Yaneth et al.

Source: International Journal of Combinatorial Optimization Problems & Informatics; Sep-Dec2023, Vol. 14 Issue 3, p71-90, 20p

Subject Terms: COMMERCIAL treaties, CONTRACTS, BLOCKCHAINS

Geographic Terms: MEXICO

Assessing the Alignment between the Information Needs of Developers and the Documentation of Programming Languages: A Case Study on Rust.

Authors: COGO, FILIPE ROSEIRO XIN XIA HASSAN, AHMED E.

Source: ACM Transactions on Software Engineering & Methodology; Mar2023, Vol. 32 Issue 2, p1-48, 48p

Subject Terms: PROGRAMMING languages, INFORMATION needs, DATABASE design, DOCUMENTATION

Fifty Years of Prolog and Beyond.

Authors: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

Subject Terms: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

ImageJ2: ImageJ for the next generation of scientific image data.

Authors: Rueden, Curtis T. Schindelin, Johannes Hiner, Mark C. et al.

Source: BMC Bioinformatics; 11/29/2017, Vol. 18, p1-26, 26p, 2 Color Photographs, 1 Black and White Photograph, 4 Charts, 1 Graph

Subject Terms: IMAGE analysis, SCIENTIFIC software, PHYSICAL sciences, LIFE sciences, ALGORITHMS

Shaping the Future of IoT with Edge Intelligence : How Edge Computing Enables the Next Generation of IoT Applications

Authors: Rute C. Sofia John Soldatos

Resource Type: eBook.

Subjects: Edge computing, Internet of things

Categories: COMPUTERS / Distributed Systems / Cloud Computing, COMPUTERS / Artificial Intelligence / General, SCIENCE / Energy, COMPUTERS / Data Science / Machine Learning, COMPUTERS / Internet of Things (IoT)

Kotlin for Java Developers : Confidently Transition From Java to Kotlin Through Hands-on Examples and Idiomatic Kotlin Practices

Authors: José Dimas Luján Castillo Ron Veen

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Languages / Java, COMPUTERS / Programming / Mobile Devices

How to Build Android Applications with Kotlin : A Hands-on Guide to Developing, Testing, and Publishing Production-grade Android 16 Apps

Authors: Alex Forrester Eran Boudjnah Alexandru Dumbravan et al.

Resource Type: eBook.

Subjects: Mobile computing, Computer programming, Kotlin (Computer program language)

Categories: COMPUTERS / Operating Systems / Android, COMPUTERS / Internet / Application Development, COMPUTERS / Programming / Mobile Devices

Ernst Denert Award for Software Engineering 2022

Authors: Eric Bodden Michael Felderer Wilhelm Hasselbring et al.

Resource Type: eBook.

Subjects: Software engineering, Software engineering--Awards

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Project Management

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Authors: André Platzer Kristin Yvonne Rozier Matteo Pradella et al.

Resource Type: eBook.

Subjects: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing