3323 search results - page 180 / 665 » Computational Semantics with Functional Programming |
184
click to vote
NJC
2000
15 years 6 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
175
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
170
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
165
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...
470
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.