BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Japan
1 × Portugal
1 × United Kingdom
13 × USA
Collaborated with:
G.Gupta H.Guo K.Govindarajan S.Mantha G.Nadathur F.S.K.Silbermann D.A.Plaisted M.Osorio M.Liu P.V.Gestwicki P.Tambay J.Haas A.Nair J.C.Nieves
Talks about:
program (9) logic (9) function (4) optim (4) implement (3) parallel (3) languag (3) subset (3) prefer (3) relax (3)

Person: Bharat Jayaraman

DBLP DBLP: Jayaraman:Bharat

Facilitated 1 volumes:

PADL 2004Ed

Contributed to:

ICLP 20062006
PPDP 20052005
SAC 20052005
SOFTVIS 20052005
PADL 20022002
ICLP 19991999
POPL 19961996
ICLP 19951995
ILPS 19951995
ILPS 19931993
JICSLP 19921992
ICLP 19911991
NACLP 19901990
FPCA 19891989
NACLP 19891989
ICLP/SPL 19881988
FPCA 19871987
LFP 19861986

Wrote 21 papers:

ICLP-2006-GuoLJ #optimisation
Relaxation on Optimization Predicates (HFG, ML, BJ), pp. 425–426.
PPDP-2005-GuoJGL #optimisation
Optimization with mode-directed preferences (HFG, BJ, GG, ML), pp. 242–251.
SAC-2005-GuoJ #logic programming #source code
Mode-directed preferences for logic programs (HFG, BJ), pp. 1414–1418.
SOFTVIS-2005-GestwickiJ #architecture
Methodology and architecture of JIVE (PVG, BJ), pp. 95–104.
PADL-2002-JayaramanT #modelling
Modeling Engineering Structures with Constrained Objects (BJ, PT), pp. 28–46.
ICLP-1999-OsorioJN #declarative #functional #query
Declarative Pruning in a Functional Query Language (MO, BJ, JCN), pp. 588–604.
POPL-1996-GovindarajanJM #constraints #logic #optimisation
Optimization and Relaxation in Constraint Logic Languages (KG, BJ, SM), pp. 91–103.
ICLP-1995-GovindarajanJM #logic programming
Preference Logic Programming (KG, BJ, SM), pp. 731–745.
ILPS-1995-GovindarajanJM #constraints #logic
Relaxation in Constraint Logic Languages (KG, BJ, SM), p. 637.
ILPS-1993-OsorioJ #set
Subset Assertions and Negation As Failure (MO, BJ), p. 637.
JICSLP-1992-HaasJ #definite clause grammar #interactive #synthesis
Interactive Synthesis of Definite-Clause Grammars (JH, BJ), pp. 541–555.
ICLP-1991-JayaramanN #implementation #logic programming
Implementation Techniques for Scoping Constructs in Logic Programming (BJ, GN), pp. 871–886.
NACLP-1990-GuptaJ #implementation #optimisation #parallel
Optimizing And-Or Parallel Implementations (GG, BJ), pp. 605–623.
NACLP-1990-GuptaJ90a #execution #logic programming #modelling #on the #source code
On Criteria for Or-Parallel Execution Models of Logic Programs (GG, BJ), pp. 737–756.
FPCA-1989-SilbermannJ #abstraction #functional #logic programming #set
Set Abstraction in Functional and Logic Programming (FSKS, BJ), pp. 313–326.
NACLP-1989-GuptaJ #memory management #parallel
Combined And-Or Parallelism on Shared Memory Multiprocessors (GG, BJ), pp. 332–349.
NACLP-1989-JayaramanP #equation #programming #set
Programming with Equations, Subsets, and Relations (BJ, DAP), pp. 1051–1068.
NACLP-1989-NadathurJ #prolog #towards
Towards a WAM Model for λ-Prolog (GN, BJ), pp. 1180–1198.
JICSCP-1988-JayaramanN88 #implementation #logic programming
Subset-Logic Programming: Application and Implementation (BJ, AN), pp. 843–858.
FPCA-1987-JayaramanP #functional #programming #set
Functional programming with sets (BJ, DAP), pp. 194–211.
LFP-1986-JayaramanS #equation #functional #logic programming #reduction #semantics #set
Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.