Programming Languages Team (PLT)

15 years 11 months ago

Download www.cs.rice.edu

PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To demonstrate the impact of these foundations, PLT implements various tools. These include compilers and IDEs, and applies them to challenging software development domains.

Real-time Traffic

Functional Programming | Programming Languages | Semantics | Software Development | Type Systems |

posted by CherifSalama

Post Info
More Details (n/a)

Added	08 Dec 2008
Updated	08 Dec 2008

Comments (0)

	Synthesizable High Level Hardware Descriptions 351 views
	Static Consistency Checking for Verilog Wire Interconnects 312 views
	Resource Aware Programming (RAP) 737 views
	Programming Languages Team (PLT) 597 views
	New Approximate Strategies for Playing Sum Games based on Subgame Types 312 views

Sciweavers

Programming Languages Team (PLT)

Functional Programming | Programming Languages | Semantics | Software Development | Type Systems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers