3679 search results - page 396 / 736 » Hybrid Semantic Analysis |
169
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
230
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
160
click to vote
IWMM
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
176
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...
190
Voted
JLP
2008
15 years 6 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...