3516 search results - page 118 / 704 » Programming Languages: Application and Interpretation |
141
click to vote
VMCAI
2012
Springer
14 years 6 days ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
195
click to vote
AAAI
1993
15 years 6 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
148
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
188
click to vote
ICFP
2012
ACM
13 years 7 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...
177
click to vote
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...