1302 search results - page 202 / 261 » Fair Equivalence Relations |
223
click to vote
LCPC
1992
Springer
15 years 10 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
123
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
156
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
171
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...
143
click to vote
DIAGRAMS
2006
Springer
15 years 9 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...