685 search results - page 56 / 137 » Implementing Controlled Languages in GF |
CL
2010
Springer
14 years 10 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
SE
2008
14 years 11 months ago
2008
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
117
click to vote
MOBICOM
1997
ACM
15 years 2 months ago
1997
ACM
: This paper describes a protection scheme for mobile agents implemented on a Java environment. In this scheme, access to objects is controlled by means of software capabilities th...
PEPM
2011
ACM
14 years 19 days ago
2011
ACM
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...