3323 search results - page 11 / 665 » Computational Semantics with Functional Programming |
144
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
128
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
149
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
106
click to vote
ASM
2000
ASM
15 years 6 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...