Dynamic program analysisDynamic program analysis is analysis of computer software that involves executing the program in question (as opposed to static program analysis, which does not). Dynamic program analysis includes familiar techniques from software engineering such as unit testing, debugging, and measuring code coverage, but also includes lesser-known techniques like program slicing and invariant inference. Dynamic program analysis is widely applied in security in the form of runtime memory error detection, fuzzing, dynamic symbolic execution, and taint tracking.
Linear logicLinear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics (because linear logic can be seen as the logic of quantum information theory), as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.
Ultima OnlineUltima Online (UO) is a fantasy massively multiplayer online role-playing game (MMORPG) released on September 24, 1997 by Origin Systems. Set in the Ultima universe, it is known for its extensive player versus player combat system. Since its release, it has added eight expansion packs, a booster pack and dozens of free content updates. The release of Ultima Online: Kingdom Reborn in 2007 brought a new game engine with upgraded visuals.
