Sciweavers

4469 search results - page 248 / 894
» Dynamic Program Slicing
Sort
View
AAAI
2008
15 years 4 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
USS
2004
15 years 3 months ago
Privtrans: Automatically Partitioning Programs for Privilege Separation
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
David Brumley, Dawn Xiaodong Song
KES
2004
Springer
15 years 7 months ago
An Objective Function Based on Fuzzy Preferences in Dynamic Decision Making
Abstract. This paper presents a mathematical model for dynamic decision making with an objective function induced from fuzzy preferences. The fuzzy preference is related to decisio...
Yuji Yoshida, Masami Yasuda, Jun-ichi Nakagami, Ma...
DLS
2005
122views Languages» more  DLS 2005»
15 years 4 months ago
Language constructs for context-oriented programming: an overview of ContextL
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
Pascal Costanza, Robert Hirschfeld
121
Voted
PLDI
2012
ACM
13 years 4 months ago
Sound and precise analysis of parallel programs through schedule specialization
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfen...