Sign In
Create Account
Follow Us on Twitter
Subscribe on Youtube
Guest_Ramzesi_*
Hello evryone! In the text below is a program that I can't make.Please help me!
Synthesize a program, wich calculates the number of bits
in n(number wich is in binary code).The template of the program is:
{Q: (1<=n)}
S(initially);
{inv P: (1<=m)and(m*2^<=n<m*2^j+1)}
{bound t:m-1}
do B -> S od
{R:2^j-1<=n<2^j+1}
Transform the program in Pascal or ASML.
If you only know the algorithum of calculating bits in an integer I'll be thankful!
0
Synthesize a program
Started by
Guest_Ramzesi_*
, Dec 27 2006 01:36 AM
No replies to this topic
Back to top
1 user(s) are reading this topic
0 members, 1 guests, 0 anonymous users
