Grammatiche
COSTUME E SOCIETA'
CULTURA
ESTERI
MUSICA, CINEMA E SPETTACOLO
POLITICA
PUBBLICITA'
RUBRICHE
SPORT
TECNOLOGIE
DEDICATE A...
LO STAFF CONSIGLIA...
LO STAFF SCONSIGLIA VIVAMENTE...
ULTIMI ARRIVI
Paper
A Portable Function for Augmenting Back-to-lift Verification of Pull-multiple Pointers while Building Stack Constraints
GRAMMAR INFO
titlePapers and Publications in Computer Science
authorManta
languageenglish
statusrefinable
topicmisc
audienceresearchers
created07/02/2003
sourceeng/paper.grm
embed (beta)