Vivek Sharan

Learn More
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed recently [1, 2]. In this paper we discuss the case when program strata are controlled outside the programming language and present the main features of the SPIDER environment for(More)
  • 1