Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Class Notes for CS 819 C -Spring 2002 1. An Introduction to Separation Logic
 

Summary: 1
Class Notes for CS 819 C - Spring 2002
1. An Introduction to Separation Logic
John C. Reynolds
Department of Computer Science
Carnegie Mellon University
revised January 18, 2002
c
2002 John C. Reynolds

2
Two Worlds of Programming
 In low-level languages (C, machine language)
+ minimal constraints on programmer
+ high e∆ciency possible
+ low-level view of storage and other resources
{ little protection against errors
{ platform dependencies
 In strongly typed languages (SML, Java)
+ standard safety properties insured by compilation

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Reynolds, John C. - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences; Mathematics