585 search results - page 10 / 117 » Component-Based Description of Programming Languages |
E4MAS
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
FECS
2007
13 years 10 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
ASP
2005
Springer
14 years 2 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
PAPM
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...