Graphical and incremental type inference. A graph transformation approach
نویسندگان
چکیده
منابع مشابه
Graphical and Incremental Type Inference: A Graph Transformation Approach
We present a graph grammar based type inference system for a totally graphic development language. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that acts as an on-line tracer and debugger. Programs are process networks that evolve giving total visibility of the execution state, and can be interactively completed, changed or stored at any step. In such a context, type inf...
متن کاملGraph Transformation with Incremental Updates
We propose an efficient implementation technique for graph transformation systems based on incremental updates. The essence of the technique is to keep track of all possible matchings of graph transformation rules in database tables, and update these tables incrementally to exploit the fact that rules typically perform only local modifications to models.
متن کاملGraph transformation for incremental natural language analysis
Millstream systems have been proposed as a non-hierarchical method for modelling natural language. Millstream configurations represent and connect multiple structural aspects of sentences. We present a method by which the Millstream configurations corresponding to a sentence are constructed. The construction is incremental, that is, it proceeds as the sentence is being read and is complete when...
متن کاملTowards Incremental Graph Transformation in Fujaba
I discuss a technique for on-the-fly model transformations based on incremental updates. The essence of the technique is to keep track of all possible matchings of graph transformation rules, and update these matchings incrementally to exploit the fact that rules typically perform only local modifications to models. The proposal is planned to be implemented as a plug-in for the Fujaba graph tra...
متن کاملA Plausibility-Based Approach to Incremental Inference
Inference techniques play a central role in many cognitive systems. They transform low-level observations of the environment into high-level, actionable knowledge which then gets used by mechanisms that drive action, problem-solving, and learning. This paper presents an initial effort at combining results from AI and psychology into a pragmatic and scalable computational reasoning system. Our a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Higher-Order and Symbolic Computation
سال: 2013
ISSN: 1388-3690,1573-0557
DOI: 10.1007/s10990-014-9104-8