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: MPEG-1 • 132.59 MB  
MPEG-2 • 585.40 MB  
MPEG-4 • 88.31 MB  
 

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

ex. "water" or "space shuttle"
Detailed Search  
Box bottom
Related Videos box

Video Grab Bag

Wagons loading mail, U.S.P.O.


Other random videos

more...


Related keyword searches

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