2236 search results - page 203 / 448 » Language Independence and Language Tolerance in Logic Progra... |
160
click to vote
AO
2007
15 years 6 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
139
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
175
click to vote
TCS
2008
15 years 6 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
183
click to vote
ASPLOS
2006
ACM
16 years 16 days ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
166
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...