{"id":"https://openalex.org/W2754664787","doi":"https://doi.org/10.1145/3125374.3125377","title":"A hybrid intermediate language between SSA and CPS","display_name":"A hybrid intermediate language between SSA and CPS","publication_year":2017,"publication_date":"2017-09-20","ids":{"openalex":"https://openalex.org/W2754664787","doi":"https://doi.org/10.1145/3125374.3125377","mag":"2754664787"},"language":"en","primary_location":{"id":"doi:10.1145/3125374.3125377","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3125374.3125377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st Brazilian Symposium on Programming Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008945191","display_name":"Paulo Torrens","orcid":"https://orcid.org/0000-0003-3838-652X"},"institutions":[{"id":"https://openalex.org/I164790352","display_name":"Universidade do Estado de Santa Catarina","ror":"https://ror.org/03ztsbk67","country_code":"BR","type":"education","lineage":["https://openalex.org/I164790352"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Paulo Torrens","raw_affiliation_strings":["Santa Catarina State University"],"affiliations":[{"raw_affiliation_string":"Santa Catarina State University","institution_ids":["https://openalex.org/I164790352"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044158889","display_name":"Cristiano Vasconcellos","orcid":"https://orcid.org/0000-0001-7581-4146"},"institutions":[{"id":"https://openalex.org/I164790352","display_name":"Universidade do Estado de Santa Catarina","ror":"https://ror.org/03ztsbk67","country_code":"BR","type":"education","lineage":["https://openalex.org/I164790352"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Cristiano Vasconcellos","raw_affiliation_strings":["Santa Catarina State University"],"affiliations":[{"raw_affiliation_string":"Santa Catarina State University","institution_ids":["https://openalex.org/I164790352"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033480759","display_name":"Junia Gon\u00e7alves","orcid":"https://orcid.org/0000-0002-8542-7518"},"institutions":[{"id":"https://openalex.org/I107707843","display_name":"Roskilde University","ror":"https://ror.org/014axpa37","country_code":"DK","type":"education","lineage":["https://openalex.org/I107707843"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Junia Gon\u00e7alves","raw_affiliation_strings":["Roskilde University"],"affiliations":[{"raw_affiliation_string":"Roskilde University","institution_ids":["https://openalex.org/I107707843"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008945191"],"corresponding_institution_ids":["https://openalex.org/I164790352"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12059216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6338889002799988},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39635199308395386}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6338889002799988},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39635199308395386}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3125374.3125377","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3125374.3125377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st Brazilian Symposium on Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/8bf9a099-5756-4329-af4c-ecc0f7b49d4b","is_oa":false,"landing_page_url":"https://forskning.ruc.dk/da/publications/8bf9a099-5756-4329-af4c-ecc0f7b49d4b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401457","display_name":"RUCforsk (Roskilde University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I107707843","host_organization_name":"Roskilde University","host_organization_lineage":["https://openalex.org/I107707843"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Torrens, P, Vasconcellos, C & Gon\u00e7alves, J 2017, A hybrid intermediate language between SSA and CPS. in SBLP 2017 Proceedings of the 21st Brazilian Symposium on Programming Languages., 3125377, Association for Computing Machinery, New York, 21st Brazilian Symposium on Programming Languages, Fortaleza, Brazil, 21/09/2017. https://doi.org/10.1145/3125374.3125377","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1981830935","https://openalex.org/W2069107692","https://openalex.org/W2082709037","https://openalex.org/W2101811680","https://openalex.org/W2121408440","https://openalex.org/W2149127686","https://openalex.org/W3001474023","https://openalex.org/W4246798589","https://openalex.org/W4252567017"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Compiler":[0],"theory":[1],"is":[2,64],"usually":[3],"studied":[4],"individually":[5],"according":[6],"to":[7,66],"the":[8,11,21],"paradigms":[9],"of":[10,40],"programming":[12],"language":[13,32,35,53,56],"being":[14],"compiled.":[15],"As":[16],"noted":[17],"by":[18],"Kelsey,":[19],"though":[20],"static":[22],"single":[23],"assignment":[24],"(SSA)":[25],"form":[26],"has":[27,48],"been":[28,49],"used":[29,50],"as":[30,51],"intermediate":[31,52],"for":[33,54],"imperative":[34],"compilers,":[36,57],"and":[37,62],"some":[38],"variant":[39],"a":[41],"continuation":[42],"passing":[43],"style":[44],"(CPS)":[45],"lambda":[46],"calculus":[47],"functional":[55],"they":[58],"are":[59],"(almost)":[60],"equivalent":[61],"it":[63],"possible":[65],"draw":[67],"syntactic":[68],"translations":[69],"between":[70],"them.":[71]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}