3441 search results - page 171 / 689 » Parallel Logic Programming Systems |
143
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
ICALP
1990
Springer
15 years 7 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...
114
click to vote
SCCC
1998
IEEE
15 years 7 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
143
click to vote
CLUSTER
2005
IEEE
15 years 8 months ago
2005
IEEE
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
132
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...