2135 search results - page 293 / 427 » An Operational Semantics for JavaScript |
109
click to vote
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
145
Voted
VL
1994
IEEE
15 years 6 months ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
103
Voted
ECAI
1994
Springer
15 years 6 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
120
Voted
FTRTFT
1994
Springer
15 years 6 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
158
Voted
CADE
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...