1402 search results - page 66 / 281 » A Practical Agent Programming Language |
147
Voted
COLING
1992
15 years 5 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
137
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
127
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
153
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
148
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...