On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
| Title | On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Flávio Cruz and Ricardo Rocha |
| Conference Name | 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) |
| Month of Publish | June |
| Publisher | Springer - LNCS |
| Conference Location | Portland, OR, USA |
| URL | http://www.cs.nmsu.edu/padl15/ |
| DOI | 10.1007/978-3-319-19686-2_3 |