PVS and LISP

Discussion of Common Lisp

PVS and LISP

Postby mparsa » Thu Jun 28, 2012 5:32 am

Is there anybody who works with both PVS and lisp ? I have some questions ...
mparsa
 
Posts: 26
Joined: Mon Jun 25, 2012 6:15 am

Re: PVS and LISP

Postby edgar-rft » Sat Jun 30, 2012 2:20 am

The Pig Veterinary Society and Lisp? Or what are you talking about? Please be more cryptic!

- edgar
edgar-rft
 
Posts: 147
Joined: Fri Aug 06, 2010 6:34 am
Location: Germany

Re: PVS and LISP

Postby Goheeca » Sat Jun 30, 2012 12:33 pm

I would say he means http://www.nuprl.org/PVS/Libraries/ from his other threads.
And I want to ask OP about why is the library good.
cl-2dsyntax is my attempt to create a Python-like reader. My mirror of CLHS (and the dark themed version).
User avatar
Goheeca
 
Posts: 165
Joined: Thu May 10, 2012 12:54 pm

Re: PVS and LISP

Postby mparsa » Mon Jul 02, 2012 1:16 am

I mean specification and verification system.
http://pvs.csl.sri.com/
mparsa
 
Posts: 26
Joined: Mon Jun 25, 2012 6:15 am


Return to Common Lisp

Who is online

Users browsing this forum: No registered users and 2 guests

cron