ELP
1989
14 years 1 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
CSL
1990
Springer
14 years 1 months ago
1990
Springer
CSL
1990
Springer
14 years 1 months ago
1990
Springer
This is an attempt to simplify and justify the notions of deterministicand randomized reductions, an attempt to derive these notions from (more or less) rst principles.
CSL
1989
Springer
14 years 1 months ago
1989
Springer
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
ALP
1990
Springer
14 years 1 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
ALP
1990
Springer
14 years 1 months ago
1990
Springer
PLILP
1992
Springer
14 years 1 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...
PLILP
1992
Springer
14 years 1 months ago
1992
Springer
PLILP
1992
Springer
14 years 1 months ago
1992
Springer
PLILP
1992
Springer
14 years 1 months ago
1992
Springer