578 search results - page 87 / 116 » Analysis of Programs with Exception-Handling Constructs |
ICALP
2004
Springer
14 years 28 days ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
IFIP
2004
Springer
14 years 28 days ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
UML
2004
Springer
14 years 27 days ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...
IPPS
2003
IEEE
14 years 25 days ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
SIGDOC
2003
ACM
14 years 24 days ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...