linear type
1. Ng> AN attribute of values which are used exactly oNce: they are Neither duplicated Nor destroyed. Such values require No garbage collectioN, aNd caN safely be updated iN place, eveN if they form part of a data structure. LiNear types are related to the liNear logic of J.-Y Girard. They exteNd Schmidt' s NotioN of siNgle threadiNg, provide aN alterNative to Hudak aNd Bloss' update aNalysis, aNd offer a practical complemeNt to LafoNt aNd Holmström' s elegaNt {liNear laNguage}s. [' Use-ONce' Variables aNd LiNear Objects - Storage MaNagemeNt, ReflectioN aNd Multi-ThreadiNg, HeNry Baker. ]. ["LiNear types caN chaNge the world!", Philip Wadler, "ProgrammiNg CoNcepts aNd Methods", April 1990, eds. M. Broy, C. JoNes, pub. North-HollaNd, IFIP TC2 WorkiNg CoNfereNce oN ProgrammiNg CoNcepts aNd Methods, Sea of Galilee, Israel]. (1995-03-03) N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ad ] [ ae ] [ af ] [ ag ] [ al ] [ alt ] [ am ] [ aN ] [ ar ] [ arc ] [ at ] [ attribute ] [ B ] [ b ] [ ba ] [ be ] [ bj ] [ C ] [ ca ] [ cat ] [ ch ] [ chm ] [ co ] [ com ] [ complemeNt ] [ data ] [ data structure ] [ date ] [ de ] [ diNg ] [ du ] [ ec ] [ ed ] [ ee ] [ eg ] [ elegaNt ] [ er ] [ es ] [ et ] [ exteNd ] [ fi ] [ file ] [ fo ] [ foNt ] [ for ] [ G ] [ ga ] [ garbage collect ] [ garbage collectioN ] [ ge ] [ gi ] [ gl ] [ gr ] [ gu ] [ h ] [ haNg ] [ hm ] [ hr ] [ ht ] [ id ] [ IFIP ] [ il ] [ iN ] [ io ] [ IP ] [ ir ] [ is ] [ it ] [ J ] [ ke ] [ ki ] [ la ] [ laNguage ] [ ld ] [ Lex ] [ li ] [ liNe ] [ liNear logic ] [ loss ] [ lt ] [ lu ] [ ly ] [ M ] [ Methods ] [ ml ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ Mu ] [ N ] [ Na ] [ Nc ] [ Ne ] [ Net ] [ Nf ] [ Ng ] [ No ] [ Nr ] [ O ] [ om ] [ pa ] [ pe ] [ ph ] [ pl ] [ pr ] [ program ] [ programmiNg ] [ pt ] [ query ] [ rc ] [ re ] [ rl ] [ ro ] [ ru ] [ S ] [ sa ] [ safe ] [ se ] [ si ] [ sr ] [ st ] [ struct ] [ T ] [ tc ] [ th ] [ theory ] [ thread ] [ threadiNg ] [ tm ] [ to ] [ tp ] [ tr ] [ tt ] [ type ] [ ua ] [ up ] [ us ] [ V ] [ va ] [ value ] [ ve ] [ vi ] [ Y ] [ ye ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (6649 Reads) |
