We describe a class of parameterized reversible variable length codes that have length
distributions identical to Golomb-Rice codes and exp-Golomb codes. The pdfs to which …

In this paper, we show how refinement calculus provides a basis for translation validation of
optimized programs written in high level languages. Towards such a direction, we shall …

Malicious Software referred to as Malware refers to a software that has infiltrated to a
computer without the authorization of the computer (or the owner of the computer). Typical …

In Safety critical software failure can have a high price. Such software should be free of
errors before it is put into operation. Application of formal methods in the Software …

Debugging tools serve an important role in software development. This also holds for
constraint programming and CLP (FD) in particular, where it is often necessary to observe …

The authors of this paper recently researched the possibility of developing programming
language implementation, that is neither compiler, nor interpreter. The concept is based on …

Malicious Software referred to as Malware refers to a software that has infiltrated to a
computer without the authorization of the computer (or the owner of the computer). Typical …

Translation validation based on refinement mappings has been effectively used for
validating compiled programs [1, 2]. Debugging programs is a very important stage in the …