ACM Transactions on Programming Languages and Systems

SCOPUS (1979-2024)SCIE-ISI

ISSN: 0164-0925

E-ISSN: 1558-4593

Quốc gia: Mỹ

Google Scholar ID:

Cơ quản chủ quản: Association for Computing Machinery (ACM) , ASSOC COMPUTING MACHINERY

Lĩnh vực:

Software

Phân tích ảnh hưởng

Các bài báo tiêu biểu

The temporal logic of actions

Tập 16 Số 3 - Trang 872-923 - 1994

Leslie Lamport

1808

Model checking and abstraction

Tập 16 Số 5 - Trang 1512-1542 - 1994

Edmund M. Clarke, Orna Grumberg, David E. Long

1219

Featherweight Java

Tập 23 Số 3 - Trang 396-450 - 2001

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

975

The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory

Tập 3 Số 4 - Trang 353-387 - 1981

Alan Borning

623

A Deductive Approach to Program Synthesis

Tập 2 Số 1 - Trang 90-121 - 1980

Zohar Manna, Richard Waldinger

581

Abstract interpretation of reactive systems

Tập 19 Số 2 - Trang 253-291 - 1997

Dennis Dams, Rob Gerth, Orna Grumberg

387

Traits

Tập 28 Số 2 - Trang 331-388 - 2006

Sté́phane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, Andrew P. Black

249

Compiling language definitions

Tập 24 Số 4 - Trang 334-368 - 2002

Mark van den Brand, Jan Heering, Paul Klint, P.A.S. Olivier

199

The pattern calculus

Tập 26 Số 6 - Trang 911-937 - 2004

C. Barry Jay

Designing families of data types using exemplars

Tập 11 Số 2 - Trang 212-248 - 1989

Wilf R. LaLonde

Các tạp chí khác

Scholar Hub là công cụ hỗ trợ trích dẫn tài liệu tham khảo, xác minh tính chính xác của tài liệu tham khảo, tính toán chỉ số ảnh hưởng của các tạp chí tham gia Scholar Hub, cùng từ điển học thuật và phân tích xu hướng nghiên cứu.
ScholarHub KHÔNG đăng thông tin tổng hợp, KHÔNG đăng lại nội dung từ các trang báo chí Việt Nam hoặc trang thông tin điện tử khác tại Việt Nam.

Thông tin, cập nhật

Đăng ký Tạp chí tham gia Scholar Hub

Phản hồi ý kiến về Scholar Hub

Bài viết, nội dung cập nhật

Từ điển học thuật

Website liên kết

Hệ thống CSDL Khoa học & Công nghệ SciBase

Phần mềm kiểm tra trùng lặp Kiểm Tra Tài Liệu

Phần mềm xuất bản tạp chí điện tử VOJS

Hệ thống hội thảo khoa học Việt Nam

Nền tảng trắc nghiệm và đề thi đa lĩnh vực LetQA

Thông tin liên hệ & hỗ trợ

Đơn vị chủ quản, phát triển và vận hành: Công ty Cổ phần Metis

Địa chỉ liên hệ: 26A Lê Đức Thọ, Phường Từ Liêm, Thành phố Hà Nội

Số giấy chứng nhận ĐKKD: 0109293202 cấp ngày 03/08/2020 tại Sở Kế hoạch và Đầu tư thành phố Hà Nội

Người quản lý và chịu trách nhiệm nội dung: Nguyễn Ngọc Sơn

Hotline: 0566.685.688

Email: [email protected]