標(biāo)題: Titlebook: Data Types and Persistence; Malcolm P. Atkinson,Peter Buneman,Ronald Morrison Conference proceedings 1988 Springer-Verlag Berlin Heidelber [打印本頁(yè)] 作者: 全體 時(shí)間: 2025-3-21 19:04
書目名稱Data Types and Persistence影響因子(影響力)
書目名稱Data Types and Persistence影響因子(影響力)學(xué)科排名
書目名稱Data Types and Persistence網(wǎng)絡(luò)公開度
書目名稱Data Types and Persistence網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Data Types and Persistence被引頻次
書目名稱Data Types and Persistence被引頻次學(xué)科排名
書目名稱Data Types and Persistence年度引用
書目名稱Data Types and Persistence年度引用學(xué)科排名
書目名稱Data Types and Persistence讀者反饋
書目名稱Data Types and Persistence讀者反饋學(xué)科排名
作者: opportune 時(shí)間: 2025-3-21 20:42 作者: 反省 時(shí)間: 2025-3-22 01:16 作者: 欺騙手段 時(shí)間: 2025-3-22 07:04 作者: 無(wú)節(jié)奏 時(shí)間: 2025-3-22 08:44
https://doi.org/10.1007/978-3-031-36027-5The question of addressing mechanisms is at the basis of all implementations of persistent programming. What persistent programming enables us to do is store complex data structures by virtue of being able to preserve referential structure. What I want to look at is what different forms of addressing can be used to support persistence.作者: 調(diào)整校對(duì) 時(shí)間: 2025-3-22 13:24
Types, Bindings and Parameters in a Persistent EnvironmentOur experience of persistent data in PS-algol [ABCCM83] and surveys we have conducted [AB85] [ABCCM81] have led us to identify various requirements on the stores embodied in the design of a programming language. Axiomatic in our approach to language design are:作者: 調(diào)整校對(duì) 時(shí)間: 2025-3-22 17:49 作者: Obloquy 時(shí)間: 2025-3-22 23:12 作者: 不公開 時(shí)間: 2025-3-23 03:23
Data Types and Persistence978-3-642-61556-6Series ISSN 1431-9365 作者: fatty-acids 時(shí)間: 2025-3-23 08:41
Computational Science – ICCS 2023y database systems, the old problems of managing concurrent access and update become even more difficult. This paper will discuss these problems in the context of an integrated persistent environment and develop a flexible programming model to deal with them.作者: hypnotic 時(shí)間: 2025-3-23 13:43
Computational Science – ICCS 2021types, and type-safe exceptions. The ML modules facility [MACQ85] provides the means for organizing ML programs into units, called ... Each structure has a well-defined interface, called its ., that plays a role similar to that of types in the core language. Viewed statically, a program is a hierarc作者: 摘要記錄 時(shí)間: 2025-3-23 17:15
Elie Saad,Marcin Paprzycki,Maria Ganzhaed to store data for long periods of time and make it accessible to different activities. In particular, this requires that a type checker be able to recognize occurrences of the same abstract type during different activations of a program, while at the same time enforcing the privacy of data repres作者: chemical-peel 時(shí)間: 2025-3-23 18:48
Juliet McLeod,Ritajit Majumdar,Sanchari Dassing types as parameters to procedures, and abstract types and parameterised types by returning types as results..Although Poly is not intended specifically as a database programming language it was convenient to implement it in a persistent storage system. This allows the user to retain data struct作者: Axillary 時(shí)間: 2025-3-23 23:43 作者: escalate 時(shí)間: 2025-3-24 04:13
https://doi.org/10.1007/978-3-031-08760-8ome of the motivation behind the design of the type system, and a description of its relationship with other type systems. This is followed by a definition of the relation of ‘generality’ between Ponder types, and of the notion of type-validity of Ponder programs. An algorithm to determine whether a作者: 笨拙的你 時(shí)間: 2025-3-24 08:05 作者: 極大的痛苦 時(shí)間: 2025-3-24 11:11 作者: 環(huán)形 時(shí)間: 2025-3-24 18:40
Julien Klaus,Mark Blacher,Joachim Giesen. I begin by reviewing the various roles played by this concept in the development and maintenance of Information Systems: specification of type information, repository of constraints to be verified, and maintenance of an associated set of objects (the “extent”)..Examples are then given to demonstra作者: 不能和解 時(shí)間: 2025-3-24 21:26 作者: 蕨類 時(shí)間: 2025-3-25 00:21 作者: narcissism 時(shí)間: 2025-3-25 03:41
Wojciech Lesiński,Witold R. Rudnickiions are banking systems, airline reservation systems, office automation systems, database systems, and various components of operating systems. A major issue in such systems is preserving the consistency of on-line data in the presence of concurrency and hardware failures. In this paper we consider作者: 殘暴 時(shí)間: 2025-3-25 09:23
Computational Science – ICCS 2023y database systems, the old problems of managing concurrent access and update become even more difficult. This paper will discuss these problems in the context of an integrated persistent environment and develop a flexible programming model to deal with them.作者: SPECT 時(shí)間: 2025-3-25 11:59
Tomasz M. Gwizda??a,Aleksandra Piecuchpersistent as long as they are accessible from the top level environment. In Galileo providing such property poses difficult problems since the language is based on a heap memory management, with variable size elements and an incremental garbage collection, and it allows user control of failures and作者: fructose 時(shí)間: 2025-3-25 18:07 作者: Trigger-Point 時(shí)間: 2025-3-25 20:12 作者: inferno 時(shí)間: 2025-3-26 02:56 作者: 慷慨援助 時(shí)間: 2025-3-26 04:37 作者: 火花 時(shí)間: 2025-3-26 09:03
An Overview of the Poly Programming Languageically as a database programming language it was convenient to implement it in a persistent storage system. This allows the user to retain data structures from one session to the next and can support large programming systems such as the Poly compiler and a Standard ML system.作者: ENACT 時(shí)間: 2025-3-26 14:59
Integrating Data Type Inheritance into Logic Programming observations meant to put our work in context within the research community, and proceed to summarize that particular sublanguage of . which combines type inheritance and logic programming — a prototype named LOGIN.作者: Hyperalgesia 時(shí)間: 2025-3-26 20:16
Language and Methodology for Object-Oriented Database Environmentsre, and multiple views of program modules. Each example illustrates a different feature of object-oriented programming methodology. Collectively the examples serve both as an introduction to our database language and as a tutorial for object-oriented system programming.作者: dialect 時(shí)間: 2025-3-26 21:44
Linguistic Support for Atomic Data Typesor issue in such systems is preserving the consistency of on-line data in the presence of concurrency and hardware failures. In this paper we consider how to define and implement data objects that help provide this consistency.作者: 輕率看法 時(shí)間: 2025-3-27 01:44 作者: 腐敗 時(shí)間: 2025-3-27 05:20 作者: CLAN 時(shí)間: 2025-3-27 11:54
Ewelina Cholodowicz,Przemyslaw Orlowskiwill be emphasized: type hierarchies and declarative overloading, which provide a kind of polymorphism in a strongly typed language whose range of applications goes beyond the scope of conceptual modeling.作者: Orchiectomy 時(shí)間: 2025-3-27 14:47 作者: infelicitous 時(shí)間: 2025-3-27 17:49 作者: Contort 時(shí)間: 2025-3-27 23:25 作者: 取消 時(shí)間: 2025-3-28 05:45 作者: 細(xì)菌等 時(shí)間: 2025-3-28 06:44 作者: QUAIL 時(shí)間: 2025-3-28 12:57 作者: 口音在加重 時(shí)間: 2025-3-28 17:34
Yilin Kang,Jian Li,Yong Liu,Weiping Wangre, and multiple views of program modules. Each example illustrates a different feature of object-oriented programming methodology. Collectively the examples serve both as an introduction to our database language and as a tutorial for object-oriented system programming.作者: –FER 時(shí)間: 2025-3-28 21:18
Wojciech Lesiński,Witold R. Rudnickior issue in such systems is preserving the consistency of on-line data in the presence of concurrency and hardware failures. In this paper we consider how to define and implement data objects that help provide this consistency.作者: characteristic 時(shí)間: 2025-3-29 00:09
Tomasz M. Gwizda??a,Aleksandra Piecuchge is based on a heap memory management, with variable size elements and an incremental garbage collection, and it allows user control of failures and undo of updates. The interaction of these features is described and the approach adopted in the implementation now underway is discussed.作者: vocation 時(shí)間: 2025-3-29 04:26 作者: 繁榮地區(qū) 時(shí)間: 2025-3-29 09:28
Conference proceedings 1988ngs of a workshop held at the Appin in August 1985. The purpose of the Appin workshop was to focus on these two aspects: persistence and data types, and to bring together people from various disciplines who have thought about these problems. Particular topics of"interest include the design of type s作者: 草率女 時(shí)間: 2025-3-29 14:50 作者: 有發(fā)明天才 時(shí)間: 2025-3-29 18:55 作者: 直覺好 時(shí)間: 2025-3-29 20:10 作者: 長(zhǎng)矛 時(shí)間: 2025-3-30 01:10 作者: Plaque 時(shí)間: 2025-3-30 06:45
A New Type-Checker for a Functional Languageome of the motivation behind the design of the type system, and a description of its relationship with other type systems. This is followed by a definition of the relation of ‘generality’ between Ponder types, and of the notion of type-validity of Ponder programs. An algorithm to determine whether a作者: Parley 時(shí)間: 2025-3-30 09:00
The Type System of Galileoramming languages (data types, abstract data types, modules) and the abstraction mechanisms of semantic data models (SDM) (classification, aggregation, generalization). Unlike other conceptual languages, Galileo is a strongly typed language which exploits the benefits of data types for modeling the 作者: 瑣事 時(shí)間: 2025-3-30 16:05
Integrating Data Type Inheritance into Logic Programmingprogramming environment. . draws from the most recent theory and technology in typed relational and functional programming. We start by making general observations meant to put our work in context within the research community, and proceed to summarize that particular sublanguage of . which combines作者: 有惡臭 時(shí)間: 2025-3-30 18:04
Class Hierarchies in Information Systems: Sets, Types, or Prototypes?. I begin by reviewing the various roles played by this concept in the development and maintenance of Information Systems: specification of type information, repository of constraints to be verified, and maintenance of an associated set of objects (the “extent”)..Examples are then given to demonstra作者: 傳授知識(shí) 時(shí)間: 2025-3-31 00:18
Language and Methodology for Object-Oriented Database Environmentsobject-oriented programming environment. The database language is illustrated by specifications of the UNIX file system, Ada packages, program structure, and multiple views of program modules. Each example illustrates a different feature of object-oriented programming methodology. Collectively the e作者: cochlea 時(shí)間: 2025-3-31 03:31
Persistence and Aldat the algebraic operators needed when including relations in a programming language. The relations discussed are the classical ones of Codd. The relational algebra consists of two families of binary operators and one of unary operators, and includes Codd’s as a special case. We also review a domain a作者: peritonitis 時(shí)間: 2025-3-31 05:21 作者: 枯萎將要 時(shí)間: 2025-3-31 09:34 作者: Misgiving 時(shí)間: 2025-3-31 15:08
