7124 search results - page 118 / 1425 » Programming Languages and Operating Systems |
128
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
143
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...