H ?
«
‹
←
→
›
»
Language peer sets for Gist:
United States↑
United States/1977↑
Designed 1977 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Definition languages ↑
Specialised Languages ↑
Definition languages↑
Language-related↑
Content-reflexive ↑
Definition languages/1977↑
Language-related/1977↑
Content-reflexive/1977↑
Definition languages/United States↑
Language-related/United States↑
Content-reflexive/United States↑
Specialised Languages ↑
Specialised Languages/1977↑
Specialised Languages/us ↑
Gist(ID:3987/gis002)
Specification language
alternate simple view
Country: United States
Designed 1977
Published: 1980
Genus: Definition languages
Sammet category: Specialised Languages
Specification Language, part of investigations into transformational automatic programming
Balzer et al, USC/ISI 1979-1995(?)
Used to create the XPLAIN etc systems, and used with the POPART (Producer of Parsers and Related Tools) toolkit
People:
Related languages
References:
Ruth, Gregory R. (1977) Ruth, Gregory R. "Automatic programming: Automating the software system development process", Proceedings of the 1977 annual conference, p.174-180, January 1977
Extract:
Application Specification Media and Aids
Abstract
Goldman, N. and Wile, D. (1980) Goldman, N. and Wile, D. "Gist language description," draft, 1980.
Balzer, R. (1981) Balzer, R. "Transformational implementation: An example," IEEE Trans. Software Eng., vol. SE-7, 1981.
Balzer, R.: (1981) Balzer, R.: "Final Report on GIST. Technical report", USC/ISI, Marina del Rey, CA, 1981
Swartout, W. (1981) Swartout, W. "Producing explanations and justifications of expert consulting systems," Mass. Inst. Technol., Cambridge, Tech. Rep. 251, 1981.
Wile, D. (1981) Wile, D. "POPART: Producer of Parsers and Related Tools" System Builders' Manual, Inform. Sci. Inst., Univ. Southern Calif, Marina del Rey, draft 1981.
D.S. Wile (1982) D.S. Wile "POPART: Producer of Paddles and Related Tools, System Builders' Manual", TR RR-82-21, ISI, Marina del Rey, CA 1982.
Swartout, W. (1982) Swartout, W. "Gist English generator," in Proc. Nat. Conf: Artif. Intell. 1982.
Cohen,D. (1983) Cohen,D. "Symbolic execution of the Gist specification language"
in [Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Goldman, N. (1983) Goldman, N. "AP3 Reference Manual", Inform. Sci. Inst., Univ. Southern Calif, Marina del Rey, 1983
in [Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Swartout, W. (1983) Swartout, W. "Explainable expert systems," in Proc. MEDCOMP-83, Oct. 1983
in [Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Swartout, W. (1983) Swartout, W. "The Gist behavior explainer," in Proc. Nat. ConJ: Artif Intell. AAA1-83, Inform. Sci. Inst., Univ. Southern Calif, Marina del Rey, 1983
in [Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Swartout, W. (1983) Swartout, W. "The Gist behavior explainer," Inst. Inform. Sci., RS-83-3.
in [Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Swartout, W. (1983) Swartout, W. "XPLAIN: A system for creating and explaining expert consulting systems," Artif: Intell., vol. 21, no. 3, pp. 285-325, Sept. 1983
in [Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Swartout, W. (1983) Swartout, W. "XPLAIN: A system for creating and explaining expert consulting systems," Inst. Inform. Sci., Univ. Southern Calif., Marina del Rey, RS-83-4.
in [Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983
Wile, David (1983) Wile, David "Program development: Formal explanations of implementations" pp902-911
in [ACM] (1983) [ACM] CACM 27(11) November 1983
Donald Cohen (1984) Donald Cohen "A Forward Inference Engine to Aid in Understanding Specifications" ISI tech report RS-84-135 1984
Abstract
in [ACM] (1983) [ACM] CACM 27(11) November 1983
Martin S. Feather (1984) Martin S. Feather "Specification and Transformation: Automated Implementation" ISI tech report RS-83-124 1984
Abstract
in [ACM] (1983) [ACM] CACM 27(11) November 1983
William R. Swartout (1984) William R. Swartout "The GIST Behavior Explainer" ISI tech report RS-83-3 1984
Abstract
in [ACM] (1983) [ACM] CACM 27(11) November 1983
Balzer, Robert (1985) Balzer, Robert "A 15 Year Perspective on Automatic Programming"
Abstract
Extract:
Introduction
Extract:
Formal Specification
Extract:
Specification Readability
Extract:
Formalized System Development
Extract:
Transformations
Extract:
Paddle
in (1985) IEEE Transactions on Software Engineering, November 1985
Cohen D. and Goldman, N. (1985) Cohen D. and Goldman, N. "Efficient compilation of virtual database specifications," Jan. 1985
in (1985) IEEE Transactions on Software Engineering, November 1985
Cohen, D. (1985) Cohen, D. AP5 Manual, Inform. Sci. Inst., Univ. Southern Calif, Marina del Rey, draft, 1985
in (1985) IEEE Transactions on Software Engineering, November 1985
Fickas, Stephen F. (1985) Fickas, Stephen F. "Automating the Transformational Development of Software"
Abstract
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
|