4743 search results - page 596 / 949 » The PlusCal Algorithm Language |
142
click to vote
SMA
1995
ACM
15 years 6 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
128
click to vote
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
141
click to vote
VLDB
1991
ACM
15 years 6 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
121
click to vote
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...