1210 search results - page 121 / 242 » Formal Techniques for Java Programs |
131
Voted
PPDP
2007
Springer
15 years 8 months 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...
126
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
101
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
106
Voted
SAS
2010
Springer
15 years 25 days ago
2010
Springer
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
225
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...