Types for controlling heap and stack in Java
Author(s) -
Emmanuel Hainry,
Romain Péchoux
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - heap (data structure) , computer science , programming language , java , programmer , call stack , decidability , theoretical computer science , stack (abstract data type)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom