1143 search results - page 128 / 229 » Abstract Syntax and Logic Programming |
146
click to vote
RTA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
167
Voted
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
99
Voted
AMI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
108
Voted
C++
1994
15 years 3 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
120
Voted
CJ
2000
15 years 2 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...