Los ACM Transactions on Lenguajes de Programación y Sistemas ( TOPLAS ) es un bimensual revisada por pares revista científica sobre lenguajes de programación publicada por la Association for Computing Machinery desde 1979. El actual editor en jefe, es Andrew Myers . Su alcance incluye diseño de lenguajes de programación , implementación y semántica de lenguajes de programación , compiladores e intérpretes , sistemas de tiempo de ejecución , asignación de almacenamiento y recolección de basura.y especificación , prueba y verificación formales de software .
Disciplina | Lenguaje de programación |
---|---|
Idioma | inglés |
Editado por | Andrew C. Myers |
Detalles de la publicación | |
Historia | 1979-presente |
Editor | ACM (Estados Unidos) |
Frecuencia | Bimensual |
Abreviaturas estándarISO 4 ( alt ) · Bluebook ( alt1 · alt2 ) NLM ( alt ) · MathSciNet ( alt ) | |
ISO 4 | ACM Trans. Programa. Lang. Syst. |
IndexaciónCODEN · JSTOR ( alt ) · LCCN ( alt ) MIAR · NLM ( alt ) · Scopus | |
ISSN | 0164-0925 (impresión) 1558-4593 (web) |
Enlaces | |