作者: uveitis 時(shí)間: 2025-3-21 22:32
Description of Parameterized Compiler Modulesechniques for syntactic analysis. Compiler descriptions in form of attribute grammars are, like denotational semantics definitions in the sense of Scott and Strachey, monolithic and do not encourage modularization. Compiler descriptions, like any other specification of complex program systems, are n作者: hemoglobin 時(shí)間: 2025-3-22 04:17
Static-Scope-LISP: Zerlegung Eines Interpretierers in übersetzer und Laufzeitsystemruktion auftretenden Schwierigkeiten haben verschiedene prinzipielle Untersuchungen ausgel?st, so da? der übersetzerbau zunehmend auch die Aufmerksamkeit der mehr theoretisch durchdrungenen Nachbargebiete auf sich zieht. Man ist seit langem bemüht, die traditionelle per-Hand-Konstruktion von überset作者: Oligarchy 時(shí)間: 2025-3-22 05:57
Programs as Transformations of Algebraic Theories (Extended Abstract)ograms computing on abstractly specified data types have been studied. At least two different types of theories have emerged. Approaches of the first type view programming language ., such as assignment or if-then-else, as operators of algebras that contain as a sub-algebra the data types on which t作者: Palpitation 時(shí)間: 2025-3-22 09:38 作者: chuckle 時(shí)間: 2025-3-22 12:53
Semantikdefinition im Rahmen Eines Programmiersystemgeneratorsn hierzu resultieren aus der Arbeit am PSG-Projekt (“Programmiersystrmgenerator”) und stellen Teilaspekte einer formalen Sprachdefinition und der aus ihr erzeugten Programmierumgebung dar. Die Semantikbeschreibung ist denotational unter Berücksichtigung von Strukturierungshilfsmitteln. Fragmente wer作者: chuckle 時(shí)間: 2025-3-22 20:38 作者: 擁擠前 時(shí)間: 2025-3-22 22:47
Hoare-Style Proof Systems and Formal Computationsems can help to construct correct programs. One possible answer is provided by observing that efforts to find sound and complete Hoare-style proof systems can be considered as efforts to understand the formal computations of the considered programs. Stated in general terms this observation may seem 作者: Ganglion-Cyst 時(shí)間: 2025-3-23 01:26 作者: 手銬 時(shí)間: 2025-3-23 09:34 作者: 混合 時(shí)間: 2025-3-23 10:59
GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)proved to be a powerful and flexible tool for the formal definition of data structures. Algebraic concepts have also been employed for the specification of programming language semantics, e.g. first-order identities (/Wand 77/) or continuous algebras (/Courcelle, Nivat 78/, /Goguen et al. 77/). In c作者: 無(wú)可非議 時(shí)間: 2025-3-23 14:43 作者: 擁擠前 時(shí)間: 2025-3-23 19:52 作者: 果仁 時(shí)間: 2025-3-24 00:08
Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualit?t von Software-Produktenise im Entwicklungs- und Wartungsprozess. Insofern ist die Bewertung der Qualit?t von Software-Produkten einerseits eine Aufgabe, die in den Software-Entwicklungsproze? integriert ist und sowohl die einzelnen Zwischen/Endprodukte als auch den Erstellungsproze? betrifft. Darüber hinaus ist die Bewert作者: acrobat 時(shí)間: 2025-3-24 06:03
Der Einflu? von Strukturierungsmethoden der Anwendungsprogrammierung auf die Durchlaufzeit von Progrgramme, die beispielsweise viele GOTO-Anweisungen aufweisen und nicht modularisiert wurden, in der Programmausführung schneller sind als Programme, die den Regeln der strukturierten Programmierung gehorchen. Dies soll auch der Grund dafür sein, da? sich strukturierte Entwurfsmethoden bisher in der A作者: 食草 時(shí)間: 2025-3-24 07:42 作者: Analogy 時(shí)間: 2025-3-24 13:42
Eine Metrik zur Bewertung der Modularisierungermodularen Strukturen werden aufgrund von Kenngr??en eines Schichtenmodells und ihres Export-/Importverhaltens bewertet. Die intramodulare Architektur wird mit einer Baumstruktur verglichen. Abschlie?end werden beide Teile an einem Beispiel verdeutlicht.作者: Bucket 時(shí)間: 2025-3-24 17:56
https://doi.org/10.1007/978-3-642-47618-1tt and Strachey, monolithic and do not encourage modularization. Compiler descriptions, like any other specification of complex program systems, are nontrivial to write and reliability and modifiability can be achieved only through adequate structuring mechanisms.作者: Hyperlipidemia 時(shí)間: 2025-3-24 19:50 作者: 詞匯表 時(shí)間: 2025-3-25 00:32
Carl-Otto Ples Leusden,Hans-Bernd Weberihr erzeugten Programmierumgebung dar. Die Semantikbeschreibung ist denotational unter Berücksichtigung von Strukturierungshilfsmitteln. Fragmente werden durch einen Lambda-Interpretierer ausgeführt, der zur Interpretation unvollst?ndiger Terme erweitert wurde.作者: hedonic 時(shí)間: 2025-3-25 05:53 作者: 隱士 時(shí)間: 2025-3-25 09:11
https://doi.org/10.1007/978-3-662-29602-8ethode geht von einer . Sprachbeschreibung aus und verdient in jüngerer Zeit mehr und mehr Interesse (vgl. u.a.: L.A. Lombardi + B. Raphael [6]; L. Beckman + A. Haraldson + ?. Oskarsson + E. Sandewall [1]; A.P. Ershov [2,3]; H. Kr?ger [4,5]).作者: indoctrinate 時(shí)間: 2025-3-25 14:21 作者: 否決 時(shí)間: 2025-3-25 17:00
,Weltberühmt durch einen Irrtum?,ve well as a starting point for rederivation, it appears profitable to look for conditions where passes of many transformations may be performed without recalculating flow information each time a transformation rule is applied.作者: 雀斑 時(shí)間: 2025-3-25 19:57
https://doi.org/10.1007/978-3-662-24863-8ber hinaus werden einige Testma?e aufgeführt, die den Grad der Testüberdeckung angeben. Weitere Arbeiten zur Quantifizierung sind aber erforderlich, insbesondere um einen integrierten Ansatz zu einer Gesamtaussage zu erhalten.作者: Debate 時(shí)間: 2025-3-26 01:44 作者: obstinate 時(shí)間: 2025-3-26 06:56
https://doi.org/10.1007/978-3-662-34464-4terschiedlich gewichten zu k?nnen, wurden mehrere Komplexit?tsma?e entwickelt, die es erm?glichen, eine Software-Struktur zu “vermessen”..Anhand mehrerer Systeme, die nach den gleichen Konstruktionsprinzipien entworfen wurden, werden mehrere berechnete Komplexit?tsma?e angegeben und ihre Aussagekraft diskutiert.作者: Yag-Capsulotomy 時(shí)間: 2025-3-26 09:52 作者: CRANK 時(shí)間: 2025-3-26 14:37 作者: ornithology 時(shí)間: 2025-3-26 18:54 作者: 小丑 時(shí)間: 2025-3-27 01:02
Quantitative Ans?tze zur Bestimmung der Komplexit?t von Software-Systementerschiedlich gewichten zu k?nnen, wurden mehrere Komplexit?tsma?e entwickelt, die es erm?glichen, eine Software-Struktur zu “vermessen”..Anhand mehrerer Systeme, die nach den gleichen Konstruktionsprinzipien entworfen wurden, werden mehrere berechnete Komplexit?tsma?e angegeben und ihre Aussagekraft diskutiert.作者: 高射炮 時(shí)間: 2025-3-27 03:49
https://doi.org/10.1007/978-3-662-31525-5nguage by the axioms of an algebraic type without resorting to (the isomorphism class of) a fixed model. This approach is characterized by the following peculiarities (cf. /Wirsing et al. 80/, /Broy, Wirsing 80c/):作者: CIS 時(shí)間: 2025-3-27 09:21
https://doi.org/10.1007/978-3-642-99517-0 Angaben für die Bewertung der Qualit?t wird auf die für unterschiedliche Zwecke und Zeitpunkte relevanten Informationen, die Eingangsgr??en m?glicher Qualit?tsma?e sind, eingegangen. Zudem werden die M?glichkeiten der Anwendung von Qualit?tsma?en sowie deren Grenzen aufgezeigt.作者: triptans 時(shí)間: 2025-3-27 12:10
GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)nguage by the axioms of an algebraic type without resorting to (the isomorphism class of) a fixed model. This approach is characterized by the following peculiarities (cf. /Wirsing et al. 80/, /Broy, Wirsing 80c/):作者: Mindfulness 時(shí)間: 2025-3-27 16:37 作者: 異端邪說(shuō)2 時(shí)間: 2025-3-27 18:51
Description of Parameterized Compiler Modulestt and Strachey, monolithic and do not encourage modularization. Compiler descriptions, like any other specification of complex program systems, are nontrivial to write and reliability and modifiability can be achieved only through adequate structuring mechanisms.作者: Limpid 時(shí)間: 2025-3-28 01:41
Relating Uniform and Nonuniform Models of Computationhe term definition inside a program, called calculation function, and show that exactly the recursive functions have recursive term definitions which can be realized as calculation functions. We give the examples of matrix multiplication and binary search to prove our concepts appropriate.作者: Invigorate 時(shí)間: 2025-3-28 03:55 作者: 針葉 時(shí)間: 2025-3-28 08:56
Hoare-Style Proof Systems and Formal Computationstems can be considered as efforts to understand the formal computations of the considered programs. Stated in general terms this observation may seem quite obvious, but it is quite another matter to see what “understanding the formal computations” means for particular classes of programs.作者: 哀求 時(shí)間: 2025-3-28 12:19
https://doi.org/10.1007/978-3-322-95371-1ras. The second class of approaches is concerned with programs as implementations of abstractly specified data types. Programs are viewed as data type specifications that extend the base type by the . (variables, functions, types) it computes [ADJ78a], [Ehr79], [EKP80], [Hup80], [Gan81], among other作者: 繁忙 時(shí)間: 2025-3-28 15:30
Programs as Transformations of Algebraic Theories (Extended Abstract)ras. The second class of approaches is concerned with programs as implementations of abstractly specified data types. Programs are viewed as data type specifications that extend the base type by the . (variables, functions, types) it computes [ADJ78a], [Ehr79], [EKP80], [Hup80], [Gan81], among other作者: 即席演說(shuō) 時(shí)間: 2025-3-28 22:24 作者: photophobia 時(shí)間: 2025-3-29 01:50
978-3-540-10884-9Springer-Verlag Berlin Heidelberg 1981作者: GRAVE 時(shí)間: 2025-3-29 05:38 作者: Foam-Cells 時(shí)間: 2025-3-29 07:50 作者: 山間窄路 時(shí)間: 2025-3-29 15:15 作者: 控訴 時(shí)間: 2025-3-29 16:45
https://doi.org/10.1007/978-3-663-05132-9A DP program consists of a fixed number of concurrent and persistent processes, that are started simultaneously. We assume the processes as being numbered, hence the program is denoted as (P. ||... || P.), n≥ 2. A process does not contain parallel statements, nor shared variables. The syntax of a process is as follows:作者: 吹牛大王 時(shí)間: 2025-3-29 20:29
Semantics of Distributed Processes Derived by TranslationThe aim of this paper is to show a technique for getting an operational semantics for the language of Distributed Processes(DP) introduced in /BH/, by means of a translation into the language of behaviour expressions in CCS, the Calculus of Communicating Systems developed in /M/.作者: 膽汁 時(shí)間: 2025-3-30 00:41
A Proof System for Brinch Hansen’s Distributed ProcessesA DP program consists of a fixed number of concurrent and persistent processes, that are started simultaneously. We assume the processes as being numbered, hence the program is denoted as (P. ||... || P.), n≥ 2. A process does not contain parallel statements, nor shared variables. The syntax of a process is as follows:作者: 閑蕩 時(shí)間: 2025-3-30 07:56
,Weltberühmt durch einen Irrtum?, method of abstract interpretation within various data flow analysis frameworks. Each transformation, as it changes the program, may render the flow information derived for the original program suboptimal or even invalid with respect to the new program. Although the outdated flow information may ser作者: 固定某物 時(shí)間: 2025-3-30 10:49 作者: 雪上輕舟飛過(guò) 時(shí)間: 2025-3-30 13:12 作者: Celiac-Plexus 時(shí)間: 2025-3-30 17:24
https://doi.org/10.1007/978-3-322-95371-1ograms computing on abstractly specified data types have been studied. At least two different types of theories have emerged. Approaches of the first type view programming language ., such as assignment or if-then-else, as operators of algebras that contain as a sub-algebra the data types on which t作者: 騷動(dòng) 時(shí)間: 2025-3-31 00:00
https://doi.org/10.1007/978-3-662-32646-6tions over arbitrary data structures. Nonuniform models are represented by “term definitions” which describe functions by families of terms. We find the term definition inside a program, called calculation function, and show that exactly the recursive functions have recursive term definitions which 作者: 辭職 時(shí)間: 2025-3-31 04:42 作者: 跳脫衣舞的人 時(shí)間: 2025-3-31 05:48
https://doi.org/10.1007/978-3-663-07347-5 META IV vorliegen, wird eine geneinsame, maschinenunabh?ngige Zwischensprache für die übersetzung dieser Sprachen hergeleitet. In dieser Sprache werden die Programme als abstrakte Syntaxb?ume dargestellt. Aus den Semantikbeschreibungen ergibt sich auch eine formale Spezifikation für die übersetzung作者: chalice 時(shí)間: 2025-3-31 10:22 作者: 旅行路線 時(shí)間: 2025-3-31 13:37
über die Erziehung gesunder Kinderishable in all program logics HL(Σ’,E) for Σ’ .; Σ. A . is that for each refinement (Σ’,E’) of (Σ,E) another refinement (Σ*,E*) of (Σ’ ,E’) exists such that S. and S. cannot be distinguished in HL(Σ*,E*).作者: appall 時(shí)間: 2025-3-31 17:47 作者: left-ventricle 時(shí)間: 2025-3-31 22:55
https://doi.org/10.1007/978-3-662-31525-5proved to be a powerful and flexible tool for the formal definition of data structures. Algebraic concepts have also been employed for the specification of programming language semantics, e.g. first-order identities (/Wand 77/) or continuous algebras (/Courcelle, Nivat 78/, /Goguen et al. 77/). In c作者: 憲法沒(méi)有 時(shí)間: 2025-4-1 05:11
https://doi.org/10.1007/978-3-662-29600-4nal and denotational semantics using greatest fixpoints and metric interpretations. The objective of this paper is to demonstrate that this result may be achieved using the standard least fixpoint approach.作者: facetious 時(shí)間: 2025-4-1 08:11
https://doi.org/10.1007/978-3-662-24863-8en lassen sich keine quantitativen, sondern h?chstens relative Aussagen machen. Es wird auf verschiedene Komplexit?tsma?e eingegangen, die eine Quantifizierung zulassen. Ebenso gibt es Zuverl?ssigkeitsmodelle, die Aussagen über die Fehleranzahl bzw. die Fehlerauftrittswahrscheinlichkeit machen. Darü作者: Iatrogenic 時(shí)間: 2025-4-1 12:20 作者: 波動(dòng) 時(shí)間: 2025-4-1 14:49
https://doi.org/10.1007/978-3-658-25388-2gramme, die beispielsweise viele GOTO-Anweisungen aufweisen und nicht modularisiert wurden, in der Programmausführung schneller sind als Programme, die den Regeln der strukturierten Programmierung gehorchen. Dies soll auch der Grund dafür sein, da? sich strukturierte Entwurfsmethoden bisher in der A作者: 無(wú)法治愈 時(shí)間: 2025-4-1 19:21 作者: 果仁 時(shí)間: 2025-4-2 01:48
