3323 search results - page 193 / 665 » Computational Semantics with Functional Programming |
151
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
172
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
163
click to vote
IJCAI
2001
15 years 7 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
232
click to vote
AGP
2010
IEEE
15 years 4 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
143
click to vote
ER
1995
Springer
15 years 10 months ago
1995
Springer
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...