Sticks&Stones

<language, functional programming>

A functional, polymorphic hardware description language loosely based on ML by Lucca Cardelli.

["An Algebraic Approach to Hardware Description and Verification", L. Cardelli, Thesis, Edinburgh U, 1982].

["Sticks&Stones II: A Functional Language VLSI Layout Generation Tool", Andrew Butterfield <[email protected]>, Thesis, Trinity College, 1990].

Last updated: 2008-03-04

Nearby terms:

STFUSTFWSticks&Stonessticky analysissticky bitsticky content

Try this search on Wikipedia, OneLook, Google

sticky analysis

<theory>

A kind of program analysis that uses information from all the call sites of a function or procedure.

Last updated: 1999-06-15

Nearby terms:

STFWSticks&Stonessticky analysissticky bitsticky content

Try this search on Wikipedia, OneLook, Google

sticky bit

<operating system>

The bit in the mode of a Unix file which, if set for an executable, tells the kernel to keep the code loaded in swap space even after it has finished executing on the assumption that it is likely to be used again soon. This performance optimisation was included in some early (and recent?) versions of Unix to save reloading frequently used programs such as the shell or vi from disk.

If the sticky bit is set on a directory, an unprivileged user may not delete or rename files of other users in that directory even if he has write access to the directory.

The Unix "ls" command displays a set sticky bit as a "t" in the permissions of a file or directory.

Last updated: 1997-02-26

Nearby terms:

Sticks&Stonessticky analysissticky bitsticky contentstiffy

Try this search on Wikipedia, OneLook, Google

sticky content

<web>

web pages that refer only or mostly to pages on the same website. This is important to some commercial sites who want users to keep accessing pages from their site because they receive advertising income from each hit. It does however somewhat miss the point of the web which is to link useful information across the whole Internet.

Last updated: 1999-06-15

Nearby terms:

sticky analysissticky bitsticky contentstiffySTILSTING

Try this search on Wikipedia, OneLook, Google


Loading