Journal of Computer and System Sciences