Free Trial

Safari Books Online is a digital library providing on-demand subscription access to thousands of learning resources.

  • Create BookmarkCreate Bookmark
  • Create Note or TagCreate Note or Tag
  • PrintPrint
Share this Page URL
Help

9. ML > Beyond Informatics

Beyond Informatics

What are the major problems in computer science today?

Robin: What I have been working on lately is the notion of a structure of models. If you work in a high-level programming language, then that’s expressed in terms of entities of lower-level languages, then that’s expressed in lower-level assembly code, and the way assembly code behaves is expressed in terms of logic diagrams underneath, and so you have then a model that is no longer a software model, but a model of electronic objects. And that in turn is an explanation of the artifact that is the computer, which eventually is going to run your program, which is about four levels up in the hierarchy of models. That isn’t the end of the story, because you could go higher than that from a programming language to a specification language, which is in some sense ....


  

You are currently reading a PREVIEW of this book.

                                                                                                                    

Get instant access to over $1 million worth of books and videos.

  

Start a Free Trial


  
  • Safari Books Online
  • Create BookmarkCreate Bookmark
  • Create Note or TagCreate Note or Tag
  • PrintPrint