MinCaml

Sumii, Eijiro

doi:10.1145/1085114.1085122

Cited by 10 publications

(5 citation statements)

References 18 publications

(29 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To evaluate the language design of Nez, we have performed • MinCaml -Developed from the scratch, based on MinCaml paper [16] • Haskell -Developed from the scratch. Table 1 shows a list of developed grammars.The column labeled "#" indicates the number of production rules, implying the complexity of grammars.…”

Section: Discussionmentioning

confidence: 99%

A Declarative Extension of Parsing Expression Grammars for Recognizing Most Programming Languages

Matsumura

Kuramitsu

2016

Journal of Information Processing

View full text Add to dashboard Cite

Parsing Expression Grammars are a popular foundation for describing syntax. Unfortunately, several syntax of programming languages are still hard to recognize with pure PEGs. Notorious cases appears: typedef-defined names in C/C++, indentation-based code layout in Python, and HERE document in many scripting languages. To recognize such PEG-hard syntax, we have addressed a declarative extension to PEGs. The "declarative" extension means no programmed semantic actions, which are traditionally used to realize the extended parsing behavior. Nez is our extended PEG language, including symbol tables and conditional parsing. This paper demonstrates that the use of Nez Extensions can realize many practical programming languages, such as C, C#, Ruby, and Python, which involve PEG-hard syntax.

show abstract

Section: Discussionmentioning

confidence: 99%

A Declarative Extension of Parsing Expression Grammars for Recognizing Most Programming Languages

Matsumura

Kuramitsu

2016

Journal of Information Processing

View full text Add to dashboard Cite

show abstract

“…The structure of the compiler is similar to that of a general functional language, based on the implementation in mincaml [28] and implemented on C++.…”

Section: Architecturementioning

confidence: 99%

mimium: a self-extensible programming language for sound and music

Matsuura

2021

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design

View full text Add to dashboard Cite

We propose a programming language for music named mimium, which combines temporal-discrete control and signal processing in a single language. mimium has an intuitive imperative syntax and can use stateful functions as Unit Generator in the same way as ordinary function definitions and applications. Furthermore, the runtime performance is made equivalent to that of lower-level languages by compiling the code through the LLVM compiler infrastructure. By using the strategy of adding a minimum number of features for sound to the design and implementation of a general-purpose functional language, mimium is expected to lower the learning cost for users, simplify the implementation of compilers, and increase the self-extensibility of the language. In this paper, we present the basic language specification, semantics for simple task scheduling, the semantics for stateful functions, and the compilation process.mimium has certain specifications that have not been achieved in existing languages. Future works suggested include extending the compiler functionality to combine task scheduling with the functional paradigm and introducing multi-stage computation for parametric replication of stateful functions. CCS Concepts: • Applied computing → Sound and music computing; • Computer systems organization → Real-time languages; • Theory of computation → Timed and hybrid models.

show abstract

“…Implementation. We implemented the BacCaml metahybrid JIT compiler framework based on the MinCaml compiler [34]. MinCaml is a small ML compiler designed for education-purpose.…”

Section: Setupmentioning

confidence: 99%

“…Though its architecture is based on the RPython's, it is a completely different and much simpler implementation written in OCaml. We modified the MinCaml compiler [34] as the compiler backend.…”

Section: Introductionmentioning

confidence: 99%

Amalgamating different JIT compilations in a meta-tracing JIT compiler framework

Izawa

Masuhara

2020

Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages

View full text Add to dashboard Cite

Most virtual machines employ just-in-time (JIT) compilers to achieve high-performance. Trace-based compilation and method-based compilation are two major compilation strategies in JIT compilers. In general, the former excels in compiling programs with more in-depth method calls and more dynamic branches, while the latter is suitable for a wide range of programs. Some previous studies have suggested that each strategy has its advantages and disadvantages,and there is no clear winner. In this paper, we present a new approach, namely, the meta-hybrid JIT compilation strategy, mixing the two strategies in a meta-tracing JIT compiler. As a prototype, we implemented a simple meta-tracing JIT compiler framework called BacCaml based on the MinCaml compiler by following RPython's architecture. We also report that some programs ran faster by the hybrid compilation in our experiments. CCS Concepts: • Software and its engineering → Justin-time compilers.

show abstract

MinCaml

Cited by 10 publications

References 18 publications

A Declarative Extension of Parsing Expression Grammars for Recognizing Most Programming Languages

A Declarative Extension of Parsing Expression Grammars for Recognizing Most Programming Languages

mimium: a self-extensible programming language for sound and music

Amalgamating different JIT compilations in a meta-tracing JIT compiler framework

Contact Info

Product

Resources

About