Sciweavers

7124 search results - page 108 / 1425
» Programming Languages and Operating Systems
Sort
View
POS
1998
Springer
15 years 2 months ago
Toward Class Evolution in Persistent Java?
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
John V. E. Ridgway, Jack C. Wileden
ERLANG
2003
ACM
15 years 3 months ago
A soft-typing system for Erlang
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
Sven-Olof Nyström

Book
246views
16 years 8 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
ICFP
2005
ACM
15 years 9 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
ASPLOS
2006
ACM
15 years 3 months ago
Manitou: a layer-below approach to fighting malware
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
Lionel Litty, David Lie