DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Michel Sintzoff
Michel Sintzoff
Fiendish Designs
The Humble Humorous Researcher: a Tribute to Michel Sintzoff
Scaling Functional Synthesis and Repair
An Extension of Isabelle/UTP with Simpl-Like Control Flow
(Pdf) of the School of Squiggol: a History of the Bird−Meertens
The Design Philosophy of Distributed Programming Systems: the Mozart Experience
PART I. Council A
Front Matter
The ALGOL 68 Story a Personal Account by a Member of the Design Team Professor John E
E Bibliography
Acta Informatica
Models of Computation Texts in Theoretical Computer Science
Simplifying the Analysis of C++ Programs
Efficient Runtimes for Gradual Typing
Logic Algorithm Synthesis from Examples and Properties
(Editors) Logical Theory for Program Construction Dagstuhl-Seminar
Research Collection
Fourteen Years of Software Engineering at ETH Zurich Bertrand Meyer Politecnico Di Milano and Innopolis University
[email protected]
Aug
Top View
Etude Des Spйcifications Modulaires: Constructions De Colimites Finies, Diagrammes, Isomorphismes
A Methodology for Programming with Concurrency: the Formalism*
A Theory for Nondeterminism, Parallelism, Communication, and Concurrency *
Mounier-Kuhn Algol in France
Report,Rapport
Models of Computation
Biuletyn Jubileusz Profesora W³adys³awa M. Turskiego