3738 search results - page 219 / 748 » Parametrized Logic Programming |
IHI
2010
13 years 3 months ago
2010
TOCL
2010
13 years 3 months ago
2010
COMPSAC
2011
IEEE
12 years 8 months ago
2011
IEEE
SCAM
2003
IEEE
14 years 1 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...
CADE
1992
Springer
14 years 14 days 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...