Travelled to:1 × Canada
1 × France
1 × Hungary
1 × Italy
1 × The Netherlands
1 × United Kingdom
3 × USA
Collaborated with:V.S.W.Lam Thomas Smith 0002 M.D.Vos A.Kind D.J.Batey M.H.Odeh S.C.Merrall C.Queinnec ∅ J.Fitch Andrew Vidler V.Novelli D.D'Ayala O.Cliffe M.Brain A.Kalyanpur D.J.Pastor S.Battle D.Corapi A.Russo K.Satoh C.N.Alberga C.Bosman-Clark M.Mikelsons M.S.V.Deusen
Talks about:use (4) diagram (3) lisp (3) statechart (2) program (2) generat (2) consist (2) collect (2) answer (2) check (2)
Person: Julian A. Padget
DBLP: Padget:Julian_A=
Contributed to:
201220112008
2005
2005
2004
19981995
1993
1992
1991
1986
1985
20152018Wrote 16 papers:
- ICLP-2012-NovelliVPD #architecture #named
- LOG-IDEAH: ASP for Architectonic Asset Preservation (VN, MDV, JAP, DD), pp. 393–403.
- ICLP-J-2011-CorapiRVPS #design #induction #learning #using
- Normative design using inductive learning (DC, AR, MDV, JAP, KS), pp. 783–799.
- ICLP-2008-CliffeVBP #animation #declarative #named #programming #set #using #visualisation
- ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.
- ECOOP-2005-LamP #consistency #diagrams #statechart
- Consistency Checking of Statechart Diagrams of a Class Hierarchy (VSWL, JAP), pp. 412–427.
- IFM-2005-LamP #consistency #diagrams #sequence chart #statechart #using #π-calculus
- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
- SEKE-2004-KalyanpurPBP #automation #java #ontology #owl
- Automatic Mapping of OWL Ontologies into Java (AK, DJP, SB, JAP), pp. 98–103.
- PDP-1998-KindP #multi #thread
- Multi-lingual threading (AK, JAP), pp. 431–437.
- PDP-1995-BateyP #coordination #parallel
- Coordinating heterogeneous parallelism (DJB, JAP), pp. 339–347.
- OOPSLA-1993-OdehP #execution #object-oriented
- Object-Oriented Execution of OPS5 Production Systems (MHO, JAP), pp. 178–190.
- IWMM-1992-MerrallP #garbage collection
- Collections and Garbage Collection (SCM, JAP), pp. 473–489.
- WSA-1991-QueinnecP #composition #evaluation #lisp #metaprogramming
- A Proposal for a Modular Lisp with Macros and Dynamic Evaluation (CQ, JAP), pp. 1–8.
- LFP-1986-AlbergaBMDP #experience #lisp
- Experience with an Uncommon LISP (CNA, CBC, MM, MSVD, JAP), pp. 39–53.
- LFP-1986-Padgeta #lisp #standard
- Desiderata for the Standardization of LISP (JAP), pp. 54–66.
- POPL-1985-PadgetF
- Closurize and Concentrate (JAP, JF), pp. 255–265.
- FDG-2015-SmithP #generative #logic #semantics
- Semantic Descriptions for Logical Content Generation (TS0, JAP).
- FDG-2018-SmithPV #generative #graph #programming #set #using
- Graph-based generation of action-adventure dungeon levels using answer set programming (TS0, JAP, AV), p. 10.