Sciweavers

48 search results - page 8 / 10
» Unique Renaming of Java Using Source Transformation
Sort
View
DASFAA
2009
IEEE
195views Database» more  DASFAA 2009»
14 years 3 days ago
The XMLBench Project: Comparison of Fast, Multi-platform XML libraries
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
Suren Chilingaryan
IJON
2008
158views more  IJON 2008»
13 years 5 months ago
Blind separation of convolutive image mixtures
Convolutive mixtures of images are common in photography of semi-reflections. They also occur in microscopy and tomography. Their formation process involves focusing on an object ...
Sarit Shwartz, Yoav Y. Schechner, Michael Zibulevs...
IWPC
2003
IEEE
13 years 10 months ago
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
Mark Hennessy, Brian A. Malloy, James F. Power
POPL
2005
ACM
14 years 5 months ago
Polymorphic bytecode: compositional compilation for Java-like languages
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
Davide Ancona, Ferruccio Damiani, Sophia Drossopou...
CADE
2004
Springer
14 years 5 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu