7124 search results - page 47 / 1425 » Programming Languages and Operating Systems |
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
104
Voted
ICFP
2012
ACM
13 years 1 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ATAL
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
USENIX
2000
14 years 11 months ago
2000
72
Voted
ISDA
2010
IEEE
14 years 7 months ago
2010
IEEE
