%0 Report %1 Alexiev1993-annotatedBibliography %A Alexiev, Vladimir %D 1993 %K bibliography logic_programming multiparadigm_programming object-oriented_programming %T A (Not Very Much) Annotated Bibliography on Integrating Object-Oriented and Logic Programming %U http://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1993-annotatedBibliography.pdf %X An overview of existing applications of Linear Logic (LL) to issues of computation. After a substantial introduction to LL, it discusses the implications of LL to functional programming, logic programming, concurrent and object-oriented programming and some other applications of LL, like semantics of negation in LP, non-monotonic issues in AI planning, etc. Although the overview covers pretty much the state-of-the-art in this area, by necessity many of the works are only mentioned and referenced, but not discussed in any considerable detail. The paper does not presuppose any previous exposition to LL, and is addressed more to computer scientists (probably with a theoretical inclination) than to logicians. The paper contains over 140 references, of which some 80 are about applications of LL.

@techreport{Alexiev1993-annotatedBibliography, abstract = {An overview of existing applications of Linear Logic (LL) to issues of computation. After a substantial introduction to LL, it discusses the implications of LL to functional programming, logic programming, concurrent and object-oriented programming and some other applications of LL, like semantics of negation in LP, non-monotonic issues in AI planning, etc. Although the overview covers pretty much the state-of-the-art in this area, by necessity many of the works are only mentioned and referenced, but not discussed in any considerable detail. The paper does not presuppose any previous exposition to LL, and is addressed more to computer scientists (probably with a theoretical inclination) than to logicians. The paper contains over 140 references, of which some 80 are about applications of LL.}, added-at = {2021-08-25T16:07:36.000+0200}, author = {Alexiev, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/2cb58e798bfd0e9dcc68ff0103e2a65b9/valexiev}, institution = {University of Alberta}, interhash = {1d901dc6858c21fd0d9c27ccf2aa77a8}, intrahash = {cb58e798bfd0e9dcc68ff0103e2a65b9}, keywords = {bibliography logic_programming multiparadigm_programming object-oriented_programming}, month = mar, timestamp = {2021-08-25T16:07:36.000+0200}, title = {{A (Not Very Much) Annotated Bibliography on Integrating Object-Oriented and Logic Programming}}, url = {http://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1993-annotatedBibliography.pdf}, url_citeseer = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.6168}, year = 1993 }