Sciweavers

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

Book
330views
17 years 4 months 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
16 years 19 days 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
16 years 8 days 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 11 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 6 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,...