Jump to content

Denotational semantics -Fixed point theory

Eug

By Eug
in Homework Help

 Share

Recommended Posts

Eug

Eug

Posted
Posted

Can anybody help to find the fixed point of the statement?

 

while x != y do (if x <y then y := y − x else x := x − y)

 

(Denotational semantics)

 

 

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
 Share
Go to topic listing
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.