CoMeT | <%=title %>
Collaborative Management of Talks Hello! sign in or register
Bookmark Talks, Share with Friends, and We Recommend More!
Advanced Search
Home
Calendar
Areas
Series
Speaker
Groups
 
 
Talk Detail
Posted: comet.paws on  Nov 23 11:56:24 AM
Title: A Domain Semantics for Higher-Order Recursive Processes  
Speaker:
RYAN KAVANAGH
Ph.D. Student, Computer Science Department, Carnegie Mellon University
Sponsor: Carnegie Mellon University  >  School of Computer Science
Series: SCS Student Seminar Series
Date: Dec 09, 2019 12:00 PM - 1:00 PM
URL: https://www.cs.cmu.edu/calendar/mon-2019-12-09-1200/computer-science-speaking-skills-talk
Location: Gates Hillman Centers, Traffic21 Classroom 6501
Detail:

The polarized SILL programming language uniformly integrates functional programming and session-based concurrency. It supports recursion, asynchronous and synchronous communication, and higher-order programs that communicate processes. In this talk, I will motivate and present a denotational semantics for a fragment of polarized SILL. I will explain why domain theory is an ideal setting for this semantics. Session types will be interpreted as domains of bidirectional communications. We use polarity and domain theory to split these into pairs of unidirectional communications in a natural way. Processes will be interpreted as continuous functions on domains of unidirectional communications.

Presented in Partial Fulfillment of the CSD Speaking Skills Requirement.

Poster

For More Information, Please Contact: 

deb@cs.cmu.edu

Keywords: 

CSD

 
 
 
People Who Viewed This Talk, Also Viewed
 
 
Export
RSS Feed: RSS 2.0
ATOM Feed: Atom
iCalendar: iCal
Share: Bookmark and Share
 
Google Calendar:
 
 
 
 
CoMeT Blog
©2009-2020 CoMeT - Supported by Google Grant
School of Information Sciences, University of Pittsburgh, 135 North Bellefield Avenue, Pittsburgh, PA 15260
Real Time Web Analytics