Introduction to Computation Haskell, Logic and Automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

Volltext öffnen

Formal program development in Extended ML for the working programmer von Sannella, Donald

Toward formal development of programs from algebraic specifications parameterisation revisited von Sannella, Donald, Sokołowski, Stefan, Tarlecki, Andrzej

Toward formal development of programs from algebraic specifications implementations revisited von Sannella, Donald, Tarlecki, Andrzej

On observational equivalence and algebraic specification von Sannella, Donald, Tarlecki, Andrzej

Completeness of proof systems for equational specifications von MacQueen, David B., Sannella, Donald T.

Structured theories in LCF von Sannella, Donald T., Burstall, Rod M.

A kernel language for algebraic specification and implementation von Sannella, Donald T., Wirsing, Martin 1948-

Foundations of Algebraic Specification and Formal Software Development von Sannella, Donald, Tarlecki, Andrzej

Volltext öffnen

Model-theoretic foundations for program development basic concepts and motivation von Sannella, Donald T., Tarlecki, Andrzej

The definition of Extended ML a gentle introduction von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

Specifications in an arbitrary institution von Sannella, Donald, Tarlecki, Andrzej

Semantics, implementation and pragmatics of Clear, a program specification language von Sannella, Donald T.

A new semantics for Clear von Sannella, Donald T.

Introduction to computation Haskell, logic and automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

Inhaltsverzeichnis

Foundations of algebraic specification and formal software development von Sannella, Donald 1956-, Tarlecki, Andrzej 1956-

Inhaltsverzeichnis
Beschreibung

On behavioural abstraction and behavioural satisfaction in higher order logic von Hofmann, Martin, Sannella, Donald T.

The definition of Extended ML von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

Toward formal development of ML programs foundations and methodology ; preliminary version von Sannella, Donald, Tarlecki, Andrzej

HOPE et ML une introduction von Sannella, Donald, Wirsing, Martin 1948-