797 search results - page 106 / 160 » MODULA-2 and Its Compilation |
134
click to vote
ICIAP
1999
ACM
15 years 8 months ago
1999
ACM
ÐThis paper describes a novel framework for comparing and matching corrupted relational graphs. The paper develops the idea of edit-distance originally introduced for graph-matchi...
156
click to vote
HOTOS
1997
IEEE
15 years 8 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
148
click to vote
HOPL
2007
15 years 8 months ago
2007
This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...
106
click to vote
WOTUG
2008
15 years 5 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
122
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...