3738 search results - page 14 / 748 » Parametrized Logic Programming |
ACL
1998
14 years 11 months ago
1998
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
69
Voted
JMLC
1997
Springer
15 years 1 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...