1223 search results - page 200 / 245 » Semantic Visualization and Meaning Computation |
106
click to vote
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
ICFP
2005
ACM
15 years 5 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
ICMT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model transformations play a key role in the vision of Modelngineering. Nevertheless, mechanisms like abstraction, variation and composition for specifying and applying r...
TAPSOFT
1997
Springer
15 years 3 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...