10575 search results - page 333 / 2115 » T2Script Programming Language |
128
click to vote
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
108
click to vote
POPL
1989
ACM
15 years 8 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
145
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
156
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
118
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper explores the potential for simplified programming languages to support the development of computational thinking skills in non-programmers. We suggest that novice progr...