636 search results - page 41 / 128 » Operational Semantics for Functional Logic Languages |
234
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
128
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
220
Voted
ENTCS
2007
15 years 3 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
143
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
139
Voted
AGP
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...