Sciweavers

6740 search results - page 430 / 1348
» Using Classification as a Programming Language
Sort
View
SIGSOFT
2005
ACM
16 years 4 months ago
Visual tool for generative programming
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
Pavel Grigorenko, Ando Saabas, Enn Tyugu
LPNMR
1999
Springer
15 years 8 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
SBIA
1998
Springer
15 years 8 months ago
Argumentative and Cooperative Multi-agent System for Extended Logic Programming
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
Iara de Almeida Móra, José Jú...
ACSD
2001
IEEE
112views Hardware» more  ACSD 2001»
15 years 7 months ago
Software Implementation of Synchronous Programs
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
Charles Andre, Frédéric Boulanger, A...
WCRE
2000
IEEE
15 years 7 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward