1023 search results - page 64 / 205 » A Formal Method for Program Slicing |
158
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...
274
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
160
click to vote
LATA
2009
Springer
16 years 24 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
152
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
192
click to vote
DBSEC
1996
15 years 7 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...