Treffer 1 - 20 von 238

1

Java as a functional programming language
SETZER, Anton
TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers)Lecture notes in computer science. :279-298

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
2

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.
Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva ; et al.
International Journal on Software Tools for Technology Transfer. Apr2023, Vol. 25 Issue 2, p185-204. 20p.

FLOATING-point arithmeti... JAVA programming languag... TRANSCENDENTAL functions LOCKS & keys
Fachzeitschrift
Zu den Favoriten
4

A declarative enhancement of JavaScript programs by leveraging the Java metadata infrastructure.
Wang, Yuchen ; Cheng, Kwok Sun ; Song, Myoungkyu ; et al.
Science of Computer Programming. Jul2019, Vol. 181, p27-46. 20p.

JAVASCRIPT programming l... SOFTWARE development too... WEB-based user interface... SOURCE code
Fachzeitschrift
Zu den Favoriten
5

Executing verified compiler specification
OKUMA, Koji ; MINAMIDE, Yasuhiko
Programming languages and systems (Beijing, 27-29 November 2003)Lecture notes in computer science. :178-194

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
6

Modern Programming in Java
Ghritlahare, Akhilesh ; orcid:0009-0005-3766-

java
Zu den Favoriten
7

Java as a functional programming language
Anton Setzer ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.swan.ac.uk/~csetzer/articles/javafunctional.pdf.

algebras
Fachzeitschrift
Zu den Favoriten
8

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
Bembenek, Aaron ; Greenberg, Michael ; Chong, Stephen

Computer Science - Progr...
Report
Zu den Favoriten
9

BrainNetVis: analysis and visualization of brain functional networks.
Tsiaras V ; Andreou D ; Tollis IG
Publisher: [IEEE] Country of Publication: United States NLM ID: 101763872 Publication Model: Print Cited Medium: Print ISSN: 2375-7477 (Print) Linking ISSN: 23757477 NLM ISO Abbreviation: Annu Int Conf IEEE Eng Med Biol Soc Subsets: MEDLINE

Algorithms Brain physiology Computers Foot pathology Hand pathology Humans
Fachzeitschrift
Zu den Favoriten
10

The Complete Coding Interview Guide in Java
Leonard, Anghel ; Leonard, Anghel ; Leonard, Anghel ; et al.

E-Ressource
Zu den Favoriten
11

Hands-On Design Patterns with Kotlin
Soshin, Alexey ; Soshin, Alexey ; Soshin, Alexey ; et al.

E-Ressource
Zu den Favoriten
12

Extension of the GroIMP modelling platform to allow easy specification of differential equations describing biological processes within plant models
Hemmerling, Reinhard ; Evers, Jochem B. ; Smoleňová, Katarína ; et al.
In Computers and Electronics in Agriculture March 2013 92:1-8

Fachzeitschrift
Zu den Favoriten
14

A case for data-oriented specifications: simpler implementation of B tools and DSLs
Körner, Philipp ; Mager, Florian ; Roßbach, Jan
Innovations in Systems and Software Engineering: A NASA Journal. :1-21

Fachzeitschrift
Zu den Favoriten
15

Provably and Practically Efficient Granularity Control
Acar, Umut, A ; Aksenov, Vitaly ; Charguéraud, Arthur ; et al.
PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩

Washington DC, United St... Granularity control Parallel programming lan... [INFO.INFO-PL]Computer S... Programming Languages [c...
Konferenz
Zu den Favoriten
16

The Haskell Road to Logic, Maths and Programming, Second Edition
Doets, H.C. (Kees) ; Eijck, D.J.N. (Jan) van ; Doets, H.C. (Kees) ; et al.

E-Ressource
Zu den Favoriten
17

Stream Fusion, to Completeness
Kiselyov, Oleg ; Biboudis, Aggelos ; Palladinos, Nick ; et al.

Computer Science - Progr...
Report
Zu den Favoriten
18

Mobile Application Development
Mr. M. Arul Sankar ; Mrs. M. Lavanyaprabha ; Dr. M. Kavitha ; et al.

Android Development Mobile Applications
Buch
Zu den Favoriten
19

Executable JVM model for analytical reasoning: A study
Liu, Hanbing ; Moore, J. Strother
Science of Computer Programming. Sep2005, Vol. 57 Issue 3, p253-274. 22p.

COMPUTER software COMPUTER programming ALGORITHMS ELECTRONIC data processi...
Fachzeitschrift
Zu den Favoriten
20

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
Aaron Bembenek ; Michael Greenberg ; Stephen Chong
Proceedings of the ACM on Programming Languages. 8:1219-1248

Fachzeitschrift
Zu den Favoriten

Filter