3 research outputs found
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Easily programming behaviors is one major issue of a large and reconfigurable
deployment in the Internet of Things. Such kind of devices often requires to
externalize part of their behavior such as the sensing, the data aggregation or
the code offloading. Most existing context-oriented programming languages
integrate in the same class or close layers the whole behavior. We propose to
abstract and separate the context tracking from the decision process, and to
use event-based handlers to interconnect them. We keep a very easy declarative
and non-layered programming model. We illustrate by defining an extension to
Golo-a JVM-based dynamic language
HardenedGolo : pour augmenter le niveau de confiance en un code Golo
National audienceCet article deÌcrit un travail preÌliminaire autour du langage de programmation Golo. Notre objectif est de fournir aux deÌveloppeurs des outils permettant de renforcer leur confiance en leur code. Pour ce faire, nous avons expeÌrimenteÌ plusieurs approches (test dynamique, analyse de type et preuve de programme) et nous cherchons maintenant des choix pertinents pour avancer dans chacune de ces pistes