1204 search results - page 163 / 241 » Termination of Polynomial Programs |
179
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
89
Voted
CASCON
2001
15 years 2 months ago
2001
This paper provides an experience report for researchers who are interested in integrating their tools with the new IBM WebSphere Studio Workbench. The Workbench (open source at w...
116
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
90
Voted
LDTA
2010
15 years 25 days ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
132
Voted
SIGPLAN
1998
15 years 8 days ago
1998
In Java the de nition of a \program" is a bit fuzzy. A Java applet is essentially a Java application (i.e. program) that can be executed by a Java enabled Web browser (i.e. a...