sexta-feira, 20 de fevereiro de 2009

Trecho da Taxonomia da ACM para a Computação

  1. Logics and Meanings of Programs
    1. General
    2. Specifying and Verifying and Reasoning about Programs
      1. Assertions
      2. Invariants
      3. Logics of programs
      4. Mechanical verification
      5. Pre- and post-conditions
      6. Specification techniques
    3. Semantics of Programming Languages
      1. Algebraic approaches to semantics
      2. Denotational semantics
      3. Operational semantics
      4. Partial evaluation
      5. Process models
      6. Program analysis
    4. Studies of Program Constructs
      1. Control primitives
      2. Functional constructs
      3. Object-oriented constructs
      4. Program and recursion schemes
      5. Type structure
    5. Miscellaneous
  2. Mathematical Logic and Formal Languages
    1. General
    2. Mathematical Logic
      1. Computability theory
      2. Computational logic
      3. Lambda calculus and related systems
      4. Logic and constraint programming
      5. Mechanical theorem proving
      6. Modal logic
      7. Model theory
      8. Proof theory
      9. Recursive function theory
      10. Set theory
      11. Temporal logic
    3. Grammars and Other Rewriting Systems
      1. Decision problems
      2. Grammar types
      3. Parallel rewriting systems
      4. Parsing
      5. Thue systems
    4. Formal Languages
      1. Algebraic language theory
      2. Classes defined by grammars or automata
      3. Classes defined by resource-bounded automata
      4. Decision problems
      5. Operations on languages
    5. Miscellaneous


Fonte: http://www.computer.org/portal/site/ieeecs/menuitem.c5efb9b8ade9096b8a9ca0108bcd45f3/index.jsp?&pName=ieeecs_level1&path=ieeecs/publications/author&file=ACMtaxonomy.xml&xsl=generic.xsl&;jsessionid=JVnZTZRWqL3hFXMMGZYnXWGzhq033J9N82SpL5MCnJW4597Ty6tC!-551649330

Um comentário:

  1. I really like when people are expressing their opinion and thought. So I like the way you are writing

    ResponderExcluir

Deixe seu comentário! Não uso verificação de palavras.