5377 search results - page 118 / 1076 » Programming Languages For Interactive Computing |
ECOOP
2006
Springer
14 years 27 days ago
2006
Springer
The assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is ...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
MPC
1995
Springer
14 years 23 days ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
LISP
2000
13 years 9 months ago
2000
This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally ...
JAIR
2007
13 years 9 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...