Sciweavers

284 search results - page 26 / 57
» A Semantic Analysis of C Templates
Sort
View
CGO
2005
IEEE
14 years 1 months ago
Practical and Accurate Low-Level Pointer Analysis
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
Bolei Guo, Matthew J. Bridges, Spyridon Triantafyl...
ADMA
2008
Springer
483views Data Mining» more  ADMA 2008»
14 years 1 months ago
A Comparative Study of Correlation Measurements for Searching Similar Tags
In recent years, folksonomy becomes a hot topic in many research fields such as complex systems, information retrieval, and recommending systems. It is essential to study the seman...
Kaikuo Xu, Yu Chen, Yexi Jiang, Rong Tang, Yintian...
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 28 days ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
ESWS
2008
Springer
13 years 9 months ago
The Principle of Self-Description: Identity Through Linking
Abstract. If one wants to have a scheme for identifying non-Web accessible entities, should it be centralized or decentralized? Given a URI, how can one tell if it refers to a web ...
Harry Halpin
C3S2E
2008
ACM
13 years 9 months ago
Context-sensitive cut, copy, and paste
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
Reid Kerr, Wolfgang Stürzlinger