Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Florido, M��rio"'
In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automatically assign types to predicates which, in most cases, correspond to the d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::065012b02a40c9a72149fb15602afab2
Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics defined for typed programs, on the other. In this paper, we define a new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61cd00b28a1047e3b8174b071e6e15e3
We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise types than in the original refinement system. We have been able to prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e75a71ab2d7496ec0e06abbe2d31ca39
Autor:
Florido, M��rio, Mackie, Ian
This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual Conference on Comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65fad795e52ab5d80fdddc34e2235e56