5415 search results - page 156 / 1083 » The Implementation of Functional Programming Languages |
ISORC
2002
IEEE
14 years 3 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
CLIMA
2009
13 years 8 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
IWOMP
2007
Springer
14 years 4 months ago
2007
Springer
Programs written in C++ and OpenMP are still relatively rare. This paper shows some problems with the current state of the OpenMP specification regarding C++. We illustrate the pr...
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...