222 search results - page 4 / 45 » E-Matching with Free Variables |
COLING
1990
13 years 8 months ago
1990
CORR
2007
Springer
13 years 7 months ago
2007
Springer
CC
2004
Springer
14 years 28 days ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
APAL
2008
13 years 7 months ago
2008
Consider the following restriction of the polymorphically typed lambda calculus ("System F"). All quantifications are parameter free. In other words, in every universal ...
DATE
2000
IEEE
13 years 12 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...