1226 search results - page 28 / 246 » Proofs, Programs and Abstract Complexity |
AADEBUG
1993
Springer
15 years 6 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...
105
click to vote
FUIN
2008
15 years 2 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
138
click to vote
COMMA
2010
14 years 9 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
108
click to vote
IJFCS
2008
15 years 1 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
123
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...