2362 search results - page 45 / 473 » Programming in Standard ML |
ICALP
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
126
click to vote
TII
2010
14 years 6 months ago
2010
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
COMSUR
2011
13 years 11 months ago
2011
— Vehicular networking has significant potential to enable diverse applications associated with traffic safety, traffic efficiency and infotainment. In this survey and tutorial p...
POPL
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
125
click to vote
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
A Java implementation of a key collision attack on DES suggested by Eli Biham, [1], is discussed. Storage space minimization and fast searching techniques to speed up the attack a...