1356 search results - page 32 / 272 » A variable-free dynamic semantics |
146
Voted
ENASE
2009
15 years 15 days ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
100
Voted
ESSLLI
1999
Springer
15 years 7 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
144
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
173
Voted
DLS
2010
15 years 22 days ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
129
Voted
PVLDB
2010
15 years 1 months ago
2010
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...