6794 search results - page 877 / 1359 » Semantics of Visual Languages |
200
click to vote
IFM
2007
Springer
16 years 1 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
202
click to vote
NLDB
2007
Springer
16 years 1 months ago
2007
Springer
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...
212
click to vote
SEW
2006
IEEE
16 years 29 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
174
click to vote
ACSC
2005
IEEE
16 years 18 days ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
208
click to vote
ASWEC
2005
IEEE
16 years 18 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...