About: ACM Transactions on Programming Languages and Systems

Property	Value
dbo:abbreviation	ACM Trans. Program. Lang. Syst.
dbo:abstract	The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery. (en) ACM Transactions on Programming Languages and Systems (abrégé en TOPLAS) est une revue scientifique bimestrielle à comité de lecture sur les langages de programmation, publiée par l'Association for Computing Machinery depuis 1979. (fr)
dbo:academicDiscipline	dbr:Programming_language
dbo:firstPublicationYear	1979-01-01 (xsd:gYear)
dbo:frequencyOfPublication	Bimonthly
dbo:impactFactor	0.410000 (xsd:double)
dbo:impactFactorAsOf	2020-01-01 (xsd:gYear)
dbo:issn	0164-0925 1558-4593
dbo:publisher	dbr:Association_for_Computing_Machinery
dbo:wikiPageExternalLink	http://toplas.acm.org/ https://dblp.org/streams/journals/toplas https://dl.acm.org/journal/toplas https://dl.acm.org/loi/toplas
dbo:wikiPageID	32170882 (xsd:integer)
dbo:wikiPageLength	2747 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1104807192 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Scientific_journal dbr:Compiler_construction dbr:Cornell_University dbr:Journal_Citation_Reports dbr:Peer_review dbr:Garbage_collection_(computer_science) dbr:DBLP dbr:Dynamic_memory_allocation dbr:Editor-in-chief dbr:Formal_specification dbc:English-language_journals dbr:Association_for_Computing_Machinery dbr:ACM_Digital_Library dbc:Association_for_Computing_Machinery_academic_journals dbc:Bimonthly_journals dbc:Computer_science_journals dbc:Publications_established_in_1979 dbr:Language_interpretation dbr:Software_testing dbr:Impact_factor dbr:Open_access dbr:Semantics_of_programming_languages dbr:SCImago_Journal_Rank dbr:Scopus dbr:Software_verification dbr:Programming_language dbr:Programming_language_implementation dbr:Run-time_system
dbp:abbreviation	ACM Trans. Program. Lang. Syst. (en)
dbp:country	United States (en)
dbp:discipline	dbr:Programming_language
dbp:editor	Andrew C. Myers (en)
dbp:eissn	1558 (xsd:integer)
dbp:frequency	Bimonthly (en)
dbp:history	1979 (xsd:integer)
dbp:impact	0.410000 (xsd:double)
dbp:impactYear	2020 (xsd:integer)
dbp:issn	164 (xsd:integer)
dbp:link	https://dl.acm.org/journal/toplas https://dl.acm.org/loi/toplas
dbp:link1Name	Online access (en)
dbp:link2Name	Online archive (en)
dbp:publisher	dbr:Association_for_Computing_Machinery
dbp:title	ACM Transactions on Programming Languages and Systems (en)
dbp:website	http://toplas.acm.org/
dbp:wikiPageUsesTemplate	dbt:Infobox_journal dbt:Official_website dbt:Reflist dbt:Compu-journal-stub
dcterms:subject	dbc:English-language_journals dbc:Association_for_Computing_Machinery_academic_journals dbc:Bimonthly_journals dbc:Computer_science_journals dbc:Publications_established_in_1979
gold:hypernym	dbr:Journal
rdf:type	owl:Thing schema:CreativeWork dbo:PeriodicalLiterature dbo:Work wikidata:Q1092563 wikidata:Q234460 wikidata:Q386724 dbo:AcademicJournal dbo:WrittenWork
rdfs:comment	The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery. (en) ACM Transactions on Programming Languages and Systems (abrégé en TOPLAS) est une revue scientifique bimestrielle à comité de lecture sur les langages de programmation, publiée par l'Association for Computing Machinery depuis 1979. (fr)
rdfs:label	ACM Transactions on Programming Languages and Systems (en) ACM Transactions on Programming Languages and Systems (fr)
owl:sameAs	freebase:ACM Transactions on Programming Languages and Systems wikidata:ACM Transactions on Programming Languages and Systems dbpedia-fr:ACM Transactions on Programming Languages and Systems https://global.dbpedia.org/id/4K9kG
prov:wasDerivedFrom	wikipedia-en:ACM_Transactions_on_Programming_Languages_and_Systems?oldid=1104807192&ns=0
foaf:homepage	http://toplas.acm.org/
foaf:isPrimaryTopicOf	wikipedia-en:ACM_Transactions_on_Programming_Languages_and_Systems
foaf:name	ACM Transactions on Programming Languages and Systems (en)
is dbo:wikiPageRedirects of	dbr:Trans._on_Prog._Lang._&_Sys. dbr:Trans._on_Prog._Lang._&_Systems dbr:Trans._on_Program._Lang._&_Sys. dbr:Trans._on_Program._Lang._&_Systems dbr:Transactions_on_Programming_Languages_&_Systems dbr:A.C.M._Transactions_on_Programming_Languages_&_Systems dbr:ACM_Trans._Program._Lang._Syst. dbr:ACM_Trans._on_Prog._Lang._&_Sys. dbr:ACM_Trans._on_Prog._Lang._&_Systems dbr:ACM_Trans._on_Program._Lang._&_Sys. dbr:ACM_Trans._on_Program._Lang._&_Systems dbr:ACM_Trans_Program_Lang_Syst dbr:ACM_Transactions_on_Programming_Languages_&_Systems dbr:ACM_Transactions_on_Programming_Languages_&_Systems_(TOPLAS) dbr:Association_for_Computing_Machinery_Tr...ns_on_Programming_Languages_&_Systems dbr:Trans._on_Prog._Lang._and_Sys. dbr:Trans._on_Prog._Lang._and_Systems dbr:Trans._on_Program._Lang._and_Sys. dbr:Trans._on_Program._Lang._and_Systems dbr:Transactions_on_Programming_Languages_and_Systems dbr:Association_for_Computing_Machinery_Tr..._on_Programming_Languages_and_Systems dbr:A.C.M._Transactions_on_Programming_Languages_and_Systems dbr:ACM_TOPLAS dbr:ACM_Trans._on_Prog._Lang._and_Sys. dbr:ACM_Trans._on_Prog._Lang._and_Systems dbr:ACM_Trans._on_Program._Lang._and_Sys. dbr:ACM_Trans._on_Program._Lang._and_Systems dbr:ACM_Transactions_on_Programming_Languages_and_Systems_(TOPLAS) dbr:TOPLAS
is dbo:wikiPageWikiLink of	dbr:List_of_computer_science_journals dbr:David_Bader_(computer_scientist) dbr:Anti-unification_(computer_science) dbr:List_of_important_publications_in_conc...,_parallel,_and_distributed_computing dbr:International_Conference_on_Functional_Programming dbr:MultiLisp dbr:Trans._on_Prog._Lang._&_Sys. dbr:Trans._on_Prog._Lang._&_Systems dbr:Trans._on_Program._Lang._&_Sys. dbr:Trans._on_Program._Lang._&_Systems dbr:Transactions_on_Programming_Languages_&_Systems dbr:Lowest_common_ancestor dbr:Programming_language_theory dbr:Liskov_substitution_principle dbr:A.C.M._Transactions_on_Programming_Languages_&_Systems dbr:ACM_Trans._Program._Lang._Syst. dbr:ACM_Trans._on_Prog._Lang._&_Sys. dbr:ACM_Trans._on_Prog._Lang._&_Systems dbr:ACM_Trans._on_Program._Lang._&_Sys. dbr:ACM_Trans._on_Program._Lang._&_Systems dbr:ACM_Trans_Program_Lang_Syst dbr:ACM_Transactions_on_Programming_Languages_&_Systems dbr:ACM_Transactions_on_Programming_Languages_&_Systems_(TOPLAS) dbr:Association_for_Computing_Machinery dbr:Syntactic_methods dbr:Douglas_McIlroy dbr:Greedy_coloring dbr:Association_for_Computing_Machinery_Tr...ns_on_Programming_Languages_&_Systems dbr:IEEE_754 dbr:IEEE_754-1985 dbr:European_Symposium_on_Programming dbr:SIGPLAN dbr:Polymorphic_recursion dbr:Tobias_Nipkow dbr:Trans._on_Prog._Lang._and_Sys. dbr:Trans._on_Prog._Lang._and_Systems dbr:Trans._on_Program._Lang._and_Sys. dbr:Trans._on_Program._Lang._and_Systems dbr:Transactions_on_Programming_Languages_and_Systems dbr:Association_for_Computing_Machinery_Tr..._on_Programming_Languages_and_Systems dbr:A.C.M._Transactions_on_Programming_Languages_and_Systems dbr:ACM_TOPLAS dbr:ACM_Trans._on_Prog._Lang._and_Sys. dbr:ACM_Trans._on_Prog._Lang._and_Systems dbr:ACM_Trans._on_Program._Lang._and_Sys. dbr:ACM_Trans._on_Program._Lang._and_Systems dbr:ACM_Transactions_on_Programming_Languages_and_Systems_(TOPLAS) dbr:TOPLAS
is foaf:primaryTopic of	wikipedia-en:ACM_Transactions_on_Programming_Languages_and_Systems