258 search results - page 36 / 52 » Proof Styles in Operational Semantics |
108
click to vote
DLS
2008
15 years 3 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
160
Voted
CL
2012
Springer
13 years 4 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
106
click to vote
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
111
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
117
Voted
DAGSTUHL
1998
15 years 3 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...