7961 search results - page 241 / 1593 » Input-Output Model Programs |
162
click to vote
VL
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
150
click to vote
CSL
2000
Springer
15 years 8 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
130
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
110
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
160
click to vote
ENTCS
2006
15 years 3 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...