Concept
Declarative programming
Related publications (112)
Generative AI-Enabled Conversational Interaction to Support Self-Directed Learning Experiences in Transversal Computational Thinking
Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer, Abdessalam Ouaazki
As computational thinking (CT) becomes increasingly acknowledged as an important skill in education, self-directed learning (SDL) emerges as a key strategy for developing this capability. The advent of generative AI (GenAI) conversational agents has disrup ...
2024When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism
Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki
Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...
Assoc Computing Machinery2024On the advantages of P2P ML on mobile devices
Rachid Guerraoui, Alexandre David Olivier Maurer
Many fields make use nowadays of machine learning (ML) enhanced applications for cost optimization, scheduling or forecasting, in- cluding the energy sector. However, these very ML algorithms consume a significant amount of energy, sometimes going against ...
ACM2022Trust as a Programming Primitive
Programming has changed; programming languages have not.Modern software embraced reusable software components, i.e., public libraries, and runs in the cloud, on machines that co-locate applications from various origins.This new programming paradigm leads t ...
EPFL2021On Proving and Disproving Equivalence of Functional Programming Assignments
Viktor Kuncak, Dragana Milovancevic
We present an automated approach for verifying the correctness of programming assignments, such as ones arising in a functional programming course. Our approach takes a small set of reference implementations and a set of student implementations and checks, ...
2021Declarative Variables in Online Dating: A Mixed-Method Analysis of a Mimetic-Distinctive Mechanism
Daniel Gatica-Perez, Jessica Carolina Pidoux
Declarative variables of self-description have a long-standing tradition in matchmaking media. With the advent of online dating platforms and their brand positioning, the volume and semantics of variables vary greatly across apps. However, a variable lands ...
2021Learning from Demonstration (Programming by Demonstration)
Learning from Demonstration (LfD), also called Programming by Demonstration (PbD), refers to the process used to transfer new skills to a machine by relying on demonstrations from a user. It is inspired by the imitation capability developed by humans and a ...
Springer2019Experimental Characterization of a T-Shaped Programmable Multistable Mechanism
Simon Nessim Henein, Mohamed Gamal Abdelrahman Ahmed Zanaty
Programmable multistable mechanisms (PMM) exhibit a modifiable stability behavior in which the number of stable states, stiffness, and reaction force characteristics are controlled via their programming inputs. In this paper, we present experimental charac ...
ASME2018Towards a Solution to the Red Wedding Problem
Edge computing promises lower latency interactions for clients operating at the edge by shifting computation away from Data Centers to Points of Presence which are more abundant and located geographically closer to end users. However, most commercially ava ...
2018