Fast Probabilistic Simulation, Nontermination, and Secure Information Flow Conference

Smith, Geoffrey, Alpizar, Rafael. (2007). Fast Probabilistic Simulation, Nontermination, and Secure Information Flow . 67-71. 10.1145/1255329.1255341

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • PROGRAMS
  • Science & Technology
  • Technology
  • probabilistic noninterference
  • type systems

Location

  • San Diego, CA

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

Conference

  • 2nd ACM SIGPLAN Workshop on Programming Languages and Analysis for Security

publisher

  • ASSOC COMPUTING MACHINERY

start page

  • 67

end page

  • 71