Sciweavers

275 search results - page 33 / 55
» Structural Information Analysis for CLP Languages
Sort
View
94
Voted
LPAR
2010
Springer
14 years 7 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
72
Voted
SGAI
2007
Springer
15 years 3 months ago
Expressive security policy rules using Layered Conceptual Graphs
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...
Madalina Croitoru, Liang Xiao 0002, David Dupplaw,...
82
Voted
VL
1998
IEEE
116views Visual Languages» more  VL 1998»
15 years 1 months ago
Programming Web-Based Applications within a Data-Flow VL
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
Roberto Idini, Mauro Mosconi, Marco Porta
78
Voted
DOCENG
2004
ACM
15 years 3 months ago
Techniques for authoring complex XML documents
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
Vincent Quint, Irène Vatton
CSSE
2008
IEEE
15 years 4 months ago
Rapid Acquirement and Visualization of CityGML Documents
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
Lingli Zhao, Shuai Liu, Junsheng Li, Haicheng Xu