10585 search results - page 609 / 2117 » The Orc Programming Language |
187
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
219
click to vote
DALT
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
172
click to vote
COMPSAC
2002
IEEE
16 years 5 days ago
2002
IEEE
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
198
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
174
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...