
In the tutorial sub-directory, write the following J AVA program into a new file Lesson1.java.
#Tutorial for pages how to
We start by a very simple static method, that computes the maximum of two integers. Java Server Pages (JSP) is a server side technology for developing dynamic web pages. In this HTML tutorial for beginners you learn what is HTML and how to use it to create a website from scratch (incl. We also recommend to look at the collection of verified programs at URL http: ///gallery/krakatoa.en.html to get more hints on how to specify and prove programs with Krakatoa.īefore going to the first lesson, we recommend to start by creating a new directory tutorial, and code each example in that directory.

This chapter provides the basic techniques for specifying a Java source code and prove it correct with Krakatoa. The pages will not be visible until youve linked them under your navigation.
