Sciweavers

599 search results - page 11 / 120
» Interpreting the Object Constraint Language
Sort
View
PPCP
1993
14 years 1 months ago
Higher-Order Logic Programming as Constraint Logic Programming
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 ...
Spiro Michaylov, Frank Pfenning
ECOOP
1998
Springer
14 years 2 months ago
Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
Hidehiko Masuhara, Akinori Yonezawa
ENGL
2006
73views more  ENGL 2006»
13 years 9 months ago
Learning of Object Identification by Robots Controlled by Natural Language
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...
Chandimal Jayawardena, Keigo Watanabe, Kiyotaka Iz...
JSS
2010
120views more  JSS 2010»
13 years 4 months ago
A family of languages for architecture constraint specification
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Chouki Tibermacine, Régis Fleurquin, Salah ...
IWPC
2003
IEEE
14 years 3 months ago
Design Recovery of a Two Level System
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...
Thomas R. Dean, Yuling Chen