Structural Resolution for Abstract Compilation of Object-Oriented Languages. Franceschini, L., Ancona, D., & Komendantskaya, E. In Komendantskaya, E. & Power, J., editors, m̊ Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, m̊ Edinburgh, UK, 28-29 November 2016, volume 258, of Electronic Proceedings in Theoretical Computer Science, pages 19-35, 2017. Open Publishing Association. doi bibtex @Inproceedings{Franceschini17SResolution,
author = {Franceschini, Luca and Ancona, Davide and Komendantskaya, Ekaterina},
year = {2017},
title = {Structural Resolution for Abstract Compilation of Object-Oriented Languages},
editor = {Komendantskaya, Ekaterina and Power, John},
booktitle = {{\rm Proceedings of the First Workshop on}
Coalgebra, Horn Clause Logic Programming and Types,
{\rm Edinburgh, UK, 28-29 November 2016}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {258},
publisher = {Open Publishing Association},
pages = {19-35},
doi = {10.4204/EPTCS.258.2},
}
Downloads: 0
{"_id":"Y2raHid764R2CLguJ","bibbaseid":"franceschini-ancona-komendantskaya-structuralresolutionforabstractcompilationofobjectorientedlanguages-2017","downloads":0,"creationDate":"2018-01-23T14:34:58.187Z","title":"Structural Resolution for Abstract Compilation of Object-Oriented Languages","author_short":["Franceschini, L.","Ancona, D.","Komendantskaya, E."],"year":2017,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/LucaFranceschini/bibbase.github.io/master/luca.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Franceschini"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Ancona"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Komendantskaya"],"firstnames":["Ekaterina"],"suffixes":[]}],"year":"2017","title":"Structural Resolution for Abstract Compilation of Object-Oriented Languages","editor":[{"propositions":[],"lastnames":["Komendantskaya"],"firstnames":["Ekaterina"],"suffixes":[]},{"propositions":[],"lastnames":["Power"],"firstnames":["John"],"suffixes":[]}],"booktitle":"m̊ Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, m̊ Edinburgh, UK, 28-29 November 2016","series":"Electronic Proceedings in Theoretical Computer Science","volume":"258","publisher":"Open Publishing Association","pages":"19-35","doi":"10.4204/EPTCS.258.2","bibtex":"@Inproceedings{Franceschini17SResolution,\n author = {Franceschini, Luca and Ancona, Davide and Komendantskaya, Ekaterina},\n year = {2017},\n title = {Structural Resolution for Abstract Compilation of Object-Oriented Languages},\n editor = {Komendantskaya, Ekaterina and Power, John},\n booktitle = {{\\rm Proceedings of the First Workshop on}\n Coalgebra, Horn Clause Logic Programming and Types,\n {\\rm Edinburgh, UK, 28-29 November 2016}},\n series = {Electronic Proceedings in Theoretical Computer Science},\n volume = {258},\n publisher = {Open Publishing Association},\n pages = {19-35},\n doi = {10.4204/EPTCS.258.2},\n}\n","author_short":["Franceschini, L.","Ancona, D.","Komendantskaya, E."],"editor_short":["Komendantskaya, E.","Power, J."],"key":"Franceschini17SResolution","id":"Franceschini17SResolution","bibbaseid":"franceschini-ancona-komendantskaya-structuralresolutionforabstractcompilationofobjectorientedlanguages-2017","role":"author","urls":{},"downloads":0},"search_terms":["structural","resolution","abstract","compilation","object","oriented","languages","franceschini","ancona","komendantskaya"],"keywords":[],"authorIDs":["5a6748120cfc9c704200005c"],"dataSources":["R5cH2vsKPMWNzufPn"]}