547 search results - page 63 / 110 » On Automated Program Construction and Verification |
110
click to vote
CL
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
MM
2000
ACM
15 years 2 months ago
2000
ACM
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...