ABSTRACT. The paper presents SIAMOA, a system dedicated for design, debugging and visualisation of algorithms. It combines elements of an algorithm visualisation system and an envi...
Frederic Van de Veire, Przemyslaw Szmal, Jaroslaw ...
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
Selen Basol, Ozan Erdem, Michael Fink, Giovambatti...
Abstract. We present here a methodology for programming active networks in the environment dened by our new language PLAN (Packet Language for Active Networks). This environment p...
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore...