8828 search results - page 1683 / 1766 » Formal methods in practice |
141
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
142
Voted
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...
149
Voted
INLG
2010
Springer
15 years 1 months ago
2010
Springer
In many areas of NLP reuse of utility tools such as parsers and POS taggers is now common, but this is still rare in NLG. The subfield of surface realisation has perhaps come clos...
147
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
164
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...