2604 search results - page 200 / 521 » General constant expressions for system programming language... |
143
Voted
PLPV
2009
ACM
16 years 17 days ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
121
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
134
Voted
PADL
2004
Springer
15 years 9 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
140
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
105
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...