ACM Transactions on Programming Languages and Systems - DBpedia - DBpedia-association - TriplyDB

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems

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.

academic journal

periodical literature

http://dbpedia.org/resource/ACM_Transactions_on_Programming_Languages_and_Systems

A.C.M. Transactions on Programming Languages and Systems ACM TOPLAS ACM Trans. Program. Lang. Syst.ACM Trans. on Prog. Lang. and Sys.ACM Trans. on Prog. Lang. and Systems ACM Trans. on Program. Lang. and Sys.ACM Trans. on Program. Lang. and Systems ACM Transactions on Programming Languages and Systems (TOPLAS)Association for Computing Machinery Transactions on Programming Languages and Systems TOPLAS Trans. on Prog. Lang. and Sys.Trans. on Prog. Lang. and Systems Trans. on Program. Lang. and Sys.Trans. on Program. Lang. and Systems Transactions on Programming Languages and Systems

Wikipage redirect

ACM_Transactions_on_Programming_Languages_and_Systems

primaryTopic

ACM Transactions on Programming Languages and Systems

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.

academic journal

periodical literature

http://dbpedia.org/resource/ACM_Transactions_on_Programming_Languages_and_Systems

abbreviation

ACM Trans. Program. Lang. Syst.

http://www.w3.org/2001/XMLSchema#string

has abstract

The ACM Transactions on Progra ...... and verification of software.

@en

academic discipline

Programming language

editor

first publication year

1979

http://www.w3.org/2001/XMLSchema#gYear

frequency of publication

Bimonthly

http://www.w3.org/2001/XMLSchema#string

issn

0164-0925

http://www.w3.org/2001/XMLSchema#string

1558-4593

http://www.w3.org/2001/XMLSchema#string

publisher

Association for Computing Machinery

Link from a Wikipage to an external page

http://toplas.acm.org/

Wikipage page ID

32.170.882

http://www.w3.org/2001/XMLSchema#integer

Wikipage revision ID

643.112.902

http://www.w3.org/2001/XMLSchema#integer

country

United States

http://www.w3.org/1999/02/22-rdf-syntax-ns#langString

link

link1-name

Online access

http://www.w3.org/1999/02/22-rdf-syntax-ns#langString

link2-name

Online archive

http://www.w3.org/1999/02/22-rdf-syntax-ns#langString

subject

Association for Computing Machinery academic journals

Bimonthly journals

Computer science journals

English-language journals

Publications established in 1979

hypernym

type

academic journal

periodical literature

comment

The ACM Transactions on Progra ...... and verification of software.

@en

label

ACM Transactions on Programming Languages and Systems

@en

sameAs

wasDerivedFrom

ACM_Transactions_on_Programming_Languages_and_Systems?oldid=643112902

homepage

http://toplas.acm.org/

isPrimaryTopicOf

ACM_Transactions_on_Programming_Languages_and_Systems

name

ACM Transactions on Programming Languages and Systems

@en