3238 search results - page 415 / 648 » Multi-return function call |
171
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
180
click to vote
CSREASAM
2006
15 years 8 months ago
2006
The major concern for a computer system is its security and integrity. It is necessary to check the security level of your system and keep it updated. This can be best achieved by ...
157
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
FG is a programming environment for asynchronous programs that run on clusters and fit into a pipeline framework. It enables the programmer to write a series of synchronous functi...
168
click to vote
SIROCCO
2001
15 years 8 months ago
2001
Given a set S of elements in a directed network that are initially faulty, an element becomes (functionally) faulty if all its in-neighbors or all its outneighbors are (functional...
183
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...