4880 search results - page 152 / 976 » Manuals as Structured Programs |
151
Voted
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
227
click to vote
Source Code
A Vtk program that visualizes n objects (i.e., anatomical structures) in a stack of PGM files. Each structure is labeled by an integer number. For example, the labels of 3 structur...
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
113
Voted
CTCS
1995
Springer
15 years 7 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
DAGSTUHL
2006
15 years 5 months ago
2006
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...