1027 search results - page 127 / 206 » Representing and Reasoning with Operational Semantics |
123
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
99
Voted
LICS
1989
IEEE
15 years 4 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
82
Voted
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
100
Voted
ISDA
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we present an approach to sharing a user model among several adaptive hypermedia applications. Current adaptive hypermedia applications often realize the user model ...
92
Voted
ICANN
2003
Springer
15 years 5 months ago
2003
Springer
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...