A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming

Author： Beierle C.   Kloos R.   Meyer G.  

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.30, Iss.1, 2004-01, pp. : 1-21

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Concept of inductive programming supporting anthropomorphic information technology

By Sergievsky G.  

Journal of Computer and Systems Sciences International, Vol. 50, Iss. 1, 2011-02 ,pp. : 38-50

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Automatic Construction of XML-Based Tools Seen as Meta-Programming

By Trancón y Widemann B.  

Automated Software Engineering, Vol. 10, Iss. 1, 2003-01 ,pp. : 23-38

Springer Publishing Company

Access to resources Recommend Favorite

Logic programming and the execution model of Prolog

By Tamir D.E.   Kandel A.  

Information Sciences - Applications, Vol. 4, Iss. 3, 1995-11 ,pp. : 167-191

Elsevier

Access to resources Recommend Favorite

SYMBOLIC CONSTRAINTS FOR META-LOGIC PROGRAMMING

By Christiansen Henning   Martinenghi Davide  

Applied Artificial Intelligence, Vol. 14, Iss. 4, 2000-04 ,pp. : 345-367

Taylor & Francis Ltd

Access to resources Recommend Favorite

Supporting tasks with adaptive groups in data parallel programming

By O'Donnell John  

International Journal of Computational Science and Engineering, Vol. 1, Iss. 2-4, 2006-05 ,pp. : 86-98

Inderscience Publishers

Access to resources Recommend Favorite