2004 search results - page 28 / 401 » Interaction nets: programming language design and implementa... |
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
LAWEB
2008
IEEE
14 years 3 months ago
2008
IEEE
Today, with the proliferation of affordable computing, people use multiple devices to fulfill their information needs. Designers approach each device platform individually, with...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
PPCP
1993
14 years 24 days ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
ITICSE
2010
ACM
13 years 10 months ago
2010
ACM
In this paper we introduce the JavaSpaces NetBeans IDE (JSN) which integrates the JavaSpaces technology, an implementation of Linda principles in Java, with the NetBeans1 IDE. JSN...