The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979. The current editor-in-chief is Jens Palsberg. Its scope includes programming language design, implementation, and semantics of programming languages, compilers and interpreters, run-time systems, storage allocation and garbage collection, and formal specification, testing, and verification of software.

Property Value
dbo:abbreviation
  • ACM Trans. Program. Lang. Syst.
dbo:abstract
  • The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979. The current editor-in-chief is Jens Palsberg. Its scope includes programming language design, implementation, and semantics of programming languages, compilers and interpreters, run-time systems, storage allocation and garbage collection, and formal specification, testing, and verification of software. (en)
dbo:academicDiscipline
dbo:editor
dbo:firstPublicationYear
  • 1979-01-01 (xsd:date)
dbo:frequencyOfPublication
  • Bimonthly
dbo:issn
  • 0164-0925
  • 1558-4593
dbo:publisher
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 32170882 (xsd:integer)
dbo:wikiPageRevisionID
  • 643112902 (xsd:integer)
dbp:country
  • United States
dbp:link
dbp:link1Name
  • Online access
dbp:link2Name
  • Online archive
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979. The current editor-in-chief is Jens Palsberg. Its scope includes programming language design, implementation, and semantics of programming languages, compilers and interpreters, run-time systems, storage allocation and garbage collection, and formal specification, testing, and verification of software. (en)
rdfs:label
  • ACM Transactions on Programming Languages and Systems (en)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • ACM Transactions on Programming Languages and Systems (en)
is dbo:wikiPageRedirects of
is foaf:primaryTopic of