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

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Matskin93programsynthesis,
    author = {Mihhail Matskin},
    title = {Program Synthesis and Transformations in an ObjectOriented Environment},
    booktitle = {Proc. ERCIM Workshop on Development and Transformations of Programs},
    year = {1993},
    pages = {131--140}
}

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

View or Download | Add to My Collection | Correct Errors