منابع مشابه
A Logic-Independent IDE
Syntax Display A dockable subwindow displays the abstract syntax tree (AST) of the current buffer. This is shown on the left of Fig. 4, where we define the theory from Ex. 2.2 in LF. Here, the green parts are the keywords and separators of our structure parser (see Sect. 4.1). Users can navigate from a buffer position to the respective node in the AST and vice versa, as shown in the jointly sel...
متن کاملTowards a Hume IDE
The Java-based Hume IDE provides a classic edit/run/debug text-based interactive programming environment, augmented with the Hume Diagram Tool(HDT) which displays two-dimensional box/wiring diagrams from Hume source programs. Diagram layout may be modified interactively and wires may be inspected to identify associated types. Here, we present an overview of the IDE, focusing on the HDT. We also...
متن کاملFeature specification: a logic-independent approach
In this paper, we investigate the formal specification of features and feature systems in the mathematical paradigm often called “logic-independent”, and formally capture in this paradigm the underlying important notions of feature integration and feature interactions. The complexity of real systems results in the definition of formal means to manage their size. To deal with this issue, we prop...
متن کاملLoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.
متن کاملDesigning IDE as a Service
While the popularity of web applications is growing, most of the software is still developed using desktop tools. Nevertheless, a browser-based development environment could offer a multitude of advantages. For example, only an up-to-date web browser is needed and therefore the user has no need to carry out complex tool installation and update procedures. Furthermore, publishing the application...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.167.7