✦ LIBER ✦

The case for Java as a programming language

✍ Scribed by Van Hoff, A.

Book ID: 111858170
Publisher: IEEE
Year: 1997
Tongue: English
Weight: 193 KB
Volume: 1
Category: Article
ISSN: 1089-7801
DOI: 10.1109/4236.585172

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Translating a Linear Logic Programming L

Translating a Linear Logic Programming Language into Java

✍ Mutsunori Banbara; Naoyuki Tamura 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 210 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Java as a Functional Programming Language

✍ Geuvers, Herman; Wiedijk, Freek 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 217 KB

Java-MaC: A Run-time Assurance Tool for

Java-MaC: A Run-time Assurance Tool for Java Programs

✍ M. Kim; S. Kannan; I. Lee; O. Sokolsky; M. Viswanathan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Java-MaC: A Run-Time Assurance Approach

Java-MaC: A Run-Time Assurance Approach for Java Programs

✍ MoonZoo Kim; Mahesh Viswanathan; Sampath Kannan; Insup Lee; Oleg Sokolsky 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 316 KB

Oriented equational clauses as a program

Oriented equational clauses as a programming language

✍ Laurent Fribourg 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 844 KB

In the #Prolog language, Horn clauses of first-order logic are regarded as programs, and the resolution procedure is used as an interpreter. In this paper, we present the formalism of Horn oriented equational clauses (Horn clauses with a rewrite rule as the head part, and a list of equations as the

Weakly context-sensitive languages as mo

Weakly context-sensitive languages as model for programming languages

✍ P. F. Schuler 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 801 KB