300 search results - page 25 / 60 » Subset Types and Partial Functions |
143
click to vote
CADE
1990
Springer
15 years 6 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
174
Voted
ICLP
2011
Springer
14 years 6 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
107
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
121
Voted
RSA
2010
15 years 27 days ago
2010
We study the random graph Gn,Ī»/n conditioned on the event that all vertex degrees lie in some given subset S of the nonnegative integers. Subject to a certain hypothesis on S, the...
112
click to vote
CIE
2009
Springer
15 years 9 months ago
2009
Springer
J. Raymundo MarcialāRomero and M. H. EscardĀ“o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...