Learn More
Program veriication is a crucial issue in the eld of program development, compilation and debugging. In this paper, we present an analyser for Prolog which aims at verifying whether the execution of a program behaves according to a given speciication (behavioural assumptions). The analyser is based on the methodology of abstract interpretation. A novel(More)
We present an attentional control architecture for a robotic agent capable of adapting its deliberative and executive behavior to internal and external processes. In this framework, the agent is endowed with simple attentional mechanisms regulating the sensors sampling rates and action activations. The process of changing the frequency of sensors readings(More)
A novel abstract interpretation framework is introduced, which captures Prolog depth-rst strategy and the cut operation. The framework is based on a new conceptual idea, the notion of substitution sequences, and the traditional xpoint approach to abstract interpretation. It broadens the class of analyses that are amenable in practice to abstract(More)
We present a framework for modelling ad-hoc Wireless Sensor Networks (WSNs) and studying both their connecti-vity properties and their performance in terms of energy consumption, throughput and other relevant indices. Our framework is based on a probabilistic process calculus where system executions are driven by Markovian probabilistic sche-dulers,(More)
JavaScript is an incredibly widespread language , running on virtually every modern computer and browser, and interpreters such as NodeJS allow JavaScript to be used as a server-side language. Unfortunately, modern implementations of JavaScript engines are typically written in C/C++, languages re-liant on manual memory management. This results in countless(More)
  • 1