Sciweavers

926 search results - page 42 / 186
» Prolog as the First Programming Language
Sort
View

Book
330views
17 years 10 days ago
Introduction to Computer Science
"This is a textbook for a first computer science course for students majoring in computer science, as well as mathematics and the physical and social sciences"
Ken Been
SCAM
2008
IEEE
15 years 8 months ago
Modular Decompilation of Low-Level Code by Partial Evaluation
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
ISPDC
2006
IEEE
15 years 8 months ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
ESOP
2005
Springer
15 years 8 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
ICLP
2009
Springer
16 years 3 months ago
Qualified Computations in Functional Logic Programming
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
Rafael Caballero, Mario Rodríguez-Artalejo,...