5377 search results - page 353 / 1076 » Programming Languages For Interactive Computing |
177
click to vote
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
207
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
: In December of 2010, the new game CityVille achieved 6 million daily active users in just 8 days. Clearly the success of CityVille owes something to the fun gameplay experience i...
169
click to vote
AGP
1997
IEEE
15 years 11 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
183
click to vote
ACL
1998
15 years 8 months ago
1998
We describe an on-going project whose primary aim is to establish the technology of producing closed captions for TV news programs efficiently using natural language processing an...
201
click to vote
SCAM
2008
IEEE
16 years 1 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...