1143 search results - page 51 / 229 » Abstract Syntax and Logic Programming |
95
Voted
AC
2002
Springer
15 years 14 days ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
106
click to vote
PLILP
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
119
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
182
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
91
Voted
ECLIPSE
2004
ACM
15 years 4 months ago
2004
ACM
Object-oriented software development is a subject area difficult to teach, especially to beginners. They face a lot of abstraction and (from a beginners point of view) isolated to...