3516 search results - page 54 / 704 » Programming Languages: Application and Interpretation |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
JAVACARD
2000
15 years 1 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
109
click to vote
DLS
2008
14 years 10 months ago
2008
Context-oriented programming proposes to treat execution context explicitly and to provide means for context-dependent adaptation at runtime. There are many mechanisms that can be...
112
click to vote
MICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
The Java bytecode language is emerging as a software distribution standard. With major vendors committed to porting the Java run-time environment to their platforms, programs in J...
161
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...