A Logic of Programs with Interface-Confined Code.
Limin JiaShayak SenDeepak GargAnupam DattaPublished in: CSF (2015)
Keyphrases
- error handling
- programs written
- java programs
- program code
- data entry
- user interface
- operating system
- control flow
- dynamic logic
- source code
- proof theory
- modal logic
- computer programs
- automated reasoning
- agent programming
- classical logic
- user friendly
- programming language
- programming tool
- text files
- logical operations
- java bytecode
- program slicing
- legacy software
- concurrent programs
- interface design
- data flow
- recursive programs
- declarative programming
- database
- visual basic database
- asynchronous circuits
- direct manipulation
- predicate logic
- logical framework
- software engineering