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) 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 - (6490 Reads) |
