1318 search results - page 1 / 264 » The formal semantics of the timeER model |
APCCM
2006
13 years 5 months ago
2006
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
AI
1998
Springer
13 years 4 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
INFORMS
1998
13 years 4 months ago
1998
POPL
2012
ACM
12 years 1 days ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
SIGCSE
2002
ACM
13 years 4 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...