Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/646384guideproceedingsBook PagePublication PagesConference Proceedingsacm-pubtype
Proceedings of the first First International Workshop on Larch
1992 Proceeding
Publisher:
  • Springer-Verlag
  • Berlin, Heidelberg
Conference:
July 13 - 15, 1992
ISBN:
978-3-540-19804-8
Published:
13 July 1992

Reflects downloads up to 23 Nov 2024Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
Article
Article
Article
Article
Article
Preliminary Design of Larch/C++
Pages 159–184
Article
Using LP to Study the Language PL+0
Pages 227–245
Article
Article
Article
A New Front-End for the Larch Prover
Pages 282–296
Contributors
  • Columbia University
Please enable JavaScript to view thecomments powered by Disqus.

Recommendations