A Rewriting Logic Sampler

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


Category:
Vlog
Duration: 1:10:24
1,000 views
16

Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally modeled.  It is also a flexible logical framework in which many different logical formalisms can be both represented and executed.  As the title suggests, the talk does not try to give a comprehensive overview of rewriting logic.  Instead, after introducing the basic concepts, it focuses on some recent research directions emphasizing:    (i)  extensions of the logic to model real-time systems and         probabilistic systems; and    (ii) some exciting application areas such as: semantics of         programming languages, security, and bioinformatics.



Other Videos By Microsoft Research


2016-09-07Change the Way You See Everything: Asset-Based Thinking
2016-09-07Race-aware Runtimes for Concurrent Software Development & Deployment
2016-09-07Textual Entailment: Framework, Learning and Applications
2016-09-07Robust Constrained GSC Algorithm for Microphone Array Processing
2016-09-07Robust Speaker Diarization for Meetings: the ICSI system
2016-09-07Evaluating Interactive Gaming as a Language Learning Tool
2016-09-07Resource management of heterogeneous wireless networks
2016-09-07Behind the Code with Jim Gray
2016-09-07Model-based testing with labeled transition systems [1/2]
2016-09-07Interruptions On Software Teams: A Comparison of Paired and Solo Programmers
2016-09-07A Rewriting Logic Sampler
2016-09-07Generalized algebraic data types and all that
2016-09-07Beyond bag-of-features: adding spatial and shape information
2016-09-07Extensible Object-Theories in HOL-OCL
2016-09-07From Software Engineering to Software as Service: Computing Task Dependencies from Work Artifacts
2016-09-07Inferring Faults from Persistent State Interactions
2016-09-07Enhanced MVDR beamforming for Arrays of Directional Microphones
2016-09-07When Separation Logic met Java
2016-09-07Microphone Array for Audience Capture in Lecture Rooms
2016-09-07Learning to Label Images
2016-09-07On the Compressibility of NP Instances and Cryptographic Applications


Tags:
microsoft research