What is the Horn's Clause

It is one of my blogs!
My latest foray into understanding programming from the perspective of Formal Systems resulted in a few blog posts that you can read here, here and here. The interest got a kick when I had to relate a formal debate and its mechanisms to first-order-logic. I was only partially successful. But it has increased my understanding (also misunderstanding).

I noticed that my blog turns into an activists website when I sympathise with certain causes. It is not bad but it also drags me away from what brings me bread: computer science! In an attempt to put all understandings to "ready to understand" form, I will write about my readings in computer science.
Next few things to ecxpect here are:
My definition of the interface construct in Java,
Quicker Sort


Links to older posts related to computer science are bellow.


My first encounter with a computer

Cursors in Java Swing
Perl
Continuation
Spinning Lady
Height of a tree
Information Pollution (this is a bit crazy)

Comments

Post a Comment

Popular posts from this blog

How To Manage Contacts in Outlook

Sun's ceo calls it Lookout! But many use it including me. Managing contacts in Outlook is tricky. Here are few things I do when I move. By default all email ids are recorded in a file called Outlook.NK2 which is, by generocity of Microsoft, hidden. These are used to auto fill when we type an emil id. These are not stored in the address book. Its default location is: C:\Documents and Settings\ \ Application Data \Microsoft\Outlook\Outlook.NK2 is your user login id on the computer. Application Data is a folder that is hidden from view. Go to Tools->View and select Show Hidden files. When I move, I copy/backup this file. When I setup outlook on new machine, I zimbly copy the backup file to the default location in the new machine. Address book is a sacred thing. Mine is mostly empty! To manage autofill email address we can use a freeware availale online. It is called NK2View (Download).
Read more

Pageant for Mac - Using Jump Server on Mac

Image
If you use putty on windows, you probably used pageant to store multiple keys, ssh to jump server and then ssh to your work machine. If you ended up on Mac for some reason and you have a production situation, there is no reason to panic. Mac systems have Keychain - a software that manages your keys including ssh keys. There are 3 steps to use it for jumping . 1. Add your ssh keys to Keychain. 2. Create an ssh  config file to access jump terminal 3. Agent forwarding 1. Adding keys If you had ppk/putty keys you need to convert them. If you have ssh keys then you can add them without converting. I had puttygen on my mac. If you were using Windows machine, you can convert ppk keys to ssh key on Windows and then add on Mac. I had two keys - if you have only one that is fine. puttygen user_rsa.ppk -O private-openssh -o user_rsa.key puttygen jump.ppk -O private-openssh -o jump.key If a window pops up then DO NOT hit generate key.  1. Load your private ke
Read more

Using Regular Expressions for Program Transformation

I have been investigating the problem of practical code transformation to deal with small changes that have to be made across a large collection of programs in different programming languages . So the problem is not to transform a program entirely but doing small transformations to a large set of programs that too when we have C, Perl, Java etc source programs in that set. This has practical application in software development, code refactoring and testing. A lot of cost savings in software testing is possible if test the suits are well maintained and are automagically transformed using some method. I used a method and published findings on ip.com  which is rather a full system explanation of what I described here in 2011  There are some interesting obstacles to transforming programs. I will try to explain as well as understand some of them through this post. When we want to transform a set of programs in different languages what we are dealing with is a bunch of Context Free
Read more