Class Morphing: Safely Shaping a Class in the Image of Others [1/3]

Channel:
Microsoft Research
Subscribers:
345,000
Published on ● Video Link: https://www.youtube.com/watch?v=fSYKJylU2j8


Duration: 1:07:49
29 views
0

Programming language evolution leverages different abstraction techniques. The first high-level programming languages leveraged procedural abstraction. The next major step was languages that provided safe type abstraction (polymorphism). The next big step may be called structural



Other Videos By Microsoft Research


2016-09-06How to make Discretionary Access Control Resistant to Trojan Horses
2016-09-06Modeling Intention in Email: Speech Acts, Information Leaks and User Ranking Methods [1/2]
2016-09-06Techniques and Tools for Engineering Secure Web Applications
2016-09-06Should Machines Emulate Human Speech Recognition?
2016-09-06PLOW: A Collaborative Task Learning Agent
2016-09-06Building Bodies of Knowledge about Software Development Practices
2016-09-06The Manticore Project
2016-09-06Abstractions for event-driven design [1/14]
2016-09-06Generation of dense linear algebra software for shared memory and multicore architectures
2016-09-06The Computation of Economic equilibria [1/2]
2016-09-06Class Morphing: Safely Shaping a Class in the Image of Others [1/3]
2016-09-06Deep Photo and Gigapixel Images
2016-09-06Automated Revision of Distributed and Real-Time Programs
2016-09-06Candidate talk: Knowledge Analysis towards Automatic Question Answering for Discussion Forums
2016-09-06Improving Data Recovery From Embedded Networked Sensing Systems with Fault Detection and Diagnosis
2016-09-06A Discriminative Kernel-based Model to Rank Images from Text Queries
2016-09-06Concurrency Simple and Safe? State of SCOOP
2016-09-06Automated Termination Analysis of Programs using Term Rewriting
2016-09-06Abstraction Methods for Liveness
2016-09-06Effective and Efficient User Interaction for Long Queries [1/17]
2016-09-06Fault Localization in Large-Scale Computing Systems


Tags:
microsoft research