3738 search results - page 219 / 748 » Parametrized Logic Programming |
129
Voted
IHI
2010
14 years 9 months ago
2010
91
Voted
TOCL
2010
14 years 9 months ago
2010
177
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
122
Voted
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
158
Voted
CADE
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...