1194 search results - page 149 / 239 » A Calculus for Predicative Programming |
125
Voted
CEFP
2005
Springer
15 years 8 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
128
Voted
PLILP
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
133
Voted
POPL
1990
ACM
15 years 6 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
122
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
132
Voted
JFP
2008
15 years 2 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...