Search
for Author
All Reviews
Morzenti, Angelo
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
5
of
8
reviews
Formal languages and compilation (3rd ed.)
Reghizzi S., Breveglieri L., Morzenti A., Springer International Publishing, New York, NY, 2019. 499 pp. Type: Book (978-3-030048-78-5)
Compiler construction literature has always been an interesting mixture of clever tricks and deep theory. Most textbooks try to deal with both aspects, usually emphasizing theory at the beginning and then moving on to the tricks necess...
...
Jun 19 2020
Formal languages and compilation (2nd ed.)
Reghizzi S., Breveglieri L., Morzenti A., Springer Publishing Company, Incorporated, New York, NY, 2013. 451 pp. Type: Book (978-1-447155-13-3)
The relationships and equivalences between formal language categories and the different models of automata are among the deepest and most beautiful results in theoretical computer science. Given that the construction of programming lan...
...
Oct 8 2014
Modeling time in computing
Furia C., Mandrioli D., Morzenti A., Rossi M., Springer Publishing Company, Incorporated, New York, NY, 2012. 439 pp. Type: Book (978-3-642323-31-7)
All aspects of modeling time in computing are presented in this book, but that’s not all it offers....
...
Feb 26 2013
Automated deductive requirements analysis of critical systems
Gargantini A., Morzenti A. ACM Transactions on Software Engineering and Methodology 10(3): 255-307, 2001. Type: Article
The authors propose to study the requirements of time- and safety-critical systems via the use of automated deductive analysis. Their method is supported not only by a formal framework, but also by a working tool set. The temporal logi...
...
May 9 2002
A theory of implementation and refinement in timed Petri nets
Felder M., Gargantini A., Morzenti A. Theoretical Computer Science 202(1-2): 127-161, 1998. Type: Article
Academics working with timed Petri nets should look at this mathematical research paper. It shows how nets “implement” temporal (TRIO) logics. The theorems of the implemented logic are properties that the net satisf...
...
Oct 1 1998
Display
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy