[ { "key": "TBT9TGF5", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/TBT9TGF5", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/TBT9TGF5", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/F2BVF3Q3", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "TBT9TGF5", "version": 2, "parentItem": "F2BVF3Q3", "itemType": "attachment", "linkMode": "imported_url", "title": "legion_types_full.pdf", "accessDate": "2012-12-03T23:54:55Z", "url": "http://theory.stanford.edu/~Aiken/publications/new/legion_types_full.pdf", "note": "", "contentType": "application/pdf", "charset": "", "filename": "legion_types_full.pdf", "md5": "5e3828053cc719d28a2e9bf56f9e1a5a", "mtime": 1355962927000, "tags": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "PRXKH8VV", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/PRXKH8VV", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/PRXKH8VV", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/JEW7AGCE", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "PRXKH8VV", "version": 2, "parentItem": "JEW7AGCE", "itemType": "attachment", "linkMode": "imported_file", "title": "Programming Language Pragmatics.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Programming Language Pragmatics.pdf", "md5": "38d0cb82d74b626393a20530e71d3cf7", "mtime": 1355962927000, "tags": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "IEZAQWKW", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/IEZAQWKW", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/IEZAQWKW", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/RRT97QWZ", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "IEZAQWKW", "version": 2, "parentItem": "RRT97QWZ", "itemType": "attachment", "linkMode": "imported_file", "title": "PBI6019.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "PBI6019.pdf", "md5": "2511b663ddf48cd501b157fb39639d58", "mtime": 1355962926000, "tags": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "3S2FH7SA", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/3S2FH7SA", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/3S2FH7SA", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/RRT97QWZ", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } } }, "data": { "key": "3S2FH7SA", "version": 1, "parentItem": "RRT97QWZ", "itemType": "attachment", "linkMode": "linked_url", "title": "Amazon.com Link", "accessDate": "2012-12-19T20:48:46Z", "url": "http://www.amazon.com/dp/0131395319", "note": "", "contentType": "text/html", "charset": "", "tags": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "QVMZXR5M", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/QVMZXR5M", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/QVMZXR5M", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/5H5BTNWJ", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } } }, "data": { "key": "QVMZXR5M", "version": 1, "parentItem": "5H5BTNWJ", "itemType": "attachment", "linkMode": "linked_url", "title": "Amazon.com Link", "accessDate": "2012-12-19T21:47:38Z", "url": "http://www.amazon.com/dp/0521780985", "note": "", "contentType": "text/html", "charset": "", "tags": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "JEW7AGCE", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/JEW7AGCE", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/JEW7AGCE", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Scott", "parsedDate": "2005-11-21", "numChildren": 2 }, "data": { "key": "JEW7AGCE", "version": 1, "itemType": "book", "title": "Programming Language Pragmatics, Second Edition", "creators": [ { "creatorType": "author", "firstName": "Michael L.", "lastName": "Scott" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "2", "date": "2005-11-21", "publisher": "Morgan Kaufmann", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "912", "ISBN": "0126339511", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "Amazon.com", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "5H5BTNWJ", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/5H5BTNWJ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/5H5BTNWJ", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Mitchell", "parsedDate": "2002-10-14", "numChildren": 1 }, "data": { "key": "5H5BTNWJ", "version": 1, "itemType": "book", "title": "Concepts in Programming Languages", "creators": [ { "creatorType": "author", "firstName": "John C.", "lastName": "Mitchell" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "1st", "date": "2002-10-14", "publisher": "Cambridge University Press", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "540", "ISBN": "0521780985", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "Amazon.com", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "AAZHFTTB", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/AAZHFTTB", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/AAZHFTTB", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/JEW7AGCE", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } } }, "data": { "key": "AAZHFTTB", "version": 1, "parentItem": "JEW7AGCE", "itemType": "attachment", "linkMode": "linked_url", "title": "Amazon.com Link", "accessDate": "2012-12-19T18:53:24Z", "url": "http://www.amazon.com/dp/0126339511", "note": "", "contentType": "text/html", "charset": "", "tags": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "F2BVF3Q3", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/F2BVF3Q3", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/F2BVF3Q3", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Treichler et al.", "numChildren": 1 }, "data": { "key": "F2BVF3Q3", "version": 1, "itemType": "journalArticle", "title": "A Type System for Safe and Scalable Parallelism using Logical Regions (Extended Version)", "creators": [ { "creatorType": "author", "firstName": "S.", "lastName": "Treichler" }, { "creatorType": "author", "firstName": "M.", "lastName": "Bauer" }, { "creatorType": "author", "firstName": "A.", "lastName": "Aiken" } ], "abstractNote": "", "publicationTitle": "", "publisher": "", "place": "", "date": "", "volume": "", "issue": "", "section": "", "partNumber": "", "partTitle": "", "pages": "", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "http://theory.stanford.edu/~Aiken/publications/new/legion_types_full.pdf", "accessDate": "2012-12-03T23:55:00Z", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "Google Scholar", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "RRT97QWZ", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/RRT97QWZ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/RRT97QWZ", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Sebesta", "parsedDate": "2012-01-16", "numChildren": 2 }, "data": { "key": "RRT97QWZ", "version": 1, "itemType": "book", "title": "Concepts of Programming Languages", "creators": [ { "creatorType": "author", "firstName": "Robert W.", "lastName": "Sebesta" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "10", "date": "2012-01-16", "publisher": "Addison-Wesley", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "816", "ISBN": "0131395319", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "Amazon.com", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2012-12-20T00:22:06Z", "dateModified": "2012-12-20T00:22:06Z" } }, { "key": "S2E5ZSHC", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/S2E5ZSHC", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/S2E5ZSHC", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/QR28PPMM", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "S2E5ZSHC", "version": 2, "parentItem": "QR28PPMM", "itemType": "attachment", "linkMode": "imported_url", "title": "ACM Full Text PDF", "accessDate": "2012-12-19T16:06:58Z", "url": "http://dl.acm.org/ft_gateway.cfm?id=69625&type=pdf", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Reiss - 1983 - Generation of Compiler Symbol Processing Mechanism.pdf", "md5": "36bf4e0d7f1d304a8d0919370f29e3f3", "mtime": 1355933234000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T16:07:14Z", "dateModified": "2012-12-19T16:07:14Z" } }, { "key": "QR28PPMM", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/QR28PPMM", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/QR28PPMM", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Reiss", "parsedDate": "1983-04", "numChildren": 1 }, "data": { "key": "QR28PPMM", "version": 1, "itemType": "journalArticle", "title": "Generation of Compiler Symbol Processing Mechanisms from Specifications", "creators": [ { "creatorType": "author", "firstName": "Stephen P.", "lastName": "Reiss" } ], "abstractNote": "", "publicationTitle": "ACM Trans. Program. Lang. Syst.", "publisher": "", "place": "", "date": "April 1983", "volume": "5", "issue": "2", "section": "", "partNumber": "", "partTitle": "", "pages": "127–163", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "10.1145/69624.69625", "citationKey": "", "url": "http://doi.acm.org/10.1145/69624.69625", "accessDate": "2012-12-19T16:06:58Z", "PMID": "", "PMCID": "", "ISSN": "0164-0925", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "ACM Digital Library", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2012-12-19T16:07:14Z", "dateModified": "2012-12-19T16:07:14Z" } }, { "key": "A7VAIIWC", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/A7VAIIWC", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/A7VAIIWC", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/2QTMHITF", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "A7VAIIWC", "version": 2, "parentItem": "2QTMHITF", "itemType": "attachment", "linkMode": "imported_url", "title": "ACM Full Text PDF", "accessDate": "2012-12-15T15:36:45Z", "url": "http://dl.acm.org/ft_gateway.cfm?id=1108974&type=pdf", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Stuckey and Sulzmann - 2005 - A theory of overloading.pdf", "md5": "27833fc583042a339d5e134e7845125e", "mtime": 1355930952000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "R6ZDAQ47", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/R6ZDAQ47", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/R6ZDAQ47", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/VIMR6TZ4", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "R6ZDAQ47", "version": 2, "parentItem": "VIMR6TZ4", "itemType": "attachment", "linkMode": "imported_file", "title": "sicp.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "sicp.pdf", "md5": "2ef066fd339b12efa009d43159f17386", "mtime": 1355930951000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "B6CNHNXB", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/B6CNHNXB", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/B6CNHNXB", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/VIMR6TZ4", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "B6CNHNXB", "version": 2, "parentItem": "VIMR6TZ4", "itemType": "attachment", "linkMode": "imported_file", "title": "AITR-735.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "AITR-735.pdf", "md5": "c70a0746b6f994b8f69198dc0bd55938", "mtime": 1355930951000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "BW99TCKI", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/BW99TCKI", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/BW99TCKI", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/EBS6EUAB", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } } }, "data": { "key": "BW99TCKI", "version": 2, "parentItem": "EBS6EUAB", "itemType": "attachment", "linkMode": "imported_url", "title": "Snapshot", "accessDate": "2012-12-19T07:10:16Z", "url": "http://link.springer.com/article/10.1007%2FBF01463944?LI=true", "note": "", "contentType": "text/html", "charset": "utf-8", "filename": "10.html", "md5": "57aa0e9af765b22f9bd06844070d5c04", "mtime": 1355930950000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "87PW3893", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/87PW3893", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/87PW3893", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/EBS6EUAB", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "87PW3893", "version": 2, "parentItem": "EBS6EUAB", "itemType": "attachment", "linkMode": "imported_file", "title": "name-analysis.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "name-analysis.pdf", "md5": "d49d977cd672e5800dd8e8950660b8f7", "mtime": 1355930950000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "RDIE6U4W", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/RDIE6U4W", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/RDIE6U4W", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/CFWKK2X7", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } } }, "data": { "key": "RDIE6U4W", "version": 2, "parentItem": "CFWKK2X7", "itemType": "attachment", "linkMode": "imported_url", "title": "Snapshot", "accessDate": "2012-12-19T07:19:19Z", "url": "http://link.springer.com/chapter/10.1007%2F11877028_18?LI=true", "note": "", "contentType": "text/html", "charset": "utf-8", "filename": "10.html", "md5": "42509d7626dfeddce842aded69a1f699", "mtime": 1355930949000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "2UA9I486", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/2UA9I486", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/2UA9I486", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/CFWKK2X7", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "2UA9I486", "version": 2, "parentItem": "CFWKK2X7", "itemType": "attachment", "linkMode": "imported_url", "title": "Full Text PDF", "accessDate": "2012-12-19T07:19:17Z", "url": "http://link.springer.com/content/pdf/10.1007%2F11877028_18", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Ekman and Hedin - 2006 - Modular Name Analysis for Java Using JastAdd.pdf", "md5": "458a8f8355d851a756af1df972c817e0", "mtime": 1355930949000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "EBS6EUAB", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/EBS6EUAB", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/EBS6EUAB", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Kastens and Waite", "parsedDate": "1991-06-01", "numChildren": 2 }, "data": { "key": "EBS6EUAB", "version": 1, "itemType": "journalArticle", "title": "An abstract data type for name analysis", "creators": [ { "creatorType": "author", "firstName": "U.", "lastName": "Kastens" }, { "creatorType": "author", "firstName": "W. M.", "lastName": "Waite" } ], "abstractNote": "This paper defines an abstract data type on which a solution to the name analysis subproblem of a compiler can be based. (Name analysis uses the scope rules of a language to associate uses of identifiers with their definitions.) We give a state model for the ADT, and show how to implement that model efficiently. The implementation is independent of any particular name analysis, so it is possible to create a library module that can be used in any compiler. Such a library module has been incorporated into the Eli compiler construction system.", "publicationTitle": "Acta Informatica", "publisher": "", "place": "", "date": "1991/06/01", "volume": "28", "issue": "6", "section": "", "partNumber": "", "partTitle": "", "pages": "539-558", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "Acta Informatica", "DOI": "10.1007/BF01463944", "citationKey": "", "url": "http://link.springer.com/article/10.1007/BF01463944", "accessDate": "2012-12-19T07:10:13Z", "PMID": "", "PMCID": "", "ISSN": "0001-5903, 1432-0525", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "en", "libraryCatalog": "link.springer.com", "callNumber": "", "rights": "", "extra": "", "tags": [ { "tag": "Computational Mathematics and Numerical Analysis", "type": 1 }, { "tag": "Computer Systems Organization and Communication Networks", "type": 1 }, { "tag": "Data Structures, Cryptology and Information Theory", "type": 1 }, { "tag": "Information Systems and Communication Service", "type": 1 }, { "tag": "Software Engineering/Programming and Operating Systems", "type": 1 }, { "tag": "Theory of Computation", "type": 1 } ], "collections": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "CFWKK2X7", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/CFWKK2X7", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/CFWKK2X7", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Ekman and Hedin", "parsedDate": "2006-01-01", "numChildren": 2 }, "data": { "key": "CFWKK2X7", "version": 1, "itemType": "bookSection", "title": "Modular Name Analysis for Java Using JastAdd", "creators": [ { "creatorType": "author", "firstName": "Torbjörn", "lastName": "Ekman" }, { "creatorType": "author", "firstName": "Görel", "lastName": "Hedin" }, { "creatorType": "editor", "firstName": "Ralf", "lastName": "Lämmel" }, { "creatorType": "editor", "firstName": "João", "lastName": "Saraiva" }, { "creatorType": "editor", "firstName": "Joost", "lastName": "Visser" } ], "abstractNote": "Name analysis for Java is challenging with its complex visibility rules involving nested scopes, inheritance, qualified access, and syntactic ambiguities. We show how Java name analysis including ambiguities related to names of variables, fields, and packages, can be implemented in a declarative and modular manner using the JastAdd compiler construction system. Declarative attributes and context-dependent rewrites enable the implementation to be modularized in the same way as the informal Java language specification. The individual rules in the specification transfer directly to equations in the implementation. Rewrites are used to define new concepts in terms of existing concepts in an iterative manner in the same way as the informal language specification. This enables equations to use both context-free and context-dependent concepts and leads to improved separation of concerns. A full Java 1.4 compiler has been implemented to validate the technique.", "bookTitle": "Generative and Transformational Techniques in Software Engineering", "series": "Lecture Notes in Computer Science", "seriesNumber": "4143", "volume": "", "numberOfVolumes": "", "edition": "", "date": "2006/01/01", "publisher": "Springer Berlin Heidelberg", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "pages": "422-436", "ISBN": "978-3-540-45778-7, 978-3-540-46235-4", "DOI": "", "citationKey": "", "url": "http://link.springer.com/chapter/10.1007/11877028_18", "accessDate": "2012-12-19T07:19:17Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "link.springer.com", "callNumber": "", "rights": "©2006 Springer-Verlag Berlin Heidelberg", "extra": "", "tags": [ { "tag": "Computer Appl. in Administrative Data Processing", "type": 1 }, { "tag": "Management of Computing and Information Systems", "type": 1 }, { "tag": "Programming Languages, Compilers, Interpreters", "type": 1 }, { "tag": "Programming Techniques", "type": 1 }, { "tag": "Software Engineering", "type": 1 } ], "collections": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "G688GF48", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/G688GF48", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/G688GF48", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/VIMR6TZ4", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } } }, "data": { "key": "G688GF48", "version": 1, "parentItem": "VIMR6TZ4", "itemType": "attachment", "linkMode": "linked_url", "title": "Amazon.com Link", "accessDate": "2012-12-19T05:24:37Z", "url": "http://www.amazon.com/dp/0262510871", "note": "", "contentType": "text/html", "charset": "", "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "2QTMHITF", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/2QTMHITF", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/2QTMHITF", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Stuckey and Sulzmann", "parsedDate": "2005-11", "numChildren": 1 }, "data": { "key": "2QTMHITF", "version": 1, "itemType": "journalArticle", "title": "A Theory of Overloading", "creators": [ { "creatorType": "author", "firstName": "Peter J.", "lastName": "Stuckey" }, { "creatorType": "author", "firstName": "Martin", "lastName": "Sulzmann" } ], "abstractNote": "We present a novel approach to allow for overloading of identifiers in the spirit of type classes. Our approach relies on a combination of the HM(X) type system framework with Constraint Handling Rules (CHRs). CHRs are a declarative language for writing incremental constraint solvers, that provide our scheme with a form of programmable type language. CHRs allow us to precisely describe the relationships among overloaded identifiers. Under some sufficient conditions on the CHRs we achieve decidable type inference and the semantic meaning of programs is unambiguous. Our approach provides a common formal basis for many type class extensions such as multiparameter type classes and functional dependencies.", "publicationTitle": "ACM Trans. Program. Lang. Syst.", "publisher": "", "place": "", "date": "November 2005", "volume": "27", "issue": "6", "section": "", "partNumber": "", "partTitle": "", "pages": "1216–1269", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "10.1145/1108970.1108974", "citationKey": "", "url": "http://doi.acm.org/10.1145/1108970.1108974", "accessDate": "2012-12-15T15:36:45Z", "PMID": "", "PMCID": "", "ISSN": "0164-0925", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "ACM Digital Library", "callNumber": "", "rights": "", "extra": "", "tags": [ { "tag": "coherence", "type": 1 }, { "tag": "constraints", "type": 1 }, { "tag": "evidence translation", "type": 1 }, { "tag": "overloading", "type": 1 }, { "tag": "type classes", "type": 1 }, { "tag": "type inference", "type": 1 } ], "collections": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "VIMR6TZ4", "version": 1, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/VIMR6TZ4", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/VIMR6TZ4", "type": "text/html" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "creatorSummary": "Abelson and Sussman", "parsedDate": "1996-09-01", "numChildren": 3 }, "data": { "key": "VIMR6TZ4", "version": 1, "itemType": "book", "title": "Structure and Interpretation of Computer Programs - 2nd Edition", "creators": [ { "creatorType": "author", "firstName": "Harold", "lastName": "Abelson" }, { "creatorType": "author", "firstName": "Gerald Jay", "lastName": "Sussman" }, { "creatorType": "contributor", "firstName": "Julie", "lastName": "Sussman" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "second edition", "date": "1996-09-01", "publisher": "The MIT Press", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "657", "ISBN": "0262510871", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "Amazon.com", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2012-12-19T15:29:09Z", "dateModified": "2012-12-19T15:29:09Z" } }, { "key": "XC87IV7R", "version": 2, "library": { "type": "group", "id": 42094, "name": "Collab with Larisse", "links": { "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/42094/items/XC87IV7R", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/collab_with_larisse/items/XC87IV7R", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/42094/items/AGBJMNTF", "type": "application/json" } }, "meta": { "createdByUser": { "id": 6358, "username": "Marcin Zalewski", "name": "Marcin Zalewski", "links": { "alternate": { "href": "https://www.zotero.org/marcin_zalewski", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "XC87IV7R", "version": 2, "parentItem": "AGBJMNTF", "itemType": "attachment", "linkMode": "imported_file", "title": "essentials_of_programming_languages_friedman.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "essentials_of_programming_languages_friedman.pdf", "md5": "940821e1d4e6b914acde77b6910acfc5", "mtime": 1355930294000, "tags": [], "relations": {}, "dateAdded": "2012-12-19T15:18:14Z", "dateModified": "2012-12-19T15:18:14Z" } } ]