73 search results - page 1 / 15 » Dynamics in ML |
ML
2006
ACM
14 years 9 months ago
2006
ACM
ASM
2000
ASM
15 years 1 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
ML
2006
ACM
14 years 9 months ago
2006
ACM
91
Voted
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
64
Voted
FPCA
1991
15 years 1 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...