Sciweavers

1671 search results - page 10 / 335
» Language Constructs for Multi-agent Programming
Sort
View
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 5 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
POS
1992
Springer
15 years 10 months ago
Persistent Program Construction through Browsing and User Gesture with some Typing
Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...
CASES
2006
ACM
15 years 12 months ago
Syntax-driven implementation of software programming language control constructs and expressions on FPGAs
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
Neil C. Audsley, Michael Ward
FOSSACS
2008
Springer
15 years 7 months ago
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
Bruno Barras, Bruno Bernardo