Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
Natural language communication is very important in Human-Robot cooperative work. This paper presents an object sorting robotic system which is controlled by natural language comm...
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...