-
JavaScript là ngôn ngữ lập trình được sử dụng sôi nổi nhất, có đặc tả ngôn ngữ mang tên ecma 262 do tc39 duy trì cùng nhiều triển khai khác nhau.
-
Đặc biệt, trong các bản phát hành hằng năm của E 262, đã phát sinh vấn đề do thiếu cơ chế tự động để kiểm tra tính chính xác và mức độ phù hợp của đặc tả.
-
Một cách tiếp cận mới đã được đề xuất: tự động trích xuất đặc tả cơ giới hóa từ đặc tả Pro, từ đó có thể áp dụng vào nhiều ứng dụng như tổng hợp chương trình kiểm thử tính phù hợp và thực hiện phân tích kiểu.
-
Thông qua đặc tả cơ giới hóa được trích xuất, có thể tự động tạo ra các triển khai ngôn ngữ chuyên dụng, và công nghệ này đã được công bố dưới dạng mã nguồn mở để có thể sử dụng thực tế trong phát triển ngôn ngữ JavaScript.
-
Một hướng tiếp cận đầy hứa hẹn đối với phát triển ngôn ngữ lập trình là trước hết thiết kế ngôn ngữ bằng đặc tả cơ giới hóa, sau đó từ đó tạo ra cả đặc tả Pro lẫn triển khai ngôn ngữ; điều này đã được chứng minh là khả thi và thực tiễn trong JavaScript.
-
Có thể xem thêm chi tiết về công trình này trong số Communications của ACM tháng 4 năm 2024; bài viết cũng đưa ra phương pháp có thể áp dụng cho cả các ngôn ngữ lập trình hiện có lẫn các ngôn ngữ mới.
4 bình luận
Thật tiếc là những bài viết giới thiệu kiểu này lại hiếm khi cung cấp các liên kết như bản gốc của bài báo khoa học.
Trong các bài báo khoa học của một số cơ quan báo chí, đôi khi họ ghi DOI ở cuối bài để người đọc có thể tìm bài luận văn được giới thiệu trong bài đó, và tôi mong kiểu thông lệ này sẽ được phổ biến rộng rãi hơn.
Dù sao thì vì vậy tôi đã tự tìm và mang về liên kết bài báo và Github mà bài viết trên nhắc tới.
À, tôi cũng chỉ mang tin tức về thôi, cảm ơn bạn đã bổ sung thêm nội dung liên quan đến bài báo nhé!
eumacó vẻ là lỗi gõ nhầm!Dưới đây là video YouTube liên quan.
https://www.youtube.com/watch?v=JGxc-KIUnQY
Nội dung trên được tóm tắt bằng Corely.
https://corely.ai/content/…