8,254 research outputs found
The Cowl - v.33 - n.2 - Oct 02, 1970
The Cowl - student newspaper of Providence College. Volume 33, Number 2 - October 2, 1970. 8 pages
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis
From 07.05.06 to 12.05.06, the Dagstuhl Seminar 06191 ``Rigorous Methods for Software Construction and Analysis\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
China\u27s New Labor Contract Law and Protection of Workers
This Comment will discuss the labor conditions in China that prompted many provisions in the recently enacted Labor Contract Law, and how the new law responds to deficiencies of China\u27s Labor Law to address various labor problems. Part I of this Comment contains a brief presentation of the historical and economic background of the emergence of migrant workers. Part I also examines the causes of the main problems faced by migrant workers, in particular the insufficiencies of China\u27s Labor Law in protecting migrant workers. Part II looks into the legislation\u27s background and specific provisions of China\u27s new Labor Contract Law that supplement the Labor Law and stress the protection of laborers. Many provisions of the new law specifically address labor abuses faced by migrant workers. Finally, Part III discusses the insufficiencies and likely effects of the new Labor Contract Law
A formally verified compiler back-end
This article describes the development and formal verification (proof of
semantic preservation) of a compiler back-end from Cminor (a simple imperative
intermediate language) to PowerPC assembly code, using the Coq proof assistant
both for programming the compiler and for proving its correctness. Such a
verified compiler is useful in the context of formal methods applied to the
certification of critical software: the verification of the compiler guarantees
that the safety properties proved on the source code hold for the executable
compiled code as well
Mobile Resource Guarantees for Smart Devices
Abstract. We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached to code in the form of efficiently checkable proofs of resource bounds; in contrast to cryptographic certificates of code origin, these are independent of trust networks. A novel programming language with resource constraints encoded in function types is used to streamline the generation of proofs of resource usage.
Household labor supply, unemployment, and minimum wage legislation
The supply behavior of labor often depends on the demand conditions prevailing in the labor market. If demand is inadequate, households may send additional household members, who otherwise would not have worked, to look for work, for fear the main income earner may lose his job. The authors study the theoretical consequences of this"added worker"effect. They show that it can rise to multiple equilibria in the labor market. Surprisingly, a minimum wage law set below the prevailing market wage can cause the market wage to fall and unemployment to rise. Unemployment benefits, by countering some of the risks of unemployment, can neutralize the inefficiencies caused by households'tendency to oversupply labor.Economic Theory&Research,Labor Policies,Health Economics&Finance,Labor Markets,Environmental Economics&Policies,Health Economics&Finance,Labor Markets,Access to Markets,Environmental Economics&Policies,Economic Theory&Research
- …