Sciweavers

313 search results - page 5 / 63
» Static analysis for syntax objects
Sort
View
COMPSAC
2008
IEEE
14 years 2 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
FLAIRS
1998
13 years 9 months ago
Static Classification Schemes for an Object System
Instance (or object) classification in a knowledgebase managementsystem is the very same problem as view determination in an object DBMS,whereviewsare subsets of classes intension...
Ana Simonet, Michel Simonet, Cyr Gabin Bassolet, X...
JOCN
2010
102views more  JOCN 2010»
13 years 2 months ago
The Interplay between Prosody and Syntax in Sentence Processing: The Case of Subject- and Object-control Verbs
This study addresses the question whether prosodic information can affect the choice for a syntactic analysis in auditory sentence processing. We manipulated the prosody (in the f...
Sara Bögels, Herbert Schriefers, Wietske Vonk...
SIGPLAN
2002
13 years 7 months ago
Write barrier removal by static analysis
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
Karen Zee, Martin C. Rinard
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich