A programmable programming language-Reference-Cited by-同舟云学术

A programmable programming language

Author:

Felleisen Matthias¹,Findler Robert Bruce²,Flatt Matthew³,Krishnamurthi Shriram⁴,Barzilay Eli⁵,McCarthy Jay⁶,Tobin-Hochstadt Sam⁷

Affiliation:

1. Northeastern University, Boston, MA

2. Northwestern University, Evanston, IL

3. University of Utah, Salt Lake City, UT

4. Brown University, Providence, RI

5. Microsoft Research, Cambridge, MA

6. University of Massachusetts, Lowell, MA

7. Indiana University, Bloomington, IN

Abstract

As the software industry enters the era of language-oriented programming, it needs programmable programming languages.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

Reference36 articles.

Cited by 54 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Functional Verification of eBPF Programs;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04

2. Forge: A Tool and Language for Teaching Formal Methods;Proceedings of the ACM on Programming Languages;2024-04-29

4. FPGA Technology Mapping Using Sketch-Guided Program Synthesis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

5. A Proposal of Naturalistic Software Development Method;JUCS - Journal of Universal Computer Science;2024-02-28