10622 search results - page 250 / 2125 » Python Programming Language |
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
103
Voted
PPCP
1993
15 years 7 months ago
1993
119
Voted
ECSQARU
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
144
Voted
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
94
Voted
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
Java is the newest in a long line of systems programming languages. This paper looks at what makes it special and backs the findings up with three case studies. The projects exerc...