Lightweight soundness for towers of language extensions.

Alejandro Serrano Jurriaan Hage

Published in: PEPM (2017)

Keyphrases

lightweight
programming language
wireless sensor networks
language learning
dos attacks
development environments
communication infrastructure
energy consumption
default logic