1805 search results - page 231 / 361 » Functional programming with structured graphs |
103
Voted
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
108
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
153
click to vote
ICSM
2003
IEEE
15 years 6 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
110
click to vote
MPC
1995
Springer
15 years 5 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
105
click to vote
DRM
2007
Springer
15 years 7 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...