Programming Language - Larch

Larch

Larch - John Guttag and Jim Horning . The Larch
Project develops aids for formal specifications. Each Larch specification
has two components: an interface containing predicates written in the LIL
(Larch Interface Language) designed for the target language and a trait
containing assertions about the predicates written in LSL, the Larch Shared
Language common to all. "The Larch Family of Specification Languages", J.
Guttag et al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985). "Larch:
Languages and Tools for Formal Specification", Guttag and Horning, Springer
1993.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

3 plus 6? *   Robot Spam Prevention

 

Next Language:   Larch/Ada

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z