Sciweavers

531 search results - page 7 / 107
» Integrative Levels of Program Comprehension
Sort
View
CGO
2008
IEEE
13 years 9 months ago
Comprehensive path-sensitive data-flow analysis
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
Aditya V. Thakur, R. Govindarajan
CORR
2004
Springer
125views Education» more  CORR 2004»
13 years 7 months ago
High-Level Networking With Mobile Code And First Order AND-Continuations
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
Paul Tarau, Verónica Dahl
AAAI
2000
13 years 8 months ago
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
Craig Boutilier, Raymond Reiter, Mikhail Soutchans...
SIGCSE
1998
ACM
97views Education» more  SIGCSE 1998»
13 years 11 months ago
Towards a hierarchical design and integration of programming projects
,’ Theideaof ahierarchicaldesignandintegrationof programming projectsin the computerscienceundergraduatecurriculum is proposedanddiscussed.Researchresultsin softwarereuseandobje...
Wing Ning Li
ICPP
1998
IEEE
13 years 11 months ago
High-Level Information - An Approach for Integrating Front-End and Back-End Compilers
We propose a new universal High-Level Information (HLI) format to effectively integrate front-end and back-end compilers by passing front-end information to the back-end compiler....
Sangyeun Cho, Jenn-Yuan Tsai, Yonghong Song, Bixia...