Jan Bergstra

Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focused on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Jan A. Bergstra', query time: 0.12s Refine Results
  1. 1
    Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
    by Jan A. Bergstra
    Published 2020-08-01
    Get full text
    Article
  2. 2
    Instruction Sequence Faults with Formal Change Justification
    by Jan A. Bergstra
    Published 2020-12-01
    Get full text
    Article
  3. 3
    Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation
    by Jan A. Bergstra
    Published 2020-12-01
    Get full text
    Article
  4. 4
    Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
    by Jan A. Bergstra
    Published 2019-09-01
    Get full text
    Article
  5. 5
    Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
    by Jan A. Bergstra
    Published 2019-09-01
    Get full text
    Article
  6. 6
    Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
    by Jan A. Bergstra
    Published 2021-08-01
    Get full text
    Article
  7. 7
    Program Algebra for Turing-Machine Programs
    by Jan A. Bergstra, Cornelius A. Middelburg
    Published 2019-12-01
    Get full text
    Article
  8. 8
    A Short Introduction to Program Algebra with Instructions for Boolean Registers
    by Jan A. Bergstra, Cornelis A. Middelburg
    Published 2018-11-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search