Semantic Scholar uses AI to extract papers important to this topic.
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic… Expand Abstract A new (descriptor) model transformation and a corresponding Lyapunov–Krasovskii functional are introduced for stability… Expand A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within… Expand Ensuring secure information flow within programs in the context of multiple sensitivity levels has been widely studied… Expand From the Publisher:
Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the… Expand From the Publisher:
Procedural languages are generally well understood. Their foundations have been cast in calculi that prove… Expand Abstract The λ-calculus is considered a useful mathematical tool in the study of programming languages, since programs can be… Expand Programming languages often come with type systems. Some of these are simple, others are sophisticated. As a stylistic… Expand Towards the Theory. Introduction. Conversion. Reduction. Theories. Models. Conversion. Classical Lambda Calculus. The Theory of… Expand A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation… Expand