4690 search results - page 546 / 938 » An operational semantics for Scheme |
193
click to vote
ECOOP
2000
Springer
16 years 1 days ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
214
click to vote
HASE
1999
IEEE
15 years 12 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
205
click to vote
CSL
1999
Springer
15 years 12 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
223
click to vote
FLOPS
1999
Springer
15 years 12 months ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
224
click to vote
WETICE
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...