Parsing Mixfix Operators-Reference-Cited by-同舟云学术

Parsing Mixfix Operators

Published:2011 Issue: Volume: Page:80-99
ISSN:0302-9743
Container-title:Implementation and Application of Functional Languages
language:
Short-container-title:

Author:

Danielsson Nils Anders,Norell Ulf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24452-0_5

Reference26 articles.

1. Aasa, A.: Precedences in specifications and implementations of programming languages. Theoretical Computer Science 142(1), 3–26 (1995)

2. Aasa, A.: User Defined Syntax. PhD thesis, Chalmers University of Technology (1992)

3. The Agda Team. The Agda Wiki (2009), http://wiki.portal.chalmers.se/agda/

4. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)

5. Allen, E., Chase, D., Hallett, J., Luchangco, V., Maessen, J.-W., Ryu, S., Steele Jr., G.L., Tobin-Hochstadt, S., et al.: The Fortress Language Specification, Version 1.0 (2008)

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

1. A Framework for the Localization of Programming Languages;Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E;2023-10-18

2. A model of Solidity-style smart contracts in the theorem prover Agda;2023 IEEE International Conference on Artificial Intelligence, Blockchain, and Internet of Things (AIBThings);2023-09-16

3. Statically Resolvable Ambiguity;Proceedings of the ACM on Programming Languages;2023-01-09

4. Verifying Correctness of Smart Contracts with Conditionals;2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain);2022-11-07

5. Algorithm of parsing context-free grammars;Proceedings of Academician O.B. Lupanov 14th International Scientific Seminar "Discrete Mathematics and Its Applications";2022