linear type
1. 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) Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="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 - (6597 Reads) |
