949 search results - page 65 / 190 » Relating Imperatives to Action |
157
Voted
FSTTCS
1999
Springer
15 years 8 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...
99
Voted
ICALP
1990
Springer
15 years 7 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 ...
135
Voted
VLDB
1991
ACM
15 years 7 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...
142
Voted
FLAIRS
2006
15 years 5 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...
126
Voted
CONCUR
2010
Springer
15 years 3 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 ...