Nested Refinements for Dynamic Languages
Nesting Probabilistic Inference
New parallel programming language design: a bridge between brain models and multi-core/many-core computers?
Nominal Logic Programming
Non-termination Analysis of Logic Programs with Integer arithmetics
Non-Termination Inference of Logic Programs
Normal Form Bisimulations for Delimited-Control Operators
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration