Sciweavers

1932 search results - page 251 / 387
» Molecule-oriented programming in Java
Sort
View
119
Voted
ECOOP
2010
Springer
15 years 5 months ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
112
Voted
POPL
1999
ACM
15 years 5 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
COMPSAC
1998
IEEE
15 years 5 months ago
The Essence of the Visitor Pattern
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
Jens Palsberg, C. Barry Jay
161
Voted
AAIP
2009
15 years 1 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
Thomas Hieber, Martin Hofmann 0008
IEE
2008
115views more  IEE 2008»
15 years 22 days ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller