973 search results - page 62 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
ER
2008
Springer
13 years 9 months ago
2008
Springer
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
Most database interfaces provide poor guidance on ad hoc query formulation, burdening users to learn, and to recall precisely the query language and the database. Kaleidoscope avo...