3408 search results - page 485 / 682 » Logic, language, information and computation |
111
Voted
ICALP
2009
Springer
15 years 7 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...
128
Voted
SCAM
2008
IEEE
15 years 7 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...
85
Voted
ITICSE
2005
ACM
15 years 6 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...
130
click to vote
WETICE
1997
IEEE
15 years 4 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...
199
Voted
POPL
2005
ACM
16 years 1 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...