Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: "D.3.3 [Programming Languages"

Treffer 1 - 20 von 391

1

A Compilation Flow for Parametric Dataflow: Programming Model, Scheduling, and Application to Heterogeneous MPSoC
Dardaillon, Mickaël ; Marquet, Kevin ; Risset, Tanguy ; et al.
International Conference on Compilers. :1-10

New Dehli, India data flow programming model heterogeneous MPSoC compiler scheduling …
Konferenz
Zu den Favoriten
2

h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications
Escoffier, Clément ; Lalanda, Philippe ; Rempulski, Nicolas ; et al.
FSE 2013 - ACM SIGSOFT Symposium on the Foundations of Software Engineering. :699-702

Saint Petersburg, Russia Adaptation Service-orientation Dynamism JavaScript D.3.3 [Programming Langu... …
Konferenz
Zu den Favoriten
3

OOPAL: Integrating Array Programming in Object-Oriented Programming
Mougin, Philippe ; Ducasse, Stéphane ; Universität Bern = University of Bern = Université de Berne (UNIBE)
OOPSLA 2003 - 17th International Conference on Object-Oriented Programming Systems, Languages and Applications, Oct 2003, Minneapolis, United States

Minneapolis, United Stat... D.3.2 [Programming Langu... D.3.3 [Programming Langu... D.3.2 [Programming Langu... APL D.3.3 [Programming Langu... …
Konferenz
Zu den Favoriten
4

Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction
Castagna, Giuseppe ; Nguyen, Kim ; Xu, Zhiwu ; et al.
POPL '15 Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676991⟩

Mumbai, India Types polymorphism XML intersection types D.3.3 [Programming Langu... …
Konferenz
Zu den Favoriten
5

Traits: A Mechanism for Fine-grained Reuse
Ducasse, Stéphane ; Nierstrasz, Oscar ; Schärli, Nathanael ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 28

Reuse Smalltalk Traits Multiple Inheritance Mixins D.2.7 [Software Engineer... …
Zeitschrift
Zu den Favoriten
6

Lwt: a cooperative thread library
Vouillon, Jérôme ; Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
Workshop on ML. :3-12

Victoria, Canada Thread Concurrency Networking Programming Implementation …
Konferenz
Zu den Favoriten
7

Traits: A mechanism for fine-grained reuse
Ducasse, Stéphane ; Nierstrasz, Oscar ; Schärli, Nathanael ; et al.
ACM Transactions on Programming Languages and Systems. 28:331-388

Multiple Inheritance Inheritance D.3.3 [Programming Langu... Mixins Informatique appliquée l... Reuse …
Fachzeitschrift
Zu den Favoriten
8

On dynamically-scoped crosscutting mechanisms
TANTER, Eric
ACM SIGPLAN notices. 42(2):27-33

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
9

Finite integer computations : An algebraic foundation for their correctness
GLESNER, Sabine
Formal aspects of computing. 18(2):244-262

Asie Asia Indonésie Indonesia Java Computer science …
Fachzeitschrift
Zu den Favoriten
10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

11

Compiling a Functional Logic Language: The Fair Scheme?
Sergio Antoy ; Andy Jost ; The Pennsylvania State University CiteSeerX Archives
http://web.cecs.pdx.edu/%7Eantoy/homepage/publications/lopstr13/long.pdf.

Categories and Subject D... Language Con- structs an... D.3.4 [Programming Langu... Proces- sors — Compilers... F.4.2 [Mathematical Logi... Grammars and Other Rewri... …
Fachzeitschrift
Zu den Favoriten
12

Energy-efficient work-stealing language runtimes
Haris Ribic ; Yu David Liu ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.binghamton.edu/~davidl/papers/ASPLOS14.pdf.

Categories and Subject D... Processors — Run-Time En... D.3.3 [Programming Langu... Language Constructs and... energy efficiency language run
Fachzeitschrift
Zu den Favoriten
13

A type system for format strings
Konstantin Weitz ; Gene Kim ; Siwakorn Srisakaokul ; et al.
http://homes.cs.washington.edu/~mernst/pubs/format-string-issta2014.pdf.

Categories and Subject D... Software/Program Verific... D.3.3 [Programming Langu... Language Con- structs an... Languages Reliability …
Fachzeitschrift
Zu den Favoriten
14

Your server as a function
Marius Eriksen ; The Pennsylvania State University CiteSeerX Archives
http://www.monkey.org/%7Emarius/funsrv.pdf.

Categories and Subject D... Applicative (Functional)... D.1.3 [Program- ming tec... Concurrent Programming Distributed Programming C.2.4 [Distributed Syste... …
Fachzeitschrift
Zu den Favoriten
15

Composing polymorphic information flow systems with reference immutability
Ana Milanova ; Wei Huang ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.rpi.edu/~milanova/docs/FTFJP13.pdf.

Categories and Subject D... Language Constructs and... D.1.5 [Programming Techn... Object- oriented Program... Theory Keywords informat... reference immutability
Fachzeitschrift
Zu den Favoriten
16

Open Effects: A Hybrid Type-and-Effect System to Tackle Open World Assumption and its Application to Optimistic Concurrency
Yuheng Long ; Mehdi Bagherzadeh ; Hridesh Rajan ; et al.
http://design.cs.iastate.edu/papers/TR-13-04/TR-13-04a.pdf.

D.3.3 [Programming Langu... Language Constructs and...
Fachzeitschrift
Zu den Favoriten
17

Enhancing the Expressiveness of the CleanJava Language
Melisa Vela ; Yoonsik Cheon ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf.

languages D.3.3 [Programming Langu... control structures inheritance polymorphism functions …
Fachzeitschrift
Zu den Favoriten
18

Author manuscript, published in 'FOAL'13: Foundations of aspect-oriented languages (2013)' DOI:10.1145/2451598.2451600 Taming Aspects with Monads and Membranes
Ismael Figueroa ; Nicolas Tabareau ; Éric Tanter ; et al.
http://hal.inria.fr/docs/00/80/89/83/PDF/main.pdf.

Categories and Subject D... D.3.3 [Programming Langu... Language Constructs and... Languages Design Keywords aspect-o... monads …
Fachzeitschrift
Zu den Favoriten
19

Modular Reasoning
Gary T. Leavens ; David A. Naumann ; The Pennsylvania State University CiteSeerX Archives
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf.

Categories and Subject D... D.2.2 [Software Engineer... Design Tools and Techniq... D.2.3 [Software Engineer... Coding Tools and Techniq... D.2.4 [Software Engineer... …
Fachzeitschrift
Zu den Favoriten
20

Compiling a Functional Logic Language: The Fair Scheme
Sergio Antoy ; Andy Jost ; The Pennsylvania State University CiteSeerX Archives
http://web.cecs.pdx.edu/~antoy/homepage/publications/lopstr13/long.pdf.

Categories and Subject D... Language Constructs and... D.3.4 [Programming Langu... Processors — Compilers F.4.2 [Mathematical Logi... Grammars and Other Rewri... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter