Sciweavers

4854 search results - page 272 / 971
» It's the Programming, Stupid
Sort
View
ICSE
1999
IEEE-ACM
15 years 11 months ago
Lightweight Extraction of Object Models from Bytecode
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
Daniel Jackson, Allison Waingold
POPL
2010
ACM
15 years 9 months ago
Reconfigurable asynchronous logic automata: (RALA)
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
Neil Gershenfeld, David Dalrymple, Kailiang Chen, ...
TOOLS
1992
IEEE
15 years 11 months ago
Write-ing Applications: Design of an Extensible Text Editor as an Application Framework
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...
Clemens A. Szyperski
ESOP
2010
Springer
16 years 4 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
ECOOP
2010
Springer
16 years 3 days 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