3713 search results - page 314 / 743 » Constructing a Calculus of Programs |
120
click to vote
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
125
click to vote
ERLANG
2004
ACM
15 years 9 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
128
click to vote
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...
143
click to vote
IBERAMIA
2004
Springer
15 years 9 months ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
142
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...