828 search results - page 12 / 166 » types 2000 |
IFIPTCS
2000
13 years 11 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
CBMS
2009
IEEE
14 years 2 months ago
2009
IEEE
The category of institution or organization underwriting the research reported in a scientific article is a required field (Grant Support type) in the bibliographic record of that...
ISMB
2001
13 years 9 months ago
2001
Using gene expression data to classify tumor types is a very promising tool in cancer diagnosis. Previous works show several pairs of tumor types can be successfully distinguished...
WCRE
2000
IEEE
14 years 1 hour ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
TPHOL
2000
IEEE
14 years 2 hour ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...