3408 search results - page 485 / 682 » Logic, language, information and computation |
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
ITICSE
2005
ACM
14 years 4 months ago
2005
ACM
Problems with understanding concepts, so called misconceptions, have been investigated and reported in a number of studies regarding object-oriented programming [4], [3]. In a fi...
WETICE
1997
IEEE
14 years 2 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...