859 search results - page 12 / 172 » Explaining Synthesized Software |
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
This is research summary of a PhD project in the area of massive software maintenance automation. We explain the context, approach, and contributions.
118
Voted
DAC
1998
ACM
16 years 2 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
58
Voted
SYNTHESE
2010
15 years 7 days ago
2010
This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the au...
114
Voted
SYNTHESE
2010
15 years 7 days ago
2010
In this paper I show that Proclus is an adherent of the Classical Model of Science as set out elsewhere in this issue (de Jong and Betti 2008), and that he adjusts certain conditio...
94
Voted
SYNTHESE
2010
15 years 7 days ago
2010
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...