JIVE JML dynamic program verifier

I thought I’d write about my project in my blog so that if someone’s really interested can keep up and learn stuff. My final year B.Tech project is developing a tool that program that can perform dynamic verification of Java programs. I’ve been doing this for a long time now and know that the blog [...]

My take on introductory programming courses

This post is actually motivated by this one I read today: http://spin.atomicobject.com/2011/05/17/the-deep-end-of-the-pool (the structure by few other factors I intend to draw attention to ) Aim To prove that python is better than C/C++ in first year to introduce programming Objective What the hell? I thought it was same as Aim?

InCTF 2010 is here

Amrita University & TIFAC CORE in association with VeriSign proudly present InCTF’10, India’s First National Level “Capture the Flag” Style Ethical HACKING contest. InCTF’10 is from February to March 2010 and is focused exclusively on the student community. You can participate from your own university and no travel is required. No prior exposure or experience [...]

Lesson 3:First steps with python

Of course, the first step any programming world teaches you is printing “Hello world”. So that’s what we will do. Before that there are two ways of writing a python program

Lesson 1: Installing And Running Python

You might be wondering why the big deal with installing and running python; isn’t it straight forward. Yes it is. But there are few things that might make life easier. And who doesn’t want that?? I have not tried installing on a MAC or Linux. So you might need to search up the net on [...]

Introduction To Python: About python and download links

Well I have been learning programming for the game server of cipher contest I and Zubin Mithra (http://zubin71.wordpress.com) are working on. Don’t know who else is there in this project with us. Think there will definitely more working on this with us. So, I have been fooling around with Python. This is just a brief [...]