Beefy Boxes and Bandwidth Generously Provided by pair Networks
Keep It Simple, Stupid
 
PerlMonks  

Re: Re: Re: Re: Re: Software Design Resources

by oylee (Pilgrim)
on Aug 23, 2003 at 22:19 UTC ( #286113=note: print w/replies, xml ) Need Help??


in reply to Re: Re: Re: Re: Software Design Resources
in thread Software Design Resources

Perhaps you're looking for "proof carrying code"? It's pretty neat stuff, although my only experience in it is drooling my way through a semester of verification and a colloq Some Guy gave at our campus.
  • Comment on Re: Re: Re: Re: Re: Software Design Resources

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://286113]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others chanting in the Monastery: (3)
As of 2021-06-17 17:02 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    What does the "s" stand for in "perls"? (Whence perls)












    Results (84 votes). Check out past polls.

    Notices?