949 search results - page 65 / 190 » Relating Imperatives to Action |
FSTTCS
1999
Springer
13 years 12 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
ICALP
1990
Springer
13 years 11 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
FLAIRS
2006
13 years 9 months ago
2006
The importance of effective customer assistance technologies is imperative in today's online marketplace where users are oftentimes overwhelmed by the product choices availab...
CONCUR
2010
Springer
13 years 7 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...