3738 search results - page 377 / 748 » Parametrized Logic Programming |
108
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
143
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
116
Voted
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
133
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
117
Voted
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Data interchange in the form of a standard exchange format(SEF) is only a first step towards tool interoperability. Inter-tool communication using files is slow and cumbersome; a ...