Sign in to follow this  
  • entries
    7
  • comments
    10
  • views
    4826

Finals and Finalisers...

Sign in to follow this  
Shiny

95 views

Feeling somewhat elated of the moment, just got done with my last final before semester break. Feels good to be free for two weeks -- now maybe I can focus on some -interesting- work (terrain renderer)!

For anyone curious, exam in question was one on Software systems -- two related subjects squished into one -- so, Axiomatic reasoning (which is moderately interesting while being wholly tedious) and Concurrency issues in Java. Related? Well, prove why your concurrent Java program will perform as expected and terminate mathematically -- Given precondition P and statements [S1 || ... ||Sn] write a proof to guarantee termination and post-condition Q.

Not so exciting for non-programmers I'm guessing.

Either way, wasn't as difficult as I was expecting, and now -- freedom!

Sign in to follow this  


2 Comments


Recommended Comments

Yayy someone else who has studied formal methods and used techniques of model and proof theory! Now I am not alone. I <3 U. :D

Give beefier introduction man, what r your area of interests? Are you an undergrad.. cause those seem like they were some pretty hefty courses?

Share this comment


Link to comment
Heh, I suppose I should give a more lengthy introduction. Feels odd to have a public journal -- but I guess if people want to spend their time reading it, I ought to put something worth reading!

~Shiny.

Share this comment


Link to comment

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