Logic Column 14: Nominal Logic and Abstract Syntax

Details Logic Column 14: Nominal Logic and Abstract Syntax Logic Column 14: Nominal Logic and Abstract Syntax

2005-11-05

arxiv.org/abs/cs/0511025v1

SIGACT News 36 (4), pp. 47-69, 2005

Computer Science

Logic in Computer Science

24 pages

Scientific paper

Formalizing syntactic proofs of properties of logics, programming languages, security protocols, and other formal systems is a significant challenge, in large part because of the obligation to handle name-binding correctly. We present an approach called nominal abstract syntax that has attracted considerable interest since its introduction approximately six years ago. After an overview of other approaches, we describe nominal abstract syntax and nominal logic, a logic for reasoning about nominal abstract syntax. We also discuss applications of nominal techniques to programming, automated reasoning, and identify some future directions.

Affiliated with

Also associated with

No associations

Rating

Logic Column 14: Nominal Logic and Abstract Syntax does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic Column 14: Nominal Logic and Abstract Syntax, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Column 14: Nominal Logic and Abstract Syntax will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-419096