7124 search results - page 118 / 1425 » Programming Languages and Operating Systems |
POPL
1989
ACM
15 years 1 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
ICLP
2003
Springer
15 years 3 months ago
2003
Springer
HYBRID
1994
Springer
15 years 1 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 ...