Search Results for "semantic"

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

...The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

Roslyn provides rich, code analysis APIs to open source C# and Visual Basic compilers. This enables you to access a wealth of information about your code from compilers, which you can then use for code-related tasks in your tools and applications. Roslyn dramatically lowers the barrier to entry for creating code-focused tools and applications, creating many opportunities for innovation.

...It serves as a continuation of Rui Ueyama’s series of compiler projects, focusing on clarity and incremental development rather than production-level optimization. The compiler implements essential stages such as lexical analysis, parsing, semantic analysis, and code generation, providing a complete pipeline from source code to executable output. It supports a subset of the C language sufficient to understand real-world compilation concepts, making it a valuable learning resource for developers interested in low-level programming. The project emphasizes readability and simplicity, with code structured to be easily understood rather than highly optimized. ...

The B compiler is a tool able to parse B models, and perform syntaxic and semantic analysis. It can also be used as a library, linked to applications manipulating B models (cross referencer, code generator, documentation generator, etc.). The most recent source code is available at https://github.com/CLEARSY/BCOMPILER

One of the requirements of current Semantic Web applications is to deal with heterogenous data. Data represented and stored using the Extensible Markup Language (XML) is almost ubiquitous and is the standard for data exchange. Resource Description Framework (RDF) is the W3C recommended standard for data representation. Being able to work with these two languages using a common framework is a great advantage and eliminates several unnecessary steps that are currently used when handling both formats.

ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.

RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.

cparser is a library containing a parser, lexer and semantic analysis for the ISO C99 language. It should be used as a compiler frontend, a base for source-source transformation, or source-checker tools.

An other library for the common problem of parsing arbitrary text data. A small, easy-to-use Java library LR parser without lookahead limitation. Semantic action defined in class not in grammar definition file.

Semantic Web related plugins for the DLVHEX system.

The project implement a framework of modular compilers that allows compile time programming for .NET, Java and other platforms. Languages on this framework are multi-paradigm and can be extended by programming new semantic structures or DSL.

CCompilerSuite is a complete framework to compile a rich dialect of ANSI-C onto a RISC-like assembly, with a Virtual Machine as well. It provides for minimized tree creation, partial evaluation and semantic checks. Project is in C++ and fully extensible.

Tickle is a compiler for the Illicom TradeXpress (TX) Transaction Control Language (TCL) . It has better error messages, provides more informative syntax and semantic error messages, and generates ANSI standard C.

Ayauhteotl is a parser generator to parse XML files, using an XML-like syntax. The parser generator takes an XML file which describe the structure of the XML files to parse and which associates a semantic (for now in \\\\\\\"C\\\\\\\") t

Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.

Simple University project of a compiler based in the Croatian language. Implemented in C++, using a LL(1) grammatical , with a syntax like Perl, excluding arrays or other complex primitive variable. I didn't finished the semantic analyzer.. :(