dewitte's programming clipmarks

 Newest Clips
see Newest Clips
  • See all clipmarks by dewitte
  • See all public programming clipmarks
    •    
     
    		 
    		 
       
     
    top scroll end
    13
    POPS    Goodbye To Faulty Software?
    Mohir
    by Mohir  7-19-2008    1
     The program that performs the computation is equivalent to the proof of the theorem. By proving the theorem the program is guaranteed to be correct. It is not that simple, of course, but so promising is type theory that since 1989 the EU has been funding a string of projects to develop it under the Future and Emerging Technologies programme. That style of working is going to change so that we spend more effort on actually writing programs than testing them.
    1
    POPS    May 1, 1964: First Basic Program Runs
    dewitte
    by dewitte  5-2-2008    1
     No Remarks
    0
    POPS    Make Games, Not Spreadsheets
    dewitte
    by dewitte  4-17-2008   
     No Remarks
    0
    POPS    'Riches' strains belief
    dewitte
    by dewitte  4-3-2008   
     No Remarks
    1
    POPS    Google Summer of Code™
    dewitte
    by dewitte  3-18-2008   
     No Remarks
    0
    POPS    Fortran faces the future at 50
    dewitte
    by dewitte  12-4-2007   
     No Remarks
    — end of the list —

    dewitte programming

    loading clips...
    Filter
         		rss tools
    Clipmarks
    Sign Up  Install  Learn More  Login 
    About   Clippers   Blog   Privacy   EULA   Copyright   Site Map   Forbes Digital

    OK