6201 search results - page 151 / 1241 » Implementation of Axiomatic Language |
124
click to vote
ATAL
2009
Springer
15 years 11 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 ...
141
click to vote
ISORC
2002
IEEE
15 years 9 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...
133
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Current refactoring tools work on a particular language. Each time it is intended to provide refactoring support for new languages, the same refactoring operations are defined and...
124
click to vote
HOPL
2007
15 years 8 months ago
2007
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
113
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-...