73 search results - page 1 / 15 » Dynamics in ML |
ML
2006
ACM
13 years 5 months ago
2006
ACM
ASM
2000
ASM
13 years 9 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
13 years 5 months ago
2006
ACM
PPDP
2005
Springer
13 years 11 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...
FPCA
1991
13 years 9 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...