2000 search results - page 225 / 400 » Program Transformation and Proof Transformation |
132
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
169
click to vote
ICS
1994
Tsinghua U.
15 years 8 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
185
click to vote
CSCLP
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
123
click to vote
COLING
1990
15 years 5 months ago
1990
This paper describes a new program, correct, which takes words rejected by the Unix spell program, proposes a list of candidate corrections, and sorts them by probability. The pro...
123
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...