H ? « »

Language peer sets for Transforma:
United States
United States/1985
Designed 1985
1980s languages
Fifth generation
Late Cold War
Genus Definition languages
Specialised Languages
Definition languages
Definition languages/1985
Definition languages/United States
Language-related/United States
Content-reflexive/United States
Specialised Languages
Specialised Languages/1985
Specialised Languages/us


Trnsformation language 

alternate simple view
Country: United States
Designed 1985
Published: 1985
Genus: Definition languages
Sammet category: Specialised Languages

for Transformation

Pascal-like language used to describe transformations in the Glitter system, influenced by the GIST paradigm.

Use in Hearsay system

Related languages
Gist Transforma   Influence
Paddle Transforma   Co-development
Pascal Transforma   Based on

  • Fickas, S. (1980) Fickas, S. "Automatic goal-directed program transformation", in Proc. 1st Nat. Conf Anif Intell., Stanford Univ., Stanford, CA, 1980.
  • Cheatham, T.; Holloway, G. and Townley, J. (1981) Cheatham, T.; Holloway, G. and Townley, J. "Program refinement by transformation" in Proc. 5th Int. Conf Software Eng., San Diego, CA, 1981
  • Erman, L.; London, P. and Fickas, S. (1981) Erman, L.; London, P. and Fickas, S. "The design and an example use Of Hearsay-III" in Proc. 7th Int. Joint Conf Artif Intell., Vancouver, B.C., Canada, 1981.
  • Fickas, S. (1982) Fickas, S. "Automating the transformational development of software" Ph.D. dissertation, Dep. Inform. Comput. Sci., Uffiv. California, Irvine, 1982
  • Fickas, S.; Laursen. D. and Laursen, I. (1984) Fickas, S.; Laursen. D. and Laursen, I. "Knowledge-based software specification" presented at Workshop Knowledge-Based Design, Rutgers Univ., New Brunswick, NJ, 1984
  • Fickas, Stephen F. (1985) Fickas, Stephen F. "Automating the Transformational Development of Software" Extract: Introduction Extract: A closer look at the problem
          in (1985) IEEE Transactions on Software Engineering, November 1985
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder