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.

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

IronMeta is an implementation of Alessandro Warth's OMeta metaprogramming system in C#. It provides a packrat parser generator that generates parsers for Parsing Expression Grammars that operate on arbitrary streams of objects.

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.

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.

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.