Sciweavers

JFP
2007
126views more  JFP 2007»
13 years 3 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
JFP
2007
110views more  JFP 2007»
13 years 3 months ago
Spreadsheet functional programming
The functional programming community has shown some interest in spreadsheets, but surprisingly no one seems to have considered making a standard spreadsheet, such as Excel, work w...
David Wakeling
ITA
2007
153views Communications» more  ITA 2007»
13 years 3 months ago
Deciding inclusion of set constants over infinite non-strict data structures
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
Manfred Schmidt-Schauß, David Sabel, Marko S...
LISP
2008
165views more  LISP 2008»
13 years 3 months ago
Adapting functional programs to higher order logic
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
Scott Owens, Konrad Slind
ENTCS
2006
168views more  ENTCS 2006»
13 years 3 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
APPINF
2003
13 years 5 months ago
Why Functional Programming Really Matters
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean ...

4
posts
with
448
views
252profile views Browse  My Posts »
Sergei A. RomanenkoResearch Scientist, PhD
Keldysh Institute of Applied Mathematics
Sergei A. Romanenko

0
posts
with
0
views
194profile views
Carlos Martínez MéndezProfessor, Assistant
Universidad Central de Chile
Carlos Martínez Méndez
Appointed since Spring 2007 as Academic Coordinator in Escuela de Ingeniería en Computación, Universidad Central de Chile, Santiago, Chile. Lecturer in Computer Science Departmen...
VLDB
1991
ACM
128views Database» more  VLDB 1991»
13 years 7 months ago
A Functional Programming Approach to Deductive Databases
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
Alexandra Poulovassilis, Carol Small
ICLP
1995
Springer
13 years 7 months ago
A Method for Implementing Equational Theories as Logic Programs
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
Mantis H. M. Cheng, Douglas Stott Parker Jr., Maar...