2000 search results - page 218 / 400 » Program Transformation and Proof Transformation |
141
click to vote
IWMM
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
109
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
124
Voted
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
149
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
167
Voted
MICRO
1993
IEEE
15 years 8 months ago
1993
IEEE
Compile-time code transformations which expose instruction-level parallelism (ILP) typically take into account the constraints imposed by all execution scenarios in the program. H...