Sciweavers

10575 search results - page 353 / 2115
» Programming Languages
Sort
View
PLDI
2009
ACM
16 years 7 months ago
Program verification using templates over predicate abstraction
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond
Saurabh Srivastava, Sumit Gulwani
OOPSLA
2009
Springer
16 years 1 months ago
Language factories
Programming languages are the primary mechanism by which software is created, yet most of us have access to only a few, fixed, programming languages. Any problem we wish to expre...
Tony Clark, Laurence Tratt
ECOOP
1998
Springer
15 years 11 months ago
Implementing Layered Designs with Mixin Layers
Mixin layers are a technique for implementing layered object-oriented (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scale...
Yannis Smaragdakis, Don S. Batory
DDEP
2000
Springer
15 years 11 months ago
A Link-Oriented Comparison of Hyperdocuments and Programs
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
Heather Brown, Peter J. Brown, Les Carr, Wendy Hal...
ECOOPW
1997
Springer
15 years 11 months ago
Design Patterns vs. Language Design
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
Joseph Gil, David H. Lorenz