FrIL - A Fractal Intermediate Language
نویسندگان
چکیده
This document describes the motivation, language description, and experience using FrIL, an intermediate language for a compiler's \middle-end". FrIL has successfully supported a two-semester compiler construction sequence, where the rst semester included code generation from a C-like language and the second semester included advanced data ow analysis and program transformation.
منابع مشابه
A Fril++ Compiler for Soft Computing Object-Oriented Logic Programming
— We present a compiler and object query system for Fril++, an object-oriented logic programming language incorporating fuzzy sets and support logic. Based on Fril, the fuzzy relational inference language, Fril++ provides extensions to support full object-oriented programming in a soft computing logic programming environment. We present the design implications of Fril++, with special emphasis o...
متن کاملImplementing Fril++ for Uncertain Object-Oriented Logic Programming
Uncertain object-oriented logic programming is a combination of logic programming, object-oriented programming and uncertainty logic to exploit the advantages of all three disciplines in dealing with real world problems. This paper presents the implementation of Fril++, the Fril-based object-oriented logic programming language with uncertainty. Fril++ syntax is introduced and related semantic i...
متن کاملFril++ for Machine Learning
Machine learning is one of the successful application areas of fuzzy set theory and fuzzy logic, which provide soft, and thus tolerant, way of partitioning attribute domains. Theoretical results have shown that there is no (fuzzy) machine learning algorithm that is the best for all tasks. Therefore, for a particular task, it is very useful to have a tool to compare different algorithms in order...
متن کاملEfficient Algorithms for Semantic Unification
The problem of matching vague terms must be addressed in knowledge-based systems involving uncertainty. Fril is a logic programming language extended by an integrated set of features for handling uncertain knowledge, based on the theoretical foundations provided by Baldwin’s mass assignment theory. This combines probabilistic and fuzzy uncertainty into a single framework. One of the fundamental...
متن کاملTowards Inductive Support Logic Programming
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. This paper presents a snapshot of current research, aimed at combining the best aspects of inductive logic programming with the uncertainty representation of Fril to create a sophisticated and novel approach to knowledge discovery. An ex...
متن کامل