Jump to content
  • Advertisement
Sign in to follow this  
  • entries
  • comments
  • views

Finals and Finalisers...

Sign in to follow this  


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  


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!


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
  • Advertisement

Important Information

By using GameDev.net, you agree to our community Guidelines, Terms of Use, and Privacy Policy.

GameDev.net is your game development community. Create an account for your GameDev Portfolio and participate in the largest developer community in the games industry.

Sign me up!