Search Sciweavers | Sciweavers

2527 search results - page 19 / 506

» Aging in language dynamics

150

click to vote

CSR
2010
Springer

96views Theoretical Computer Science» more CSR 2010»

Realizability of Dynamic MSC Languages

15 years 10 months ago

Download www.lsv.ens-cachan.fr

Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating ﬁnite-state machines that allows for dynamic creation of processes. Their behavior can ...

Benedikt Bollig, Loïc Hélouët

claim paper

Read More »

136

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

16 years 2 days ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

135

click to vote

FPCA
1991

91views Programming Languages» more FPCA 1991»

Dynamics in ML

15 years 9 months ago

Download gallium.inria.fr

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

claim paper

Read More »

127

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

15 years 10 months ago