Sciweavers

10871 search results - page 339 / 2175
» A stable programming language
Sort
View
VL
1998
IEEE
136views Visual Languages» more  VL 1998»
15 years 11 months ago
Designing New Programming Constructs in a Data Flow VL
A powerful and useful Data-Flow Visual Programming Language (DFVPL) must provide the necessary programming constructs to deal with complex problems. The main purpose of this paper...
Elena Ghittori, Mauro Mosconi, Marco Porta
GPCE
2009
Springer
15 years 11 months ago
A language and framework for invariant-driven transformations
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
Yanhong A. Liu, Michael Gorbovitski, Scott D. Stol...
ECP
1997
Springer
130views Robotics» more  ECP 1997»
15 years 11 months ago
Encoding Planning Problems in Nonmonotonic Logic Programs
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
Yannis Dimopoulos, Bernhard Nebel, Jana Koehler