2362 search results - page 322 / 473 » Programming in Standard ML |
211
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
135
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
132
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
167
Voted
PARELEC
2000
IEEE
15 years 7 months ago
2000
IEEE
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
108
Voted
POS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...