Extended ML: Wide-Spectrum Language, Formal Specification, Formal Semantics of Programming Languages - Softcover
Search results for Extended ML: Wide-Spectrum Language, Formal Specification,...
Seller Image
Extended ML
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 104 pp. Englisch. Seller Inventory # 9786133157842
Seller Image
Extended ML
Print on DemandSeller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Extended ML is awide-spectrum language covering both specification and implementationand based on the ML programming language. It extends the syntax of ML toinclude axioms, which need not be executable but can rigorously specifythe behavior of the program. With this addition the language can be usedfor stepwise refinement, proceeding gradually from an initial formalspecification to eventually yield an executable Standard ML program.Correctness of the final executable SML program with respect to theoriginal specification can then be established by proving thecorrectness of each of the refinement steps. Extended ML is used forresearch into and teaching of formal program development andspecification, and research into automatic program verification.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 104 pp. Englisch. Seller Inventory # 9786133157842
Seller Image
Extended ML : Wide-Spectrum Language, Formal Specification, Formal Semantics of Programming Languages
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Seller Inventory # 9786133157842