179 search results - page 22 / 36 » Lazy Evaluation for OCL |
103
click to vote
SAS
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
107
click to vote
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
104
click to vote
IWIA
2006
IEEE
15 years 8 months ago
2006
IEEE
The recent outbreaks of extremely fast spreading worms highlight the inadequacy of the current patching approach. Intrusion prevention systems (IPSs) that automatically generate a...
111
click to vote
WOWMOM
2005
ACM
15 years 7 months ago
2005
ACM
Constructing indoor radio maps plays an important role in many services and applications such as wireless base station planning. In this paper, we propose a hybrid approach to con...
122
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...