Advanced C Programming - Max Planck Society
Advanced C ProgrammingSebastian Term 2008/09computer sciencesaarlanduniversity1Why Advanced C? Our Iwe need experienced C programmers Religious IportabilityIefficiencyIpowerful and flexible Real IunixInetwork softwareIembedded systemsIresearch: graphics, vision, formal methodsIentertainment: games, films2Content ISAT Solving IBasic C SetupEfficient Algorithms ISAT Solving IIStyle, Signals, Timing and ToolsSAT Solving IIIMemory Management and Tools3Content IISoftware Engineering in the SmallKnow the Compiler and ProcessorEfficient Algorithms IIParallelismRecent C Standards4Propositional logicIlogic of truth valuesIdecidable (but NP-complete)Ican be used to describe functions over a finite domainIimportant for hardware applications ( , model checking)5SyntaxIpropositional variables:P,Q,R Ilogical symbols: and, or, not,>true, falseIliterals are propositional variables or their negation:P, PIclauses are (posssibly empty) disjunctions of literals.
Advanced C Programming Sebastian Hack hack@cs.uni-sb.de Christoph Weidenbach ... I portability I efficiency I powerful and flexible “Real” I unix I network software I embedded systems I research: graphics, vision, formal methods I entertainment: games, films 2. Content I SAT Solving I Basic C Setup ... C is called a unit clause; L is ...
Download Advanced C Programming - Max Planck Society
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
Related search queries
PIC18 PIC18 and, Embedded, PIC18, PIC18 and Embedded C Programming Embedded, Exploring C for Microcontrollers, C Programming, Embedded C, Programming, Considerations for Embedded C, Considerations for Embedded C Programming, C Programming Tutorial, Embedded Systems and, C Programming Embedded, For embedded, Embedded Programming, For Embedded Programming, And Special Topics for Embedded Programming, C programming for embedded system applications, C programming for embedded, C++ for Embedded C Programmers