Next:
Introduction
Linear Schemas for Program Dependence
Introduction
Schemas People
Publications
Ex PhD Students
Schema Meetings
First Schema Meeting(21 November 2006)
Report on First Schema Meeting
Schemas and Non-Determinism
Schemas and Formal Language Theory
PDG for Schemas
Middle Schema Slicing
Path Slicing
Revisiting Sebastian's thesis with Freeness
Decidability of Freeness
Second Schema Meeting (2 February 2007)
Third Schema Meeting (30 March 2007)
Fourth Schema Meeting (18 May 2007)
Schema Resources
Our Papers
Other Papers
Our PhD Theses
A List of Interesting Schemas
The
c becomes one
example
The
Montreal Boat Trip
Example
John Howroyd's Haskell Schema Interpreter
Sebastian Danicic's Hope Schema Minimal(?) Slicer
Presentations
New Results
Transitivity of Dependence for Free Schemas
Notes for Future Discussion
User-Defined procedures and Functions
Mark's thoughts on 15 Nov 2006
Decidability of Freeness of Linear Schemas
Schemas for Middle Slicing
This Site in PostScript
s.danicic@gold.ac.uk
Seb's Home Page
Last updated 2007-04-30
![\includegraphics[width=2in]{sigma.ps}](img1.png)
Linear Schemas for Program Dependence ![\includegraphics[height=3cm]{gold.ps}](img2.png)
![\includegraphics[height=3cm]{kings.ps}](img3.png)
![\includegraphics[height=3cm]{brunel.ps}](img4.png)
![\includegraphics[height=3cm]{atuk.ps}](img5.png){kind=small}
![\includegraphics[height=3cm]{atandt.ps}](img6.png)