Sciweavers

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

Book
330views
17 years 2 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
15 years 11 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&...
132
Voted
ISPDC
2006
IEEE
15 years 10 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
187
Voted
ESOP
2005
Springer
15 years 10 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
228
Voted
ICLP
2009
Springer
16 years 5 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,...