From Competition to Amalgamation of Different Programming Paradigms (1993)

by Sergei G. Maslov

Active Bibliography

Constraint Semantics of NUT – Jaan Penjam, Enn Tyugu - 1993
8 MidiSpace: A Temporal Constraint-Based Music Spatializer – Fran├žois Pachet, Olivier Delerue - 1998
2 The JUMP-machine: a Generic Basis for the Integration of Declarative Paradigms – Manuel M.T. Chakravarty, Hendrik C.R. Lock - 1994
3 A Study of Two Graph Rewriting Formalisms: Interaction Nets and MONSTR – R. Banach, G. A. Papadopoulos - 1997
12 Linear Behaviour Of Term Graph Rewriting Programs – Richard Banach, George A. Papadopoulos
NUT Graphics – Trita-it R, Mari Kopp, Benjamin Volozh, Benjamin Volozh, Enn Tyugu, Enn Tyugu - 1993
9 Using Classes As Specifications For Automatic Construction Of Programs In The Nut System – Enn Tyugu - 1994
1 Visual Rule Language for Active Database Modelling – Mihhail Matskin, Danilo Montesi - 1998
Constraints in NUT – Jaan Penjam, Enn Tyugu - 1994
Program Synthesis from – Leonardo Salayandia, Workflow-driven Ontologies
1 Structural Synthesis of Programs Using Regular Data Structures – Mait Harf - 1994
1 Large Heterogeneous Knowledge Bases – Enn Tyugu
1 From Program Synthesis to Optimal Program Synthesis – Joaquin Reyna
Semantics of a Functional-Logic Language – To Ulo
Shallow Embedding of Prolog Programs – Silvija Seres - 1999
1 Algebraic Semantics for Higher-order Functional-Logic Programming – Makoto Hamana - 1996
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
13 A Category-based Equational Logic Semantics to Constraint Programming – Razvan Diaconescu - 1996
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996