University of Kent. Computing Laboratory
17 published titles
Postgraduate conference proceedings, June 19th 2006
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2006
- Details
Declarative extensions of XML languages
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
International Refinement Workshop : Refine 2007 : Oxford, UK : July 2, 2007
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Computer science at Kent : post graduate conference proceedings 28 June 2007
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
A type theory with pattern matching and partially defined functions
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
The IGMARP data fusion algorithm
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Computer science at Kent : replacing unevaluated parts in the traces of functional programs
(Contributor)
1 edition
Algorithmic debugging for locally defined functions
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Algorithmic debugging with cyclic traces of lazy functional programs
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Implementation and application of functional languages : 19th international symposium, IFL 2007
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Mechanising an imperative theory in the unifying theories of programming
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Mechanising the alphabetised relational calculus using Z/Eves
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Verification of timed automata with deadlines in Uppaal
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2008
- Details
Regular expression matching with input compression and next state prediction
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2008
- Details
The collected algorithms of the ACM
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2008
- Details
Defect patterns and structural properties in a mature well-specified software system
(Contributor)
1 edition
- Computing Laboratory, University of Kent
- 2008
- Details
Computing Laboratory at Kent : post graduate conference proceedings, 23rd June 2008
1 edition
- Computing Laboratory, University of Kent
- 2008
- Details
