Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

PADL
2015
Springer

favoriteEmaildiscussreport

5views Programming Languages» more PADL 2015»

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

8 years 6 months ago

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Download www.dcc.fc.up.pt

Linear logic programs are challenging to implement eﬃciently because facts are asserted and retracted frequently. Implementation is

Flávio Cruz, Ricardo Rocha

Real-time Traffic

PADL 2015 | Programming Languages |

claim paper

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	PADL
Authors	Flávio Cruz, Ricardo Rocha

Comments (0)