Paper Info
Title
Typelab: An Environment for Modular Program Development
Abstract
IntroductionTypelab is an experimental specification and verification environment. Its specificationlanguage and its tool support provide assistance for a modular designand development methodology.The specification language of Typelab is based on a type theory, the ExtendedCalculus of Constructions (ECC) [Luo94], which gives the system a soundsemantic foundation. The pure type theory has been augmented by constructspartly to be found in algebraic specification formalisms [Wir86, Gog84, ...
Year
DOI
Venue
1997
10.1007/BFb0030645
TAPSOFT
Keywords
Field
DocType
modular program development,type theory,specification language
Specification language,Programming language,Programming language specification,Computer science,Formal specification,Language Of Temporal Ordering Specification,Program derivation,Product design specification,Formal methods,System requirements specification
Conference
ISBN
Citations 
PageRank 
3-540-62781-2
2
0.40
References 
Authors
6
3
Name
Order
Citations
PageRank
Friedrich W. Von Henke142549.05
Marko Luther215316.00
Martin Strecker371.25