Sciweavers

1665 search results - page 101 / 333
» Design Patterns as Language Constructs
Sort
View

Book
246views
17 years 20 days ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 6 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
104
Voted
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 7 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki
112
Voted
ECOOP
1992
Springer
15 years 6 months ago
Import is Not Inheritance - Why We Need Both: Modules and Classes
The design of many popular object-oriented languages like Smalltalk, Eiffel, or Sather follows a certain trend: The class is the only structuring form. In this paper, the need for ...
Clemens A. Szyperski
CAISE
2001
Springer
15 years 7 months ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...