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