Video Details      

ACM CHI+GI 1987 Issue 33 - MIT visible language workshop



The algebraic specification of the semantics of programming languages is outlined. Particular emphasis is given to the problem of specifying least-fixed points by first-order conditional equations. To cover this issue; the theory of specifying partial heterogeneous algebras by abstract data types is slightly extended by a more general notion of homomorphism. In this framework the semantics of programming languages can be uniquely specified in a purel algebraic way; using particular models of a hierarchy of abstract types.                                              
Download:
 

Video Information
Year: 1986
Genre: Educational
Keywords: CHI; Programming; Languages; Theory; Abstract Data Types;
Duration: 00:13:48
Color: Yes
Sound: Yes
Amount of Motion: Low
Language: English
Sponsor: N/A
Contributing Organization: Assocation for Computing Machinery (ACM)
Transcript Available: No

Digitization Information
Digitization Date: 2004
Digitizing Organization: Open Video

Search for video box
Box bottom
Related Videos box
Box bottom

The Open Video Project is managed at the Interaction Design Laboratory,
at the School of Information and Library Science, University of North Carolina at Chapel Hill