2
Publications
254
Citations
2
H-Index
1971
Active since
Affiliations
Delft University of Technology(Current)
M. Sintzoff is an author at Delft University of Technology specializing in formal methods, automated reasoning, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningSyntaxLanguageSemanticsLinguisticsAlgorithm DesignFormal Semantics
Publications per year
1971–1975
2
2
Revised report on the algorithmic language ALGOL 68
A. van Wijngaarcien, B. J. Mailloux, J. E. L. Peck et al. · Acta Informatica · 1975 · 233 citations · Full text
The composition of semantics in Algol 68
P Branquart, Johan Lewi, M. Sintzoff et al. · Communications of the ACM · 1971 · 21 citations · Full text
Rows per page
1–2 of 2