Search Sciweavers | Sciweavers

2527 search results - page 19 / 506

» Aging in language dynamics

click to vote

CSR
2010
Springer

96views Theoretical Computer Science» more CSR 2010»

Realizability of Dynamic MSC Languages

14 years 18 days 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 »

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

14 years 1 months ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

click to vote

FPCA
1991

91views Programming Languages» more FPCA 1991»

Dynamics in ML

13 years 11 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 »

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

14 years 5 days ago