Sciweavers

1671 search results - page 10 / 335
» Language Constructs for Multi-agent Programming
Sort
View
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 1 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
79
Voted
POS
1992
Springer
15 years 6 months ago
Persistent Program Construction through Browsing and User Gesture with some Typing
Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...
110
Voted
CASES
2006
ACM
15 years 8 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
122
Voted
FOSSACS
2008
Springer
15 years 3 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