MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Program Synthesis and Transformations in an ObjectOriented Environment (1993) [1 citations — 0 self]

Download:
pdf | ps
by Mihhail Matskin
Proc. ERCIM Workshop on Development and Transformations of Programs
http://www.idi.ntnu.no/~misha/Nancy1.ps
Add To MetaCart

Abstract:

environment

Citations

231 C.: Partial Evaluation in Logic Programming – Lloyd, Shepherdson - 1991
50 Partial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation – Komorowski - 1982
31 A Specification of An Abstract Prolog Machine and Its Application to Partial Evaluation – Komorowski - 1981
17 Towards a programming methodology founded on partial deduction – Komorowski - 1990
11 Specification of Database Applications in the TROLL-Language – Saake, Jungclaus - 1991
10 Using partial deduction for automatic propagation of changes in oodb – Haav, Matskin - 1993
8 Propositional logic programming and the priz system – Mints, Tyugu - 1990
8 Partial deduction and manipulation of classes and objects in an object-oriented environment – Matskin, Komorowski - 1992
8 Re-)action in deductive databases – Tanca - 1991
7 Partial Deduction for Structured Logic Programming – Bugliesi, Lamma, et al. - 1993
6 The nut system papers – Matskin - 1991
5 Special issue on partial deduction – Komorowski - 1993
3 On Data-Type Centered, Correctness-Oriented Design – Komorowski - 1993
2 Knowledge Representation and Deduction – Eomois - 1984
2 Eomois, NUT-an Object-Oriented Languages – unknown authors - 1986