77 citations found. Retrieving documents...
Jensen, K., Wirth, N., PASCAL User Manual and Report, Springer 1978.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

The ADAMS Database Language - John Pfaltz James (1989)   (1 citation)  (Correct)

....To fully exploit the potential of tightly coupled parallel processing, one needs a language that encourages parallel database access and processing. 4) Finally, we note the awkward status of read write statements in traditional programming languages. In many languages, such as Algol and Pascal [JeW75], they are a kind of stepchild which is explicitly disavowed by the parent language In others, only inherently sequential stream I O is supported. None, with the possible exception of persistent Pascal [BuA86, CAD87] employ a computational model in which the process is coequal with a permanent ....

K. Jensen and N. Wirth, Pascal: User Manual and Report, Springer-Verlag, New York, 1975.


Cell: A Distributed Computing Modularization Concept - Silberschatz (1983)   (1 citation)  (Correct)

....A distributed program consists of a finite number of modules, called cells, that are executed concurrently. In this section we present the basic structure of the cell construct. Since we are not interested in presenting a complete language we illustrate our concepts using a Pascal like notation [9]. Thus a distributed program may be viewed as a program written in a Pascal based language augmented by the cell construct. The cell module has the following form2: identifier : cell [ permanent parameters ] declaration ] begin statement end. A cell can only access its ow. n variables; ....

K. Jensen and N. Wirth, Pascal User Manual and Report, Springer-Verlag, 1976.


A Critique of Standard ML - Appel (1992)   (21 citations)  (Correct)

....Complete formal definition The programming language Pascal was an advance in language design, and became very popular, for several reasons. It supported clean and useful control structures and data structures. It is a small enough language, and was specified precisely enough (in informal prose) [16] that people could understand what Pascal programs should do. But Pascal still has ambiguities and insecurities [46] That is, the language definition is ambiguous about the meaning of certain constructs (and different compilers give different results on the same program) and the language is ....

Kathleen Jensen and Niklaus Wirth. Pascal: User Manual and Report. Springer-Verlag, New York, 1974. 22


Method Mixins - Ernst   (Correct)

....exible communication topologies in a new way, namely in method mixins. Variables and related concepts are value carrying entities in the semantics of a language. They may or may not be mutable, and they may or may not have 2 a name. Typical examples would be global variables in C [19] or Pascal [17], static variables in a C [28] class or method, instance variables in a Java [14] object, local variables in a Python [22] method invocation, but also function arguments and return values in Haskell [18] patterns in Beta [23] and structures in SML [24] The ability of all these entities to ....

K. Jensen and N. Wirth. Pascal User Manual and Report. Springer-Verlag, 1978.


Types in Programming Languages - Camarão, Figueiredo, Pimentel   (Correct)

....the mixing of integer expressions with real (floating point) expressions. In these expressions, integer values are converted, when necessary, to their corresponding real values. Another example of subtyping occurs in the case of intervals of discrete types, as in Pascal and Ada (see, for example, JW74] e [Ich79] An interval of a discrete type oe is a subtype of oe. The interest in object oriented programming languages (OOLs) brought more incentive to the study of some aspects related to subtyping. In typed OOLs (as well as in languages which support some form of polymorphism) type checking ....

K. Jensen and N. Wirth. PASCAL User Manual and Report. Springer-Verlag, 1974. Second edition.


Conciseness Of Associative Language Descriptions - Stefano Crespi Reghizzi   (Correct)

....it is usable to express the applicability of expressions either in a actual parameters list or in an instruction. Finally, we consider the variant of CF grammars allowing regular expressions in the right parts of the productions. Most traditional grammars of Pascal, starting from the first one in [6], use CF productions extended with regular expressions (called Extended BNF or EBNF) graphically presented as syntax diagrams. It is known from experience that EBNF descriptions are often smaller than BNF ones. The same approach could be applied to ALD rules too, as originally proposed in [1] ....

K. JENSEN AND N. WIRTH, PASCAL - User manual and report, LNCS, 18, 1974.


Sequence Logos: A New Way to Display Consensus Sequences - Schneider, Stephens (1990)   (29 citations)  (Correct)

....it exists in only a small fraction of the sequences. To avoid being fooled by such cases, they are suppressed by adjusting the height of the stack of letters by the proportion of the data available. Thus the P would be reduced to 10 of its unsuppressed height. Logos were created using the Pascal [14] programs of the Delila system [15, 16] All programs described here are available on various media, including magnetic tape, floppy disk, electronic mail (contact: toms ncifcrf.gov) and internet file transfer protocol (ftp ncifcrf.gov, password: anonymous, in directory pub delila) Information ....

Jensen, K. and Wirth, N. (1975) Pascal User Manual and Report, Springer-Verlag, New York.


An Empirical Evaluation (and Specification) of the.. - Bieman, Schultz (1992)   (1 citation)  (Correct)

....representation. Because our empirical study is based on a formal specification, the research can be repeated by others. Note that the StandardRep can be used to specify a number of useful software structural measures. We utilize a tool [21] that generates a StandardRep from an ISO Standard Pascal [22] program. The output routines of the generator are modified to produce a Prolog data base for each program unit. Each data base represents an augmented flowgraph in which the nodes and edges are included, along with the variables which are defined and used in each node. A Prolog program estimates ....

K. Jensen and N. Wirth. Pascal User Manual and Report. Springer-Verlag, New York, 3rd edition, 1985.


What's in a Name? - Ernst (2001)   (Correct)

....a given method on an instance of a given class, and it improves program comprehension, because the method implementation is known statically for each class. 2.1 Non Identification The oldest and simplest approach to declaration identification is to avoid it. In languages such as C [7] and Pascal [5] there are no mechanisms to compose entities such as Pascal records or C structs and thereby bring declarations together in the same context. Within one declaration block (e.g. the body of a struct) declared names must be distinct. Similarly, functions and procedures declared at the same level ....

K. Jensen and N. Wirth. Pascal User Manual and Report. Springer-Verlag, 1978.


Data Structures And Concepts For Adaptive Finite Element Methods - Leinen (1995)   (11 citations)  (Correct)

....do not utilize any artificial ordering of these geometric items, represented by arrays, for example. Constructions like records and pointers are supported by modern programming languages like C, Pascal or Modula and also by the new Fortran 90. Our presentation is based on Pascal, as described in [28]; we will make extensive use of the structure record and the with statement. We start with the definition of a point. All information belonging to a given vertex of the triangulation is stored in a record of type point. This can be geometrical information such as the co ordinates, numerical ....

K. Jensen and N. Wirth. Pascal user manual and report. Springer, Berlin, Heidelberg, New York, 1985.


Concepts and Realization of a Diagram Editor Generator Based on.. - Minas (2001)   (2 citations)  (Correct)

....languages. 4 Context free hypergraph grammars with embeddings are more expressive than context free ones. They additionally allow 4 Actually, the only diagram languages that we know about and which can be described by context free grammars are Nassi Shneiderman diagrams [15] syntax diagrams [16] and flowcharts as used in this paper. 13 a b a b a b a b a b a b a b a b a b a b a b a b : BlockSeq Block Conn BlockSeq Block Flowchart begin BlockSeq end Block condition Conn Conn BlockSeq BlockSeq statement condition BlockSeq Conn ....

....prototyping of diagram editors and does not restrict the class of diagram languages which it can be applied to. This has been demonstrated by several diagram languages for which diagram editors have already been generated, 22 e.g. flowcharts, Nassi Shneiderman diagrams [19] syntax diagrams [16], a visual # calculus [25] ladder diagrams [26] MSC [17] UML class diagrams, signal interpreted Petri nets and SFC diagrams [27] The approach which has been presented in this paper appears to be quite similar to the approach of Rekers and Schurr [5] which has already been outlined in Section ....

K. Jensen, N. Wirth, Pascal User Manual and Report, 2nd Edition, Springer, 1975.


Functional Encapsulation and Type Reconstruction in a.. - Gupta (1995)   (2 citations)  (Correct)

....make vector in Example 4.5 and map list in Example 4.15) to be pushed into system libraries rather than being implemented within the compiler as primitives. On the other hand, it provides a tool 6 This is also true in Pascal and Fortran even though Pascal allows internal function declarations [JW75] This is because in all these languages functions are never passed outside the scope of their definitions. 100 for the end user to design arbitrary new functional data structures more efficiently using imperative kernel constructs and then safely close them (e.g. histogram in Example 2.16 and ....

Kathleen Jensen and Niklaus Wirth. PASCAL User Manual and Report. SpringerVerlag, 1975.


The Architecture of the EXODUS Extensible DBMS - Carey (1986)   (70 citations)  (Correct)

....E language is a derivative of C [Kern78] with the addition of a set of programming constructs carefully chosen to provide high leverage to the DBI. A number of these constructs were inspired by developments in programming languages over the last 10 years, most notably, from CLU [Lisk77] and Pascal [Jens75]. Its major features include the ability to bind a pointer variable to an object in a file, and to declare abstract data types in the spirit of CLU clusters. Program structure is fully modular, with separate compilation possible for all modules (including parameterized modules, which have a ....

Jensen, K., and Wirth, N., Pascal: User Manual and Report, Springer-Verlag, New York, 1975.


Reading of DNA Sequence Logos: Prediction of Major Groove.. - Schneider (1999)   (Correct)

....bound to OxyR are given elsewhere[9] Programs and Data Information analysis and the sequence logo technique were performed as described previously [5, 10, 11] A primer on information theory is available on the internet at ftp: ftp.ncifcrf.gov pub delila primer.ps. Programs (written in Pascal[12]) and data are available by anonymous ftp from ftp: ftp.ncifcrf.gov pub delila or via the World Wide Web site http: www lmmb.ncifcrf.gov toms . The programs for constructing sequence logos and performing other tasks were used in approximately this order: dbbk.p: convert GenBank to Delila ....

K. Jensen and N. Wirth, \Pascal User Manual and Report." SpringerVerlag, New York, 1975.


Vector Pascal - Paul Cockshott And   (Correct)

No context found.

Jensen, K., Wirth, N., PASCAL User Manual and Report, Springer 1978.


Curriculum and Course Syllabi for a High-School Program in.. - Gal-Ezer, Harel   (Correct)

No context found.

Wirth, N., and K. Jensen, Pascal: User Manual and Report, 3rd Edition, Springer-Verlag, 1988.


PL-Detective: A System for Teaching Programming Language.. - Diwan, Waite, Jackson   (Correct)

No context found.

Kathleen Jensen and Niklaus Wirth. PASCAL - User Manual and Report. Springer Verlag, 1991. ISBN 0-387-97649-3.


PL-Detective: A System for Teaching Programming - Language Concepts Amer   (Correct)

No context found.

Kathleen Jensen and Niklaus Wirth. PASCAL - User Manual and Report. Springer Verlag, 1991. ISBN 0-387-97649-3.


Modularity Meets Inheritance - Gilad Bracha Gary (1991)   (66 citations)  (Correct)

No context found.

Jensen, K., and Wirth, N. Pascal User Manual and Report, second ed. SpringerVerlag, 1978.


Using Syntax to Improve Word Prediction in a Programming.. - Sanders, Russell (2004)   (Correct)

No context found.

K. Jensen and N. Wirth. PASCAL: User Manual and Report. Springer-Verlag, Berlin, second edition, 1978.


Unknown -   (Correct)

No context found.

Wirth, N. & Jensen, K. (1974) PASCAL - User Manual and Report, Springer-Verlag


PL-Detective: A System for Teaching Programming Language.. - Diwan, Waite, Jackson   (Correct)

No context found.

Kathleen Jensen and Niklaus Wirth. PASCAL - User Manual and Report. Springer Verlag, 1991. ISBN 0-387-97649-3.


A New Language for Multicomputer Programming - Carrasco (1992)   (1 citation)  (Correct)

No context found.

Jensen K. and Wirth, N. Pascal User Manual and Report. Springer-Verlag, 1975.


ALADIN: A Scanner Generator for Incremental Programming.. - Fischer, Hammer.. (1992)   (4 citations)  (Correct)

No context found.

K. Jensen, and N. Wirth, Pascal User Manual and Report, 3rd edn, Springer, New York, 1985.


InterProcedural Alias Analysis: Implementation and Empirical.. - Mayer, Wolfe (1993)   (5 citations)  (Correct)

No context found.

K. Jensen and N. Wirth, Pascal User Manual And Report, Second Edition, Springer-Verlag, New York, Heidelberg, Berlin, 1974.

First 50 documents  Next 50

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