Skip to search formSkip to main contentSkip to account menu

Retrenchment (computing)

Known as: Retrenchment (disambiguation) 
Retrenchment is a technique associated with Formal Methods that was introduced to address some of the perceived limitations of formal, model based… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations

Broader (1)

Formal methods
Refinement (computing)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
The Future of the Slovenian Welfare State and Challenges to Solidarity By
Changing demographic, social, political and economic contexts have strained European welfare states. Social provision in Slovenia… 
2012
2012
The story of structural adjustment programme in nigeria from the perspective of the organized labour
The process of achieving the set objectives of structural adjustment programme (SAP) produced adverse social effects that put to… 
2012
2012
The simple macroeconomics of North and South in EMU
The euro area today consists of a competitive, moderately leveraged North and an uncompetitive, over-indebted South. Its main… 
2009
2009
Britain's Decision to Withdraw from the Persian Gulf, 1964–68: A Pattern and a Puzzle
Can we comprehend the end of the British Empire as a planned and logical process, or was it an accumulation of improvised… 
2006
2006
Making sense of the U.S. housing slowdown
A robust housing market buoyed the U.S. economy during the 2001 recession and fueled growth once recovery began. The record… 
2005
2005
Pension Reform in Germany and Austria: System Change vs. Quantitative Retrenchment
This article first outlines the differences in outcome of pension reform in Germany and Austria. The 2001 German pension reform… 
2004
2004
Welfare State Retrenchment in Central and Eastern Europe: The Case of Pension Reforms in Poland and Slovenia
This paper endeavours to shed some light on the mechanisms that led to the divergence of welfare state arrangements across… 
2000
2000
European Welfare Futures
European Welfare Futures presents a clear and up-to-date analysis of developments in social policy in the main EU member states… 
Highly Cited
1997
Highly Cited
1997
EMU as a Device for Collective Fiscal Retrenchment
Highly Cited
1979
Highly Cited
1979
The three "r's" of the eighties : reduction, reallocation and retrenchment
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)