1194 search results - page 46 / 239 » A Calculus for Predicative Programming |
223
click to vote
LCPC
1992
Springer
15 years 10 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
206
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
151
click to vote
AAAI
2008
15 years 8 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
171
click to vote
CP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
164
click to vote
SIGPLAN
2002
15 years 5 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...