书目名称 | Programming Language Implementation and Logic Programming |
副标题 | 6th International Sy |
编辑 | Manuel Hermenegildo,Jaan Penjam |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP ‘94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation. |
出版日期 | Conference proceedings 1994 |
关键词 | Sleep; compiler; concurrency; constraint; constraint programming; logic; logic programming; logisches Progr |
版次 | 1 |
doi | https://doi.org/10.1007/3-540-58402-1 |
isbn_softcover | 978-3-540-58402-5 |
isbn_ebook | 978-3-540-48695-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1994 |