Relational algebra offers to software engineering the same degree of conciseness and calculational power as linear algebra in other engineering disciplines. Binary relations play the role of matrices with similar emphasis on multiplication and transposition. This matches with Alloy’s lemma “everything is a relation” and with the relational basis of the Algebra of Programming (AoP). Altogether, it provides a sim...
WOS:000265098400003 (Nº de Acesso Web of Science) ; We investigate the relation between a country’s first-time enforcement of insider trading laws and stock price informativeness using data from 48 countries over 1980–2003. Enforcement of insider trading laws improves price informativeness, as measured by firm-specific stock return variation, but this increase is concentrated in developed markets. In emerging ...
Tool interoperability as a mean to achieve integration is among the main goals of the international Grand Challenge initiative. In the context of the Verifiable file system mini-challenge put forward by Rajeev Joshi and Gerard Holzmann, this paper focuses on the integration of different formal methods and tools in modelling and verifying an abstract file system inspired by the Intel (R) Flash File System Core. ...
The evidence here indicates that sovereign debt rating and credit outlook changes of one country have an asymmetric and economically significant effect on the stock market returns of other countries over 1989-2003. There is a negative reaction of 51 basis points (two-day return spread vis-á-vis the US) to a credit ratings downgrade of one notch in a common information spillover around the world. Upgrades, howe...
Financiadores do RCAAP | |||||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |