Restrict to: Header Title Order by: Expected citations Hubs Usage Date Try: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
364 documents found. Only retrieving 250 documents (System busy - maximum reduced).
Order: number of citations.
Dynamic Typing in Polymorphic Languages - Abadi, Cardelli, Pierce.. (1994)
(Correct) (259 citations)
[15]Cedar/Mesa [13]Amber [4]Modula-2 20]Oberon [23]and Modula-3 [8]These constructs have
September 1990. 23] Niklaus Wirth. From Modula to Oberon and the programming language Oberon. Technical
From Modula to Oberon and the programming language Oberon. Technical Report 82, Institut fur Informatik,
research.microsoft.com/Users/luca/Papers/PolyDyn.ps
Making the future safe for the past: Adding.. - Bracha, Odersky.. (1998)
(Correct) (172 citations)
do the collection classes introduced in JDK 1.2. Oberon also relies on the generic idiom, and dynamically
Clemens Szyperski proposed adding generics to Oberon [RS97]Strongtalk [BG93] layers a type system
Pizza and in a proposal to add parametric types to Oberon [RS97]There are a number of other proposals
www.cs.bell-labs.com/who/wadler/topics/../papers/gj-oopsla/gj-oopsla-letter.ps.gz
Adaptive Plug-and-Play Components for Evolutionary Software .. - Mezini, Lieberherr (1998)
(Correct) (65 citations)
are "too small" while packagelike modules `a la Oberon-2 [32] are "too big" program building blocks. The
Jan. 1993. 32] N. Wirth and J. Gutknecht. The Oberon System. In Software-Practice and Experience,
www.ccs.neu.edu/home/mira/PUBL/APPC.ps.gz
Towards a Method of Object-Oriented Concurrent Programming - Caromel
(Correct) (63 citations)
as in structured languages (for instance Clu [18]Oberon [23]In object-oriented programming it
1987. 23] Wirth, N. The programming Language Oberon"Software-Practice &Experiences, V18.7, 1988.
www.inria.fr/oasis/Denis.Caromel/ps/towards.ps
A Key Recovery Attack on Discrete Log-based Schemes Using a.. - Lim, Lee (1997)
(Correct) (36 citations)
(POSTECH) Pohang, 790-784, KOREA E-mail: chlim@oberon.postech.ac.kr pjl@postech.ac.kr February 6,
wooly.postech.ac.kr/library/papers/chlim/publications/crypto97.ps
Import is Not Inheritance - Why We Need Both: Modules and Classes - Szyperski (1992)
(Correct) (33 citations)
in the implementation part. Other languages (e.g. Oberon [Wir88b]use a single textual section to define
thus combining two separate concepts into one. Oberon [Wir88b]a successor of Modula-2, on the other
module and type well separated and orthogonal. In Oberon-2 [MW91] a step has been taken that is close to
sky.fit.qut.edu.au/~szypersk/pub/ECOOP92.ps.gz
The Modula-3 Type System - Cardelli, Donahue, Jordan, Kalsow.. (1989)
(Correct) (31 citations)
It also resembles its cousins Object Pascal [13]Oberon [15]and Euclid [6]Since these languages
danger, Modula-3 follows Cedar, Modula-2and Oberon by automatically freeing unreachable records.
first introduced by Simula [2] and adopted in Oberon and Object Pascal are more general than variant
research.microsoft.com/Users/luca/Papers/Modula3TypeSystem.A4.ps
Class Refinement and Interface Refinement in.. - Mikhajlova, Sekerinski (1997)
(Correct) (25 citations)
Naumann [22] defines the semantics of a simple Oberon-like programming language with similar
A. Naumann. Predicate transformer semantics of an Oberon-like language. In Ernst-R. Olderog, editor,
www.abo.fi/~amikhajl/Papers/FMEpaper.ps.gz
Class Refinement and Interface Refinement in.. - Mikhajlova, Sekerinski (1997)
(Correct) (25 citations)
Naumann [17] defines the semantics of a simple Oberon-like programming language, with similar
D.A.Naumann. Predicate Transformer Semantics of an Oberon-Like Language. In Ernst-R. Olderog, editor,
www.abo.fi/~amikhajl/Papers/ClassIntRef.ps.gz
Single-Pass Generation of Static Single Assignment Form for .. - Brandis, Mössenböck (1994)
(Correct) (23 citations)
for languages such as Simula[3]Modula-2 [13] or Oberon [14] that lack goto statements at all. If
our algorithm in a compiler for a subset of Oberon (with expressions, assignments, IF, WHILE,
our algorithms in a compiler for a subset of Oberon. Both the generation of SSA form and the
ftp.ssw.uni-linz.ac.at/pub/Papers/SSA.ps.Z
Adaptive Compression of Syntax Trees and Iterative Dynamic Code.. - Franz (1997)
(Correct) (21 citations)
an integrated authoring and execution environment [Oberon] for mobile software components that is based on
mobile software components that is based on the Oberon System [WG89, WG92]and a family of plug-in
that recreate this execution environment so that Oberon-based components can be used within these
www.ics.uci.edu/~franz/pubs-pdf/BC01.pdf
Montages Specifications of Realistic Programming Languages - Kutter, Pierantonio (1997)
(Correct) (21 citations)
BDR94]C [GH93]CWal94]VHDL [BGM95]and Oberon [Kut97]At the risk of oversimplifying somewhat,
case studies. In [KP97] we specify the complete Oberon language in four subsequent refinement steps.
cases we had to cope with in the specification of Oberon. 3.2.2 Semantics As mentioned, lists have a
linux.eecs.umich.edu/groups/Ealgebras/montages.ps.gz
Typing a Multi-Language Intermediate Code - Gordon, Syme (2000)
(Correct) (20 citations)
COBOL, Component Pascal, Eiel, Haskell, Mercury, Oberon, Ocaml, and Standard ML. Type-checking of .NET
www.research.microsoft.com/~adg/Publications/MSR-TR-2000-106.ps
Formal Aspects of and Development Environments for Montages - Anlauff, Kutter, Pierantonio (1997)
(Correct) (15 citations)
such as Prolog [7]Occam [5]C [13]C26]Oberon [17]and VHDL [6]At the risk of
the complete specification of the whole language Oberon can be found. Complex features such as
and we used it for the dynamic semantics of Oberon [16]Although we succeeded due to the excellent
univaq.it/~alfonso/montages/papers/ASF+SDF.ps.gz
Formal Aspects and Development Environments of Montages - Anlauff, Kutter, Pierantonio (1997)
(Correct) (15 citations)
of programming languages such as C [9]C21]Oberon [13]Occam [3]Prolog [5]and VHDL [4]At the
the complete specification of the whole language Oberon can be found. Complex features as encapsulation,
and we used it for the dynamic semantics of Oberon [12]Although we succeeded due to the excellent
www.first.gmd.de/~ma/docs/asf+sdf.ps.gz
Scene: Using Scenario Diagrams and Active Text for.. - Koskimies, Mössenböck (1996)
(Correct) (15 citations)
to these ideas. The implementation was done in Oberon (18]13]using an active text framework
to the created object. Hybrid languages such as Oberon provide modules in addition to classes and
beginning several modules are initialized by the Oberon system as a response to the call of Do. Note that
ftp.ssw.uni-linz.ac.at/pub/Papers/ICSE96.ps.Z
First 20 documents Next 20
Try your query at:
Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC