Browsing by Subject "High level languages"
Now showing items 1-6 of 6
-
Article
An argumentation framework for reasoning about actions and change
(1999)We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
-
Article
Configuration and dynamic reconfiguration of components using the coordination paradigm
(2001)One of the most promising approaches in developing component-based (possibly distributed) systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as the ability to ...
-
Article
Experience using an intermediate compiler target language for parallel machines
(1997)The generalised computational model of term graph rewriting systems (TGRSs) has been used extensively as an implementation vehicle for a number of, often divergent, programming paradigms ranging from the traditional ...
-
Article
Modelling control systems in an event-driven coordination language
(2000)The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures for complex control systems using a ...
-
Conference Object
Portable parallel implementation of two novel mathematical biology algorithms in ZPL
(ACM, 1995)This paper shows that mathematical models of biological pattern formation are ideally suited to data parallelism. We present two new algorithms, one for simulating the dynamic structure of fibroblasts, and the other for ...
-
Book Chapter
Results of parallel implementations of the selection problem using sisal
(Publ by Elsevier Science Publishers B.V., 1993)This paper presents an in depth analysis on the parallel implementation of four of the standard selection algorithms using a functional language on a number of multiprocessor and supercomputers. Three of the algorithms: ...