Sciweavers

2527 search results - page 19 / 506
» Aging in language dynamics
Sort
View
CSR
2010
Springer
15 years 4 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
FPCA
1991
15 years 3 months ago
Dynamics in ML
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
Xavier Leroy, Michel Mauny
POPL
2000
ACM
15 years 4 months ago
Implicit Parameters: Dynamic Scoping with Static Types
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Ma...
IFIP
1999
Springer
15 years 4 months ago
Dynamics of performance measurement systems
Umit S. Bititci, Allan S. Carrie, T. Turner, P. Su...