1821 search results - page 113 / 365 » Security-Aware Program Transformations |
ASP
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
121
click to vote
NMELP
1994
15 years 6 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
121
click to vote
LCPC
1991
Springer
15 years 5 months ago
1991
Springer
This paper discusses the techniques used to hand-parallelize, for the Alliant FX/80, four Fortran programs from the Perfect-Benchmark suite. The paper also includes the execution ...
SLP
1997
15 years 3 months ago
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
109
click to vote
FAC
2006
15 years 2 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...