作者: Frequency 時(shí)間: 2025-3-22 00:07
Reasoning about Function Objects, is, independently from specific instantiations of the function objects. To demonstrate the feasibility of our approach, we have implemented an automatic prover, which verifies several non-trivial examples.作者: CRUC 時(shí)間: 2025-3-22 03:47
Welterweight Java,te the potential of the calculus by showing two extensions. The first is a version of . extended with deep ownership. This serves two purposes—it is a minimal formalisation of ownership, interesting in its own right, and shows how easily . can be extended. The second is a simple non-null types system.作者: 傾聽 時(shí)間: 2025-3-22 08:26
Optimizing Aspect-Oriented Mechanisms for Embedded Applications,achine. Our experiments show that these optimizations yield a considerable performance gain along with a reduction of the code size. Thus, our optimizations establish the base for using advanced aspect-oriented modularization techniques for developing Java applications on small embedded devices.作者: Ferritin 時(shí)間: 2025-3-22 12:40 作者: Polydipsia 時(shí)間: 2025-3-22 12:57
Encoding Ownership Types in Java,ip types and parametric and existential types. We formalise our encoding using a model for Java’s type system, and prove that it is sound and enforces an ownership hierarchy. Finally, we leverage our encoding to produce lightweight compilers for Ownership Types and Universe Types — each compiler took only one day to implement.作者: 不可知論 時(shí)間: 2025-3-22 19:49 作者: surmount 時(shí)間: 2025-3-22 22:48
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage, the base for defining concrete FDLs while guaranteeing that all relevant framework aspects are covered. Particularly, due to its generic character, parts of the meta-model representing specific framework aspects can be instantiated by existing or newly defined languages.作者: Outwit 時(shí)間: 2025-3-23 04:25
Read-Only Execution for Dynamic Languages,nt dynamic read-only references by using smart object proxies that lazily propagate the read-only view, following the object graph and driven by control flow and applied them to realize side-effect free assertions.作者: Delirium 時(shí)間: 2025-3-23 06:39
Domain-Specific Program Checking,t language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.作者: fertilizer 時(shí)間: 2025-3-23 13:34
Revisiting Parametric Types and Virtual Classes, it illustrates how virtual constraints and type refinements, as recently introduced in gbeta and ., enable structural treatment of virtual types; finally, it shows how a novel kind of dynamic type check can detect compatibility among entire families of classes.作者: Chivalrous 時(shí)間: 2025-3-23 17:40
Moles: Tool-Assisted Environment Isolation with Closures,utomated test generation. In a case study, testing code programmed against the Microsoft SharePoint Foundation API, we achieved full code coverage while running tests in isolation without an actual SharePoint server. The Moles framework integrates with .NET and Visual Studio.作者: otic-capsule 時(shí)間: 2025-3-23 19:58
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks,h are triggered independently and are scattered throughout the application code. In this paper, we propose a number of language constructs that reconcile the elegant processing of events of a reactive programming system with the loose coupling of a publish/subscribe system that is required to cope with the dynamic nature of mobile ad hoc networks.作者: MINT 時(shí)間: 2025-3-24 00:25 作者: 裝入膠囊 時(shí)間: 2025-3-24 04:24 作者: 單調(diào)性 時(shí)間: 2025-3-24 09:07 作者: 攀登 時(shí)間: 2025-3-24 12:41 作者: Subjugate 時(shí)間: 2025-3-24 16:18
https://doi.org/10.1007/978-3-642-13953-6Java; JavaScript; aspect-oriented programming; component-based programming; design; distributed object sy作者: 發(fā)源 時(shí)間: 2025-3-24 19:50 作者: exclamation 時(shí)間: 2025-3-25 01:03 作者: GROWL 時(shí)間: 2025-3-25 05:42 作者: Enzyme 時(shí)間: 2025-3-25 09:13 作者: Adjourn 時(shí)間: 2025-3-25 14:25 作者: CLOWN 時(shí)間: 2025-3-25 16:23
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage,use it can hardly be found. As consequence, there are poor framework documentations. Various problems arise from this, e.g. a high effort for learning a framework and therefore the need of framework specialists. Existing framework description languages (FDL) focus on parts of the problem but do not 作者: chisel 時(shí)間: 2025-3-25 23:37
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks,ure of both the underlying network and the applications running on top of them. Such architectures can become tedious to develop and understand when the number of events and event handlers increases. The reason is that the control flow of the application is driven by event handlers or callbacks whic作者: 情感 時(shí)間: 2025-3-26 03:42
Understanding the Impact of Collection Contracts on Design,rements. This inconsistency breaks polymorphism: programmers must take care to follow .’s contract rather than the more general . contract if their object could enter a .. We have dynamically profiled 30 Java applications to better understand the way programmers design their objects, to determine wh作者: homocysteine 時(shí)間: 2025-3-26 04:42 作者: 無孔 時(shí)間: 2025-3-26 09:12
Welterweight Java,cs of Java-like programs. To this end, . adds a few extra pounds to Featherweight Java. . is imperative and stateful, which is a frequent extension of Featherweight Java. To account for the importance of concurrency, . models Java’s thread-based concurrency and lock-based synchronisation. The design作者: Vasodilation 時(shí)間: 2025-3-26 13:04 作者: barium-study 時(shí)間: 2025-3-26 20:45 作者: Anhydrous 時(shí)間: 2025-3-26 21:06 作者: peritonitis 時(shí)間: 2025-3-27 03:21 作者: Myocyte 時(shí)間: 2025-3-27 05:42 作者: CORD 時(shí)間: 2025-3-27 13:22
Domain-Specific Program Checking,e. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues .. We 作者: 不再流行 時(shí)間: 2025-3-27 17:33 作者: ambivalence 時(shí)間: 2025-3-27 20:14 作者: 花束 時(shí)間: 2025-3-28 01:11
Encoding Ownership Types in Java,ypes have many applications including parallelisation, concurrency, memory management, and security. In this paper, we show that several flavours and extensions of ownership types can be entirely encoded using the standard Java type system..Ownership types systems usually require a sizable effort to作者: 運(yùn)動(dòng)的我 時(shí)間: 2025-3-28 05:43 作者: 不可比擬 時(shí)間: 2025-3-28 09:00
Juan de Lara,Esther Guerramerkmal einiger Parteien geh?rte, in den Wahlwerbespots der Parteien, die bis zum Herbst 2017 im Deutschen Bundestag vertreten waren, entweder gar nicht oder polemisch thematisiert wurde. Religion scheint sich in der Parteienlandschaft zu einem Thema der Polarisierung verwandelt zu haben. Der Aufsat作者: 令人不快 時(shí)間: 2025-3-28 13:55
Andoni Lombide Carreton,Stijn Mostinckx,Tom Van Cutsem,Wolfgang De Meuter 2017 waren rund drei Millionen (4,8?%) Erstw?hler. Die Wahlwerbespots wurden nicht nur im klassischen Fernsehen ausgestrahlt, sondern auch über Social Media Kan?le, wie YouTube distribuiert. Junge Menschen zwischen 16-und 21- Jahren stehen als Zielgruppe von offiziellen Wahlwerbespots nicht im Foku作者: LATE 時(shí)間: 2025-3-28 16:49
Stephen Nelson,David J. Pearce,James Nobles bildbezogene Wahlwerbung einen Indikator für eine Ikonographie des kollektiven Ged?chtnisses darstellt. Es werden zwei Fragen gestellt und beantwortet: Inwiefern werden in der aktuellen Wahlwerbung historische Bezüge hergestellt? Und wie ver?nderte sich die Darstellung historischer Motive in der d作者: 廣口瓶 時(shí)間: 2025-3-28 20:55 作者: 可轉(zhuǎn)變 時(shí)間: 2025-3-28 23:24
Johan ?stlund,Tobias Wrigstads bildbezogene Wahlwerbung einen Indikator für eine Ikonographie des kollektiven Ged?chtnisses darstellt. Es werden zwei Fragen gestellt und beantwortet: Inwiefern werden in der aktuellen Wahlwerbung historische Bezüge hergestellt? Und wie ver?nderte sich die Darstellung historischer Motive in der d作者: Engulf 時(shí)間: 2025-3-29 06:22 作者: 碎石頭 時(shí)間: 2025-3-29 10:40
Christine Hundt,Daniel St?hr,Sabine Glesners bildbezogene Wahlwerbung einen Indikator für eine Ikonographie des kollektiven Ged?chtnisses darstellt. Es werden zwei Fragen gestellt und beantwortet: Inwiefern werden in der aktuellen Wahlwerbung historische Bezüge hergestellt? Und wie ver?nderte sich die Darstellung historischer Motive in der d作者: Intercept 時(shí)間: 2025-3-29 14:08
Phillip Heidegger,Peter Thiemann 2017 waren rund drei Millionen (4,8?%) Erstw?hler. Die Wahlwerbespots wurden nicht nur im klassischen Fernsehen ausgestrahlt, sondern auch über Social Media Kan?le, wie YouTube distribuiert. Junge Menschen zwischen 16-und 21- Jahren stehen als Zielgruppe von offiziellen Wahlwerbespots nicht im Foku作者: 壟斷 時(shí)間: 2025-3-29 19:07 作者: 我們的面粉 時(shí)間: 2025-3-29 21:42
Hao XuVerlinkungen.Berücksichtigung von Psychologie, Nutzerfreundl.J?rg Naumann erl?utert Schritt für Schritt, wie man eine einfache, patientenorientierte Praxis-Website konzipiert. Der Autor zeigt, wie Praxisziele formuliert werden und man Zielgruppen anspricht und wie wichtig es ist, Inhalte in sinnvoll作者: harbinger 時(shí)間: 2025-3-30 01:32 作者: Arboreal 時(shí)間: 2025-3-30 05:34
Jonathan de Halleux,Nikolai TillmannVerlinkungen.Berücksichtigung von Psychologie, Nutzerfreundl.J?rg Naumann erl?utert Schritt für Schritt, wie man eine einfache, patientenorientierte Praxis-Website konzipiert. Der Autor zeigt, wie Praxisziele formuliert werden und man Zielgruppen anspricht und wie wichtig es ist, Inhalte in sinnvoll作者: collateral 時(shí)間: 2025-3-30 11:53
Ryan M. Golbeck,Peter Selby,Gregor Kiczales Naumann. ist Zahnarzt in Chemnitz. Er arbeitet neben seiner Praxist?tigkeit an verschiedenen Websites und führt einenVerlag für elektronische Bücher..978-3-658-24416-3978-3-658-24417-0Series ISSN 2197-6708 Series E-ISSN 2197-6716 作者: 人類 時(shí)間: 2025-3-30 13:31 作者: 不成比例 時(shí)間: 2025-3-30 19:13
Lukas Renggli,Stéphane Ducasse,Tudor G?rba,Oscar Nierstrasz Naumann. ist Zahnarzt in Chemnitz. Er arbeitet neben seiner Praxist?tigkeit an verschiedenen Websites und führt einenVerlag für elektronische Bücher..978-3-658-24416-3978-3-658-24417-0Series ISSN 2197-6708 Series E-ISSN 2197-6716 作者: Nuance 時(shí)間: 2025-3-31 00:15 作者: FICE 時(shí)間: 2025-3-31 04:34 作者: 展覽 時(shí)間: 2025-3-31 06:38
Juan de Lara,Esther Guerra Die Autorin vertritt die These, dass die Werbefilme der politischen Parteien die Problematik von Verkündigungssendungen der Kirchen teilen, da sie ein geschlossenes Narrativ bilden, das eine werbliche Kommunikation mit Bekenntnischarakter enth?lt. Daher k?nnen derartige Formate auf die Rezipienten
