John Plaice
John Plaice

homepage
johnplaiceatgmail.com

Professional ACM Member badge
  Affiliation history
Bibliometrics: publication history
Average citations per article1.67
Citation Count35
Publication count21
Publication years1992-2010
Available for download4
Average downloads per article216.50
Downloads (cumulative)866
Downloads (12 Months)31
Downloads (6 Weeks)6
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


21 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 21
Result page: 1 2

Sort by:

1 published by ACM
June 2010 COP '10: Proceedings of the 2nd International Workshop on Context-Oriented Programming
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 9,   Downloads (Overall): 82

Full text available: PDFPDF
We present a new approach for context-oriented programming in which the context is represented by a set of ( dimension, value ) pairs. This tuple parameterizes the environment, and it can be referred to either as a single entity or as a composed entity, parts of which can independently be ...
Keywords: Cartesian programming, TransLucid, context-aware programming, multidimensional programming

2 published by ACM
August 2009 CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 6,   Downloads (Overall): 69

Full text available: PDFPDF
TransLucid is a declarative coördination language in which all expressions vary according to an arbitrarily-dimensional context. Using only the concepts of context change and of context query, a wide variety of programming constructs are demonstrated to be easily programmed in TransLucid. The language can therefore be used in its own ...
Keywords: cartesian programming, multidimensional programming, lucid language, context-aware programming, declarative programming

3
July 2009 COMPSAC '09: Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 1

We demonstrate how TransLucid can be used as a reactive system by introducing sets and privileged dimensions for time and port in the language. At each instant, there is a set of active ports, where sets of equations, demands and threads are all registered. Each thread defines a sequence of ...
Keywords: synchronous programming, distributed computing, declarative programming, Cartesian programming, multidimensional programming

4
July 2009 COMPSAC '09: Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 2

The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common programming paradigms into it, while still being fully declarative. The objects manipulated by TransLucid, called hyperdatons, are arbitrary-dimensional infinite arrays, indexed by multidimensional tuples of ...
Keywords: Cartesian programming, Lucid language, declarative programming, multidimensional programming, context-aware programming, semantics

5
July 2008 COMPSAC '08: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0


6
July 2008 COMPSAC '08: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

We propose the synchronous community, a set of context-aware programs held together by a single shared context that permeates all of the programs, together with a synchronous discrete semantics. The different programs may communicate point-to-point or by making changes to the shared context. With the synchronous semantics, changes to the ...

7
July 2008 COMPSAC '08: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 2

We present the Eager TransLucid language, an intensional programming language in which the value of a variable is a function mapping multidimensional contexts --- the "possible worlds" of intensional logic ---to ground values or, equivalently, that variables define multidimensional arrays of arbitrary dimensionality.The Eager TransLucid language is a natural generalisation ...

8
July 2008 COMPSAC '08: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 3

We present an implementation of the TransLucid language, in which expressions are evaluated in a dynamic context of arbitrary dimensionality. The basis for this implementation is the TransLucid Virtual Machine (TVM), whose execution supposes a centralised cache storing intermediate computed values and whose individual threads compute the values for (identifier, ...

9 published by ACM
August 2004 HYPERTEXT '04: Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 5,   Downloads (Overall): 238

Full text available: PDFPDF
We introduce a new approach for creating and viewing hypertexts in a collaborative manner. The hypertext is understood to be an intension , in the logical sense, i.e., a mapping from multidimensional contexts to simple texts. Creation and navigation then correspond to moving from one context to another, and links ...
Keywords: collaborative hypertext, context-aware programming, intensional programming, intensional hypertext

10
April 2002 DCW '02: Revised Papers from the 4th International Workshop on Distributed Communities on the Web
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

The usefulness of the notion of distributed computation as a mere collection of self-sufficient individuals, sharing little more than the data on which they operate, is drawing to a close. With the introduction of myriad differing platforms, wireless devices and interactive protocols, the level of cooperation between participants must increase, ...

11
June 2000 DCW '00: Proceedings of the Third International Workshop on Distributed Communities on the Web
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0


12
June 2000 DCW '00: Proceedings of the Third International Workshop on Distributed Communities on the Web
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

Intensional communities are composed of intensional programs sharing a common context, implemented using a networked context server, called the AEPD aether process daemon.The programs are written in the ISE intensional imperative scripting language, which is illustrated through versioned assignments in undergraduate classes. Using this model of intensional communities, two examples ...

13
June 2000 DCW '00: Proceedings of the Third International Workshop on Distributed Communities on the Web
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 2

We develop an eductive algorithm for the efficient implementation of Multidimensional Lucid, which includes dimensions as first-class values. By focusing on simple multi-dimensional expressions, we develop a series of operational semantics, ultimately leading to an algorithm that should lead to efficient implementations of Lucid for a variety of physical architectures.

14
March 1998 EP '98/RIDT '98: Proceedings of the 7th International Conference on Electronic Publishing, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography: Electronic Publishing, Artistic Imaging, and Digital Typography
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1


15
December 1997 AMAST '97: Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0


16
December 1997 ASIAN '97: Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0


17
November 1996 Journal of Symbolic Computation - Special issue: executable temporal logics: Volume 22 Issue 5-6, Nov./Dec. 1996
Publisher: Academic Press, Inc.
Bibliometrics:
Citation Count: 2


18 published by ACM
March 1995 ACM Computing Surveys (CSUR): Volume 27 Issue 1, March 1995
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 3,   Downloads (12 Months): 11,   Downloads (Overall): 477

Full text available: PDFPDF

19
September 1993 Software—Practice & Experience: Volume 23 Issue 9, Sept. 1993
Publisher: John Wiley & Sons, Inc.
Bibliometrics:
Citation Count: 1


20
March 1993 IEEE Transactions on Software Engineering: Volume 19 Issue 3, March 1993
Publisher: IEEE Press
Bibliometrics:
Citation Count: 17

A method for controlling versions of software and other hierarchically structured entities is presented. Using the variant structure principle, a particular version of an entire system is formed by combining the most relevant existing versions of the various components of the system. An algebraic version language that allows histories (numbered ...
Keywords: LEMUR, programming environments, subversions, variant structure principle, version control, divergent variants, formal logic, hierarchically structured entities, lattice least upper bound, modular C programs, systematic framework, algebraic version language, configuration management, join operation, programming environment, formal languages, intensional logic, numbered series, world semantics



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us