6740 search results - page 69 / 1348 » Using Classification as a Programming Language |
PLDI
1997
ACM
15 years 2 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
ESOP
2003
Springer
15 years 3 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
ASM
2005
ASM
15 years 3 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
IFIP
1998
Springer
15 years 2 months ago
1998
Springer
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
59
Voted
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...