A specification/prototyping language. Implemented in {Franz Lisp}. . ["software Prototyping, Formal Methods and VDM", sharam Hekmatpour et al, A-W 1988].

style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">In addition suitable contents:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ at ] [ ca ] [ cat ] [ ci ] [ D ] [ ec ] [ ed ] [ et ] [ fi ] [ Franz Lisp ] [ ge ] [ gu ] [ h ] [ hr ] [ in ] [ io ] [ is ] [ jp ] [ km ] [ ky ] [ la ] [ language ] [ Lisp ] [ M ] [ ma ] [ Methods ] [ mp ] [ ng ] [ nz ] [ pe ] [ ping ] [ pl ] [ pr ] [ prototyping ] [ re ] [ ro ] [ s ] [ spec ] [ specification ] [ su ] [ th ] [ to ] [ tp ] [ tw ] [ ua ] [ V ] [ VDM ]