6201 search results - page 149 / 1241 » Implementation of Axiomatic Language |
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
127
click to vote
ISICT
2003
15 years 5 months ago
2003
When we start to engage machines in conversation, what language will it be? While natural language is our preferred means of communication, natural language processing is by no mea...
145
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...
147
click to vote
PEPM
1997
ACM
15 years 8 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
121
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...