Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 14 Issue 4, Oct. 1992

Subsequence references: first-class values for substrings
Wilfred J. Hansen
Pages: 471-489
DOI: 10.1145/133233.133234
Arrays of characters are a basic data type in many programming languages, but strings and substrings are seldom accorded first-class status as parameters and return values. Such status would enable a routine that calls a search function to...

Incremental generation of lexical scanners
J. Heering, P. Klint, J. Rekers
Pages: 490-520
DOI: 10.1145/133233.133240
It is common practice to specify textual patterns by means of a set of regular expressions and to transform this set into a finite automaton to be used for the scanning of input strings. In many applications, the cost of this preprocessing phase...

A model parametric real-time logic
Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi
Pages: 521-573
DOI: 10.1145/133233.129397
TRIO is a formal notation for the logic-based specification of real-time systems. In this paper the language and its straightforward model-theoretic semantics are briefly summarized. Then the need for assigning a consistent meaning to TRIO...

Type matching, type-graphs, and the Schanuel conjecture
Jacob Katzenelson, Shlomit S. Pinter, Eugen Schenfeld
Pages: 574-588
DOI: 10.1145/133233.133247
This work considers type systems that are defined by type-graphs (tgraphs), which are rooted directed graphs with order among the edges leaving each node. Tgraphs are uniquely mapped into polynomials which, in turn, are each evaluated at a...

M-LISP: a representation-independent dialect of LISP with reduction semantics
Robert Muller
Pages: 589-616
DOI: 10.1145/133233.133254
In this paper we introduce M-LISP, a dialect of LISP designed with an eye toward reconciling LISP's metalinguistic power with the structural style of operational semantics advocated by Plotkin [28]. We begin by reviewing the...