Oliver Schoett

According to our database1, Oliver Schoett
  • authored at least 5 papers between 1983 and 1992.
  • has no known "Dijkstra number"2.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1992
Two Impossibility Theorems on Behaviour Specification of Abstract Data Types.
Acta Inf., 1992

1991
An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract).
Proceedings of the STACS 91, 1991

1990
Behavioural Correctness of Data Representations.
Sci. Comput. Program., 1990

1986
Data abstraction and the correctness of modular programming.
PhD thesis, 1986

1983
Is Data Abstraction Sound?
ADT, 1983


  Loading...