LEADER 03317nam 2200709 a 450 001 9910459167603321 005 20200520144314.0 010 $a6612692677 010 $a1-282-69267-4 010 $a9786612692673 010 $a1-60750-100-7 035 $a(CKB)2670000000033288 035 $a(EBL)557042 035 $a(OCoLC)647184853 035 $a(SSID)ssj0000439121 035 $a(PQKBManifestationID)12120114 035 $a(PQKBTitleCode)TC0000439121 035 $a(PQKBWorkID)10463946 035 $a(PQKB)10842109 035 $a(MiAaPQ)EBC557042 035 $a(Au-PeEL)EBL557042 035 $a(CaPaEBR)ebr10403989 035 $a(CaONFJC)MIL269267 035 $a(EXLCZ)992670000000033288 100 $a20100111d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aLogics and languages for reliability and security$b[electronic resource] /$f[edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg 210 $aWashington, D.C. $cIOS Press$d2010 215 $a1 online resource (336 p.) 225 1 $aNATO science for peace and security series. D, Information and communication security ;$vv. 25 300 $aIncludes indexes. 311 $a1-60750-099-X 327 $aTitle page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata 327 $aImplicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index 330 $aSoftware-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness. 410 0$aNATO science for peace and security series.$nSub-series D,$pInformation and communication security ;$vv. 25. 606 $aProgramming languages (Electronic computers) 606 $aLanguages, Artificial 606 $aComputers$xReliability 606 $aComputer security 608 $aElectronic books. 615 0$aProgramming languages (Electronic computers) 615 0$aLanguages, Artificial. 615 0$aComputers$xReliability. 615 0$aComputer security. 676 $a005.8 701 $aEsparza$b Javier$01041972 701 $aSpanfelner$b Bernd$01041973 701 $aGrumberg$b Orna$067499 712 02$aTechnische Universita?t Mu?nchen (Germany) 712 02$aTECHNION.$bIsrael Institute of Technology (Israel) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459167603321 996 $aLogics and languages for reliability and security$92465783 997 $aUNINA LEADER 04908oam 22012854 450 001 9910959028003321 005 20250426110818.0 010 $a9786613827876 010 $a9781462302390 010 $a1462302394 010 $a9781452720890 010 $a1452720894 010 $a9781283515429 010 $a1283515423 010 $a9781451908688 010 $a1451908687 035 $a(CKB)3360000000443715 035 $a(EBL)3014526 035 $a(SSID)ssj0000941183 035 $a(PQKBManifestationID)11587743 035 $a(PQKBTitleCode)TC0000941183 035 $a(PQKBWorkID)10963656 035 $a(PQKB)10957437 035 $a(OCoLC)694141229 035 $a(IMF)WPIEE2006072 035 $a(MiAaPQ)EBC3014526 035 $a(IMF)WPIEA2006072 035 $aWPIEA2006072 035 $a(EXLCZ)993360000000443715 100 $a20020129d2006 uf 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Determinants of the Effects of Fiscal Policy /$fManmohan Kumar, Dennis Botman 205 $a1st ed. 210 1$aWashington, D.C. :$cInternational Monetary Fund,$d2006. 215 $a1 online resource (48 p.) 225 1 $aIMF Working Papers 300 $a"March 2006." 311 08$a9781451863321 311 08$a1451863322 320 $aIncludes bibliographical references. 327 $a""Contents""; ""I. INTRODUCTION""; ""II. KEY FEATURES OF THE GLOBAL FISCAL MODEL""; ""III. CALIBRATING THE MODEL""; ""IV. THE MACROECONOMIC EFFECTS OF GOVERNMENT DEBT""; ""V. GOVERNMENT SPENDING SHOCKS AND PRIVATE CONSUMPTION ""; ""VI. TAX DISTORTIONS AND THE BENEFITS OF TAX REFORM""; ""VII. THE EFFECTS OF PRIVATIZING RETIREMENT SAVING""; ""VIII. CONCLUDING REMARKS""; ""References"" 330 3 $aWe explore the underlying determinants of the macroeconomic effects of fiscal policy and tax and social security reform using the Global Fiscal Model (GFM). We show that the planning horizon of consumers, access to financial markets, and the elasticity of labor supply, as well as the characteristics of utility and production functions, and the degree of competition are all critical for determining the impact of fiscal policy. Four topical fiscal policy issues, for a representative large and small economy, are examined: the effects of changes in government debt; higher government spending; tax reform; and privatization of retirement savings. 410 0$aIMF Working Papers; Working Paper ;$vNo. 2006/072 606 $aFiscal policy$xEconometric models 606 $aEconomic policy$xEconometric models 606 $aBanks and Banking$2imf 606 $aConsumption$2imf 606 $aDebt Management$2imf 606 $aDebt$2imf 606 $aDebts, Public$2imf 606 $aEconomics$2imf 606 $aFinance$2imf 606 $aFiscal Policy$2imf 606 $aFiscal policy$2imf 606 $aIncome tax$2imf 606 $aInterest rates$2imf 606 $aInterest Rates: Determination, Term Structure, and Effects$2imf 606 $aLabor taxes$2imf 606 $aMacroeconomics$2imf 606 $aMacroeconomics: Consumption$2imf 606 $aPersonal Income and Other Nonbusiness Taxes and Subsidies$2imf 606 $aPublic debt$2imf 606 $aPublic finance & taxation$2imf 606 $aPublic Finance$2imf 606 $aReal interest rates$2imf 606 $aSaving$2imf 606 $aSovereign Debt$2imf 606 $aTaxation$2imf 606 $aWealth$2imf 606 $aWelfare & benefit systems$2imf 607 $aUnited States$2imf 615 0$aFiscal policy$xEconometric models. 615 0$aEconomic policy$xEconometric models. 615 7$aBanks and Banking 615 7$aConsumption 615 7$aDebt Management 615 7$aDebt 615 7$aDebts, Public 615 7$aEconomics 615 7$aFinance 615 7$aFiscal Policy 615 7$aFiscal policy 615 7$aIncome tax 615 7$aInterest rates 615 7$aInterest Rates: Determination, Term Structure, and Effects 615 7$aLabor taxes 615 7$aMacroeconomics 615 7$aMacroeconomics: Consumption 615 7$aPersonal Income and Other Nonbusiness Taxes and Subsidies 615 7$aPublic debt 615 7$aPublic finance & taxation 615 7$aPublic Finance 615 7$aReal interest rates 615 7$aSaving 615 7$aSovereign Debt 615 7$aTaxation 615 7$aWealth 615 7$aWelfare & benefit systems 700 $aKumar$b Manmohan$01803826 701 $aBotman$b Dennis$0901784 712 02$aInternational Monetary Fund.$bFiscal Affairs Dept. 801 0$bDcWaIMF 906 $aBOOK 912 $a9910959028003321 996 $aFundamental Determinants of the Effects of Fiscal Policy$94372447 997 $aUNINA