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↑
Language-related↑
Content-reflexive ↑
Definition languages/1985↑
Language-related/1985↑
Content-reflexive/1985↑
Definition languages/United States↑
Language-related/United States↑
Content-reflexive/United States↑
Specialised Languages ↑
Specialised Languages/1985↑
Specialised Languages/us ↑

Transforma(ID:1187/)

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
References:
  • 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