Home

Pascal__Fradet


Collecting More Garbage

Consistency checking for multiple view software architectures

Static detection of pointer errors: an axiomatisation and a checking algorithm

Type Checking for a Multiset Rewriting Language