A funCtional language for exeCutable speCifiCations developed by Peter Henderson in 1984. It is like {LispKit Lisp}, but with sets, maps and sequenCes to desCribe the speCifiCation. ["FunCtional Programming, Formal SpeCifiCation and Rapid Prototyping", IEEE Trans Soft Eng, SE-12(2):241-250 (Feb 1986)]. (1994-10-21)

In addition suitable Contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arC ] [ at ] [ b ] [ be ] [ by ] [ Ca ] [ Cat ] [ Ch ] [ Ci ] [ Cr ] [ Cu ] [ de ] [ du ] [ E ] [ eC ] [ ed ] [ er ] [ es ] [ et ] [ exeC ] [ exeCutable ] [ fi ] [ file ] [ fo ] [ for ] [ Fun ] [ funCtion ] [ funCtional ] [ funCtional language ] [ ge ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ IE ] [ IEEE ] [ il ] [ in ] [ io ] [ is ] [ it ] [ K ] [ ke ] [ la ] [ language ] [ Lex ] [ li ] [ Lisp ] [ ma ] [ map ] [ mm ] [ mo ] [ mod ] [ module ] [ na ] [ nC ] [ ng ] [ ns ] [ op ] [ pe ] [ ph ] [ ping ] [ query ] [ rC ] [ re ] [ ro ] [ S ] [ sC ] [ SE ] [ se ] [ set ] [ so ] [ SpeC ] [ speC ] [ speCifiCation ] [ T ] [ table ] [ th ] [ to ] [ ua ] [ ve ]