3824 search results - page 356 / 765 » Geometry Constructions Language |
149
click to vote
PLILP
1992
Springer
15 years 9 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
145
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
151
Voted
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
106
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
149
Voted
ASP
2003
Springer
15 years 8 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...