1143 search results - page 132 / 229 » Abstract Syntax and Logic Programming |
127
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
114
click to vote
VL
1995
IEEE
15 years 6 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
113
Voted
KI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
108
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
139
click to vote
FAC
2010
14 years 12 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...