Recent years have shown the advent of various analysis techniques based on logical inference systems, in particular variations of type systems. Proponents of the method claim that the analyses are easier to specify, achieve a cleaner separation between specification and implementation, and that it is easier to formulate fragments with a tractable efficiency. Remember to incorporate an abstract, your address, e-mail address, and telephone and fax numbers on the front page. Authors will be notified of acceptance by April 10, 1995.
Electronic submission is encouraged via e-mail.