1264 search results - page 212 / 253 » Abstract machines for programming language implementation |
147
click to vote
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
127
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
112
Voted
APL
1992
ACM
15 years 6 months ago
1992
ACM
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
125
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
129
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...