Other presentations

  1. Model checking a language with unbounded object creation

    We introduce a block-structured programming language which supports object creation, global variables, static scope and recursive procedures with local variables. Because of the combination of recursion, local variables and object creation, the behavior of the program is determined by infinitely many different states. However, we show that a program can …

    read more

Page 1 / 1

hosted by