14298 search results - page 383 / 2860 » Dynamic Languages and Applications |
178
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
184
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
A Dyck shift and a Motzkin shift are mathematical models for constraints on genetic sequences. In terms of the theory of symbolic dynamics, neither of the Dyck shift nor the Motzki...
207
click to vote
FMOODS
2003
15 years 8 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
176
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
lection of software tools including: NSL, a neural simulation language; ASL, an abstract schema language; and MissionLab, a schema-based mission-oriented simulation and robot imple...
171
click to vote
ECWEB
2000
Springer
15 years 10 months ago
2000
Springer
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...