479 search results - page 56 / 96 » Sound and Complete Type Inference for a Systems Programming ... |
113
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
157
Voted
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
117
Voted
LICS
1989
IEEE
15 years 6 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
101
Voted
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
225
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....