611 search results - page 69 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
223
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
172
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
156
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
181
click to vote
WLP
2000
Springer
15 years 10 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
186
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...