scholarly journals RefinedC: automating the foundational verification of C code with refined ownership types

Author(s):  
Michael Sammler ◽  
Rodolphe Lepigre ◽  
Robbert Krebbers ◽  
Kayvan Memarian ◽  
Derek Dreyer ◽  
...  
Keyword(s):  
2009 ◽  
Vol 4 (1-2) ◽  
pp. 73-83 ◽  
Author(s):  
T. Kuemmerle ◽  
J. Kozak ◽  
V. C. Radeloff ◽  
P. Hostert

2021 ◽  
pp. 1-19
Author(s):  
Baah Aye Kusi ◽  
Maryam Kriese ◽  
Gladys Awinpoak Abindaw Nabieu ◽  
Elikplimi Kombla Agbloyor

2021 ◽  
Vol 5 (1) ◽  
pp. 39-50
Author(s):  
Fongnawati Budhijono

Credit management capability is seen as a crucial aspect for banks sustainability. The variable that is directly related to bank credit risk is a non-performing loan (NPL) which is commonly used to assess the asset quality of a bank. The purpose of this research is to analyze main effects and interaction effects of  bank ownership types and bank core capital category (BUKU) to the bank NPL performance. The study was conducted using secondary data obtained from bank quarterly reports from the Financial Services Authority (OJK) through the website ojk.go.id, bank financial reports, and infobank magazine. Bank’s performance in the classification of bank ownership types and bank core capital category were evaluated with respect to bank’s  NPL which in this case is used as  indicator of the bank’s performance. Tests were performed using TWO WAY ANOVA and  Post Hoc Test. The findings of this study found that the main effect type of bank ownership had a significant effect on the performance of NPL management, the main effect of banks’ BUKU had no significant effect on the performance of NPL management and the interaction effect of bank type and banks’ BUKU had a significant effect on the performance of NPL management.  


Author(s):  
Wen Bing Su ◽  
Xin Li ◽  
Chee W. Chow

This study explores the extent and impediments of knowledge sharing in Chinese firms because they are becoming dominant entities in the global economy, yet limited research exists on this important aspect of their operations. Survey data are obtained from experienced managers of 164 Chinese firms from a wide range of industries, sizes, and ownership types. The responses indicate that knowledge sharing is not open and complete in Chinese firms. Similar to findings from developed economies in the West, a large number of factors impede knowledge sharing in Chinese firms. These range from Chinese cultural values—which had been identified as being important by prior China-based studies—to attributes of the firm (e.g., incentive system, communication channels, organizational culture), as well as those of knowledge holders and potential recipients (e.g., judgment ability, organizational commitment). Implications of these findings for practice and research are discussed.


2020 ◽  
Vol 44 (5) ◽  
pp. 780-805 ◽  
Author(s):  
Jianwei Liu ◽  
Jinah Park ◽  
Karen Xie ◽  
Haiyan Song ◽  
Wei Chen

Commercial hosts are becoming increasingly common in peer-to-peer (P2P) accommodation sharing. Yet the interplay between commercial and individual hosts has been unclear. This study investigates the effect of properties managed by commercial hosts on the individual hosts in the neighborhood. Specifically, we hypothesize that an increase in commercial properties, which have competitive advantages, would penetrate neighborhood markets and cannibalize the online popularity of individual properties. We test these hypotheses using a large-scale, longitudinal data set collected from a leading P2P accommodation-sharing platform in Beijing. The findings show that an increase in commercial properties is associated with a decline in the popularity of individual properties in the neighborhood. However, the negative effect of commercial properties is weakened when there is a higher price difference between the two ownership types and a higher density of tourist attractions. The implications for service operations and strategies for P2P accommodation-sharing businesses are discussed.


2020 ◽  
Vol 42 (3) ◽  
pp. 761-776
Author(s):  
David Wren

PurposeThis paper presents exploratory, empirical data from a three-year study of organizational culture in for-profit, employee-owned businesses within the UK, comparing ownership types (direct, trust, and cooperative). It outlines the study and then focuses on worker cooperatives. Culture is illuminated through the lens of performance and reward management.Design/methodology/approachQualitative data was gathered from three worker cooperatives based in the North of England, using semi-structured interviews, participant observation, and document review and was compared to qualitative data collected from other types of employee-owned businesses.FindingsThe findings suggest a distinct culture within worker cooperatives encompassing five key values: a whole life perspective, consistently shared values, self-ownership, self-control, and secure employment.Research limitations/implicationsAdditional time with each cooperative and a greater spread of cooperatives would be beneficial. The research was carried out during a period of organizational growth for the case organizations, which may influence attitudes to reward and retention management.Practical implicationsThe results inform recruitment and retention policy and practice within worker cooperatives and highlight concerns regarding the stresses of being a self-owner. These are important considerations for potential worker co-operatives alongside policy recommendations to advance employee ownership.Originality/valueA comparative analysis of culture, performance, and rewards across different employee ownership types has not been undertaken before. This addresses an under-researched area of employee ownership regarding HR practices. Within the UK, recent research on the culture(s) of worker cooperatives is limited.


Sign in / Sign up

Export Citation Format

Share Document