Sciweavers

1368 search results - page 177 / 274
» Recursive modules for programming
Sort
View
IEEEINTERACT
2003
IEEE
14 years 2 months ago
High Performance Code Generation through Lazy Activation Records
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth ...
ECOOP
2010
Springer
14 years 2 months ago
A Type System for Data-Centric Synchronization
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
Mandana Vaziri, Frank Tip, Julian Dolby, Christian...
SAS
2001
Springer
14 years 1 months ago
Solving Regular Tree Grammar Based Constraints
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
Yanhong A. Liu, Ning Li, Scott D. Stoller
ACSE
2000
ACM
14 years 1 months ago
Here, there and everywhere - on the recurring use of turtle graphics in CS1
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
Michael E. Caspersen, Henrik Bærbak Christen...
ICALP
1990
Springer
14 years 1 months ago
Static Correctness of Hierarchical Procedures
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
Michael I. Schwartzbach