33 search results - page 5 / 7 » KeY: A Formal Method for Object-Oriented Systems |
88
Voted
ECOOP
2012
Springer
13 years 2 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
111
click to vote
JUCS
2002
14 years 11 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
RSP
2003
IEEE
15 years 4 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...
91
Voted
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...