Alexander Fronk  Home/Search
Context Related
| ls10www.cs.unido...k_SWTMemo129.pdf ls10www.cs.unidortmund.d...AlgSem.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ls10www.cs.uni...blikationsliste (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Studying the semantics of programming languages has a long tradition in computer science. (Update)
Context of citations to this paper: More
...and inheritance, these concepts are employed to structure code object oriently. The reader is referred to [Fronk, 2001] and [Fronk, 2002a] for more details on DoDL. A hyperlink structure like that of the cockpit discussed above can be implemented in DoDL as shown in...
Cited by: More
Towards the Algebraic Analysis of Hyperlink Structures - Fronk (2003) (Correct)
On the Design, Specification, and Implementation of Hyperdocuments .. - Fronk (Correct)
An Object-Oriented Approach to Design, Specification, and.. - Fronk (2002) (Correct)
Similar documents (at the sentence level):
9.7%: Algebraic Semantics of Object-Oriented Languages - Fronk (Correct)
Active bibliography (related documents): More All
2.2: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.5: Global Development via Local Observational Construction Steps - Bidoit, Sannella, Tarlecki (2002) (Correct)
0.5: Modular Formal Frameworks for Module Systems - Ancona (1998) (Correct)
Similar documents based on text: More All
0.3: Pipes and Filters: Modelling a Software Architecture Through.. - Doberkat (2002) (Correct)
0.2: Lineales: Algebraic Models of Linear Logic from a Categorical.. - de Paiva (Correct)
0.2: Algebraic semantics of ER-models in the context of the.. - Doberkat, Omodeo (2001) (Correct)
Related documents from co-citation: More All
3: A Language for Specifying Hyperdocuments - Doberkat - 1996
3: Algebraic specifications (context) - Wirsing - 1990
2: Der DoDL-Compiler (context) - Fronk, Pleumann - 1999
BibTeX entry: (Update)
Fronk, A. (2002a). An approach to algebraic semantics of objectoriented languages. Memorandum 128, Lehrstuhl Software-Technologie, Fachbereich Informatik, Universitat Dortmund. http://citeseer.ist.psu.edu/fronk02approach.html More
@misc{ fronk-approach,
author = "A. Fronk",
title = "An approach to algebraic semantics of objectoriented languages",
text = "Fronk, A. (2002a). An approach to algebraic semantics of objectoriented
languages. Memorandum 128, Lehrstuhl Software-Technologie, Fachbereich Informatik,
Universitat Dortmund.",
url = "citeseer.ist.psu.edu/fronk02approach.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1997
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1995
388 On understanding types (context) - Cardelli, Wegner - 1985
224 Algebraic specifications (context) - Wirsing - 1990
221 Denotational Semantics - A Methodology for Language Developm.. (context) - Schmidt - 1988
134 A Theory of Objects (context) - Abadi, Cardelli - 1996
100 Object-Oriented Programming in the BETA Programming Language (context) - Madsen, Moeller-Redersen et al. - 1993
93 Towards an algebraic semantics for the object paradigm - Goguen, Diaconescu - 1992
84 The Denotational Description of Programming Languages (context) - Gordon - 1979
82 Principles of OBJ (context) - Goguen, Futatsugi et al. - 1985
70 volume 6 of EATCS Monographs on Theoretical Computer Science (context) - Ehrig, Mahr et al. - 1985
64 programming language (context) - Gurevich, Huggins et al. - 1992
54 Cofi: The common framework initiative for algebraic specific.. - Mosses - 1997
40 Evolving algebras: An attempt to discover semantics - Gurevich - 1991
38 Concepts of programming languages (context) - Sebesta - 1989
38 Algebraische Spezifikation abstrakter Datentypen (context) - Ehrich, Gogolla et al. - 1989
37 Algebraic Specification Techniques in Object Oriented Progra.. (context) - Breu - 1991
35 a specification language (context) - Burstall, Goguen et al. - 1979
21 Type substitution for object-oriented programming - Palsberg, Schwartzbach - 1990
14 The use of sorts in algebraic specifications - Mosses - 1993
13 Object specification - Ehrich - 1999
12 Algebraic specification languages: An overview (context) - Wirsing - 1995
11 On hierarchies of abstract data types (context) - Wirsing, Pepper et al. - 1983
11 A practical introduction to denotational semantics (context) - Allison - 1986
11 A language for specifying hyperdocuments - Doberkat - 1996
9 Entities: An institution for dynamic systems - Reggio - 1991
8 An algebraic semantics for the object specification language.. - Gogolla, Herzig - 1995
7 and Correctness Notions of ACT TWO: An Algebraic Module Spec.. (context) - Fey, Concepts et al. - 1988
7 Plugging data constructs into paradigm-specific languages: T.. - Astesiano, Cerioli et al. - 2000
7 From total equational to partial first-order logic - Cerioli, Mossakowski et al. - 1999
5 An algebraic definition for control structures (context) - Cousineau - 1980
5 Semantic constructions in the specification language Glider - Clerici, Jimenez et al. - 1994
5 ACM Transactions on Programming Languages and Systems (context) - Broy, Wirsing et al. - 1987
5 Sample swinging types (context) - Padawitz - 2001
5 Refinement and implementation (context) - Ehrig, Kreowski - 1999
4 Using logic for the specification of hypermedia documents (context) - Doberkat - 1998
4 ACM Transactions on Programming Languages and Systems (context) - Williams, development et al. - 1982
4 Structuring and modularity - Orejas - 1999
4 Algebraische Semantik einer objektorientierten Sprache zur S.. (context) - Fronk - 2002
4 Semantic analysis of virtual classes and nested classes (context) - Madsen - 1999
3 Sort inheritance for order-sorted equational presentations - Hintermeier, Kirchner et al. - 1995
3 Algebraic preliminaries (context) - Sanella, Tarlecki - 1999
3 The specification language GSBL (context) - Clerici, Orejas - 1991
2 Objektorientiertes Modellieren und Entwerfen (context) - Rumbaugh, Blaha et al. - 1993
2 Specification semantics (context) - Reichel - 1999
2 Algebraic definition of a functional programming language (context) - Broy, Wirsing - 1982
2 Dynamical behavior of object systems (context) - Parisi-Presicce, Pierantonio - 1995
2 Swinging UML: How to make class diagrams and state machines .. - Padawitz - 2000
2 Lehrstuhl fr Software-Technologie (context) - Fronk, Pleumann et al. - 1999
1 Structured inheritance for algebraic class specifications (context) - Parisi-Presicce, Pierantonio - 1994
1 Overloading and inheritance (context) - Wagner - 1994
1 and types in algebra - a survey of sorts (context) - Poigne, existence - 1994
1 uhrung in die objektorientierte Programmierung in BETA (context) - Doberkat, Dissmann - 1996
1 A specification language for object-oriented analysis and de.. (context) - Briggs, Werth - 1994
1 Towards object-oriented algebraic specifications (context) - Grosse-Rhode - 1991
1 The role of formal specifications (context) - Gaudel, Bernot - 1999
1 ACM Transactions on Software Engineering and Methodology (context) - Parisi-Presicce, Pierantonio et al. - 1994
Documents on the same site (http://ls10-www.cs.uni-dortmund.de/~fronk/Publikationen/Publikationsliste.html): More
Manipulation of 3-dimensional Visualizations of Java Class.. - Alfert, Fronk (2002) (Correct)
Towards the Algebraic Analysis of Hyperlink Structures - Fronk (2002) (Correct)
An Object-Oriented Approach to Design, Specification, and.. - Fronk (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC