3713 search results - page 260 / 743 » Constructing a Calculus of Programs |
151
click to vote
SAS
2005
Springer
15 years 9 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
159
click to vote
TOOLS
1991
IEEE
15 years 7 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
122
click to vote
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
136
click to vote
CAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
145
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...