1143 search results - page 176 / 229 » Abstract Syntax and Logic Programming |
BIRTHDAY
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
TCC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
DAGSTUHL
1998
14 years 11 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...