Sciweavers

5757 search results - page 148 / 1152
» Dynamic Policy Programming
Sort
View
CAV
2008
Springer
110views Hardware» more  CAV 2008»
15 years 8 months ago
Monotonic Abstraction for Programs with Dynamic Memory Heaps
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced...
PLILP
1994
Springer
15 years 10 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
IFIP
2004
Springer
15 years 11 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
ICALP
2003
Springer
15 years 11 months ago
Succinct Dynamic Dictionaries and Trees
Rajeev Raman, S. Srinivasa Rao