1368 search results - page 23 / 274 » Recursive modules for programming |
163
click to vote
SBMF
2009
Springer
16 years 13 days ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
176
click to vote
APLAS
2011
ACM
14 years 5 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
143
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
144
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
155
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...